~/jendhub

def close.skip.go

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

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

355# `]` or `}` of a skip: depth 1 finishes the value, deeper keeps going.
356# The cursor rest is the suffix the stepper is already on
357def close.skip.go(stack: List<&2, Frame>, left: Nat, root: Bool) -> St:
358  match left:
359    case 0n:
360      S{MRest{SSkip{}}, stack, GSkip{0n}, root, False{}}
361    case 1n+more:
362      S{MIdle{}, stack, GSkip{1n+more}, False{}, False{}}

Uses (8)

Used by (1)