~/jendhub

def maybe.pick

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

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

135def maybe.pick(~T: Data, ~gen: Rand.Rng -> T & Rand.Rng, xr: U32 & Rand.Rng) -> Maybe<&2, T> & Rand.Rng:
136  (+x, r) = xr
137  maybe.if(~T, ~gen, U32.is_eq(x, 0), r)

Uses (7)

Used by (1)