def text.plain

ezsys@0.1.0.0 · src/text.bend:88

import ezsys@0.1.0.0/src/text.bend as Text

import Base

88# a character in plain text: the start of a marker, or itself
89def text.plain(at: Bool, hd: Char, +open: String) -> String & Mode:
90  match at:
91    case False{}:
92      (SCon{hd, SNil{}}, Plain{})
93    case True{}:
94      ("", text.enter(text.tail(open)))

Uses (8)

Used by (1)

ezsys@0.1.0.0/src/text:text.step