~/jendhub

def place.val.ok.here

emerging-ezjson@1.3.0.0 · src/pull.bend:281

import emerging-ezjson@1.3.0.0/src/pull.bend as Pull
import Base

281# a value has landed, and the cursor rest is the suffix already in hand
282def place.val.ok.here(ev: Ev, goal: Goal, stack: List<&2, Frame>, root: Bool) -> St:
283  match goal:
284    case GNext{}:
285      S{MRest{SEv{ev}}, stack, GNext{}, root, False{}}
286    case GSkip{0n}:
287      S{MRest{SSkip{}}, stack, GSkip{0n}, root, False{}}
288    case GSkip{1n+left}:
289      S{MIdle{}, stack, GSkip{1n+left}, False{}, False{}}

Uses (9)

Used by (1)