def opt_some

bend-schema-lib@0.4.1.0 · core.bend:1559

import Base

1559def opt_some(-A: Data, m: Maybe<&2, A>) -> Maybe<&2, Maybe<&2, A>>:
1560  match m:
1561    case Some{v}:
1562      Some{Some{v}}
1563    case None{}:
1564      None{}