Control.Exhaustive

Specifying Individual Constructions

con

Combining Constructions

(&:)

finish

Producing Data

produceM

produceFirst

produceAll

Utilities

makeExhaustive

Implementation details

type ConstructorApplication f code

data Construction

type family Length a :: Nat