MagicHaskeller-0.8.3: Automatic inductive functional programmer by systematic searchContentsIndex
ConstrL
ConstrLSF
Every
Everything
Filter
HV
HValue
Primitive
ProgGen
ProgGenSF
ProgramGenerator
define
everything
everythingF
exprToTHExp
filterFirst
filterFirstF
filterThen
findOne
getEverything
getEverythingF
matching
matchingF
mkMemo
mkMemoSF
mkPG
mkPGSF
p
pprs
printAny
printOne
printQ
setDepth
setPG
setPrimitives
setTimeout
specializedPossibleTypes
trToTHType
unifyable
unifyableF
unsafeCoerce#
unsetTimeout