~/jendhub

def native_only.go

bolt@1.27.0.0 · src/rules/pedantic/foreign.bend:85

import bolt@1.27.0.0/src/rules/pedantic/foreign.bend as Foreign
import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

85def native_only.go(ls: List<&2, String>) -> Bool:
86  match ls:
87    case Nil{}:
88      False{}
89    case Con{+l, rest}:
90      Lazy.stop(Bool, Bool.not(String.starts_with(l, "#")), False{},
91        _u => Lazy.or_else(String.eq(l, "# lanes: native"), _v => native_only.go(rest)))

Uses (8)

Used by (1)