def text_maybe

mlbend-huggingface@0.1.1.0 · main.bend:203

import Base

203# The text of some text, or "" when there is none.
204def text_maybe(m: Maybe<&1, String>) -> String:
205  match m:
206    case Some{s}:
207      s
208    case None{}:
209      ""