~/jendhub

def has.nl

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

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

27# whether a text holds a newline, so is more than one line
28def has.nl(text: String) -> Bool:
29  match text:
30    case SNil{}:
31      False{}
32    case SCon{+h, t}:
33      nl.step(Char.is_eq(h, '\n'), _u => has.nl(t))

Uses (5)

Used by (1)