def map_outputs

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/random.bend:78

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W
import bend-collections-laws-crypto@1.0.0.0/src/crypto/random.bend as CR
import bend-collections-laws-crypto@1.0.0.0/spec/math/random/source.bend as SRC

78def map_outputs(+n: Nat, m: Maybe<&2, CR.Gen>) -> Maybe<&2, List<&2, W.U64>>:
79  match m:
80    case None{}:
81      None{}
82    case Some{g}:
83      Some{SRC.outputs(~CR.Gen, ~CR.next, n, g)}