def text_of

ezx@1.11.0.0 · src/io/file.bend:131

import ezx@1.11.0.0/src/io/file.bend as File
import Base

131# a file's text, or "" when there is none
132def text_of(got: Maybe<&2, String>) -> String:
133  match got:
134    case None{}:
135      ""
136    case Some{s}:
137      s

Uses (2)

Used by (16)