def lit.if

bend-net-json@0.3.0.0 · json.bend:120

import bend-net-json@0.3.0.0/json.bend as Json

import Base

120def lit.if(+s: String, v: Val, n: Nat, ok: Bool) -> Maybe<&2, Next>:
121  match ok:
122    case False{}:
123      None{}
124    case True{}:
125      Some{Next{v, String.drop(s, n)}}

Uses (7)

Used by (1)

bend-net-json@0.3.0.0/json:lit