def every_some

cswap-bend-cli@0.1.0.0 · tui/view.bend:65

import cswap-bend-cli@0.1.0.0/tui/view.bend as View
import Base

65def every_some(+m: Maybe<&2, U32>) -> Maybe<&2, String>:
66  match m:
67    case None{}:
68      None{}
69    case Some{c}:
70      Some{"every " ++ U32.show(c) ++ "s"}

Uses (5)

Used by (1)