MagicHaskeller-0.8.3: Automatic inductive functional programmer by systematic search
Contents
Index
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.
Instances
ProgramGenerator
ConstrL
Produced by
Haddock
version 0.8