def list.of

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

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

108# Exactly n items from gen. The first draw ends up last; replay is unaffected.
109def list.of(~T: Data, ~gen: Rand.Rng -> T & Rand.Rng, n: Nat, r: Rand.Rng) -> List<&2, T> & Rand.Rng:
110  match n:
111    case 0n:
112      (Nil{}, r)
113    case 1n+p:
114      list.go(~T, ~gen, p, Nil{}, gen(r))