def maybe.some

bend-kit-property@0.4.0.0 · shrink.bend:97

import Base

97def maybe.some(-A: Data, xs: List<&1, A>) -> List<&1, Maybe<&2, A>>:
98  match xs:
99    case Nil{}:
100      Nil{}
101    case x <> t:
102      Some{x} <> maybe.some(A, t)