def para_marks

cli@0.2.0.0 · cli.bend:7357

import Base

7357# Each line, None for an empty one, which ends a paragraph; a line of only
7358# spaces is left out.
7359def para_marks(lines: List<&2, String>) -> List<&2, Maybe<&2, String>>:
7360  match lines:
7361    case Nil{}: Nil{}
7362    case SNil{} <> tail: None{} <> para_marks(tail)
7363    case +line <> tail:
7364      List.append(&2, Maybe<&2, String>, line_mark(spaces_only(line), line),
7365        para_marks(tail))