def maybe.some

bend-kit-property@0.4.0.0 · generate.bend:124

import bend-kit-property@0.4.0.0/generate.bend as Generate

import Base
import bend-kit-random@0.1.0.1/random.bend as Rand

124def maybe.some(~T: Data, hr: T & Rand.Rng) -> Maybe<&2, T> & Rand.Rng:
125  (h, r) = hr
126  (Some{h}, r)

Uses (4)

Used by (1)

bend-kit-property@0.4.0.0/generate:maybe.if