def line.step

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

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

35# one step of the first line: a newline ends it, and any other character
36# starts what the rest of the line is
37def line.step(end: Bool, +head: Char, rest: Unit -> String) -> String:
38  match end:
39    case True{}:
40      SNil{}
41    case False{}:
42      SCon{head, rest(Unit{})}

Uses (4)

Used by (1)