def nl.step

ezx@1.11.0.0 · src/pub/blurb.bend:18

import ezx@1.11.0.0/src/pub/blurb.bend as Blurb
import Base

18# one step of a scan for a newline, with the head's answer in hand; the rest
19# arrives as a thunk, so the first newline ends the scan
20def nl.step(here: Bool, rest: Unit -> Bool) -> Bool:
21  match here:
22    case True{}:
23      True{}
24    case False{}:
25      rest(Unit{})

Uses (2)

Used by (1)