def map.fin

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

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

143def map.fin(~A: Type, ~B: Type, ~f: A -> B, ar: A & Rand.Rng) -> B & Rand.Rng:
144  (a, r) = ar
145  (f(a), r)

Uses (3)

Used by (1)

bend-kit-property@0.4.0.0/generate:map