def map_inl

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

import Base

1566def map_inl(-A: Data, -B: Data, m: Maybe<&2, A>) -> Maybe<&2, Either<&2, &2, A, B>>:
1567  match m:
1568    case Some{v}:
1569      Some{Inl{v}}
1570    case None{}:
1571      None{}