~/jendhub

def place.key.here

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

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

303# an object key has landed on the suffix in hand
304def place.key.here(ev: Ev, frames: List<&2, Frame>, goal: Goal) -> St:
305  match goal:
306    case GNext{}:
307      S{MRest{SEv{ev}}, FObj{SCol{}, False{}} <> frames, goal, False{}, False{}}
308    case GSkip{0n}:
309      err.st(goal)
310    case GSkip{1n+left}:
311      S{MIdle{}, FObj{SCol{}, False{}} <> frames, goal, False{}, False{}}

Uses (11)

Used by (1)