Generic.Random.Generic

Arbitrary implementations

genericArbitrary

genericArbitraryFrequency

genericArbitraryFrequency'

genericArbitrary'

Type-level natural numbers

data Z

data S n

Generic class for finite values

type BaseCases' n a

class BaseCases n f