def from_string.go

bendonnect-rpc@0.1.0.0 · src/code.bend:109

import bendonnect-rpc@0.1.0.0/src/code.bend as Code

import Base

109def from_string.go(cs: List<&2, Code>, +s: String) -> Maybe<&2, Code>:
110  match cs:
111    case Nil{}:
112      None{}
113    case Con{+c, rest}:
114      from_string.pick(String.eq(to_string(c), s), c, u => from_string.go(rest, s))

Uses (7)

Used by (1)

bendonnect-rpc@0.1.0.0/src/code:from_string