def map_inr

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

import Base

1573def map_inr(-A: Data, -B: Data, m: Maybe<&2, B>) -> Maybe<&2, Either<&2, &2, A, B>>:
1574  match m:
1575    case Some{v}:
1576      Some{Inr{v}}
1577    case None{}:
1578      None{}