MagicHaskeller.ProgramGenerator
type Prim
class WithCommon a
class ProgramGenerator a
class ProgramGeneratorIO a
extractTCL
extractVL
extractRTrie
reducer
data Common
mkCommon
initCommon
updateCommon
type Options
retsTVar
annotateTCEs
splitPrims
splitPrimss
mapSum
applyDo
wind
wind_
fromAssumptions
retMono
fromAvail
mguAssumptions
mguAssumptions'
matchAssumptions
mguAssumptions_
mguAssumptions_'
retPrimMono
funApSub
funApSubOp
fap
mapAndFoldM
retGen
retGenOrd
retGenTV1
retGen'
orderedAndUsedArgs
usedArg
retGenTV0
filtExprs
filterExprs
getArgExprs
gae
constEq
ceq
recHead
retSameVal
rsv
rsv'
returnsAtoA
returnsId
isId
isId'
isId''
retVal
rv
mapsub
isConstrExpr
isClosed
isClosed'
includesStrictArg
anyRec
recursive
constRec
belowIsUsed
isUsed
mkSubsts
mkSubst
mkRetty
reorganizer_
hit
combs
tails