def maybe.none_if

cswap-bend-cli@0.1.0.0 · usage/text.bend:56

import cswap-bend-cli@0.1.0.0/usage/text.bend as Text
import Base

56def maybe.none_if(bad: Bool, s: String) -> Maybe<&2, String>:
57  match bad:
58    case True{}:
59      None{}
60    case False{}:
61      Some{s}

Uses (3)

Used by (2)