~/jendhub

def skip.use

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

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

1607# the cursor after a skip. An event other than a failure means the skip
1608# stopped on something that was not one value
1609def skip.use(got: (Stop & Cur)) -> Cur:
1610  (stop, cur) = got
1611  match stop:
1612    case SSkip{}:
1613      cur
1614    case SEv{EErr{}}:
1615      cur
1616    case SEv{ev}:
1617      Cur{"", Nil{}, False{}, True{}}

Uses (7)

Used by (1)