Generic.Random.Generic

Arbitrary implementations

genericArbitrary

genericArbitrary'

Specifying finite distributions

data Weights a

data W c

weights

(%)

uniform

Type-level natural numbers

data Z

data S n

Generic classes for finite values

type BaseCases' n a

class BaseCases n f

class ListBaseCases n f