MagicHaskeller-0.8.3: Automatic inductive functional programmer by systematic searchContentsIndex
ConstrL
Synopsis
data ConstrL
Documentation
data ConstrL
ConstrL is like ProgGen, but with ConstrL matching at the antecedent of induction rules may occur, which constrains generation of existential types.
show/hide Instances
Produced by Haddock version 0.8