Data.Lambda.Random.PlainSystem

System

data PlainSystem a

boltzmannSystem

Boltzmann samplers

data PlainSampler a b

boltzmannSampler

rejectionSampler

Evaluation

eval