randex v0.4.0 Randex.Generator.Random

Summary

Functions

bind_filter(amb, fun)

constant(value)

member_of(list)

repeat(amb, n, fun)

string()

Functions

bind(amb, fun)

bind_filter(amb, fun)

constant(value)

integer(range)

map(amb, fun)

member_of(list)

one_of(list)

repeat(amb, n, fun)

string()

to_stream(amb)