code-conjure-0.5.10: synthesize Haskell functions out of partial definitions

Index

!!Conjure.Utils, Conjure.Expr, Conjure.Defn
$Conjure.Utils, Conjure.Expr, Conjure.Defn
$!!Conjure.Expr, Conjure.Defn
$$Conjure.Expr, Conjure.Defn, Conjure.Engine
$$**Conjure.Expr, Conjure.Defn
$$<Conjure.Expr, Conjure.Defn, Conjure.Engine
$$|<Conjure.Expr, Conjure.Defn
&Conjure.Utils, Conjure.Expr, Conjure.Defn
++Conjure.Utils, Conjure.Expr, Conjure.Defn
+++Conjure.Utils, Conjure.Expr, Conjure.Defn
-$-Conjure.Expr, Conjure.Defn, Conjure.Engine
-%-Conjure.Expr, Conjure.Defn, Conjure.Engine
-&&-Conjure.Expr, Conjure.Defn, Conjure.Engine
-*-Conjure.Expr, Conjure.Defn, Conjure.Engine
-++-Conjure.Expr, Conjure.Defn, Conjure.Engine
-+-Conjure.Expr, Conjure.Defn, Conjure.Engine
--..Conjure.Expr, Conjure.Defn, Conjure.Engine
--..-Conjure.Expr, Conjure.Defn, Conjure.Engine
-.-Conjure.Expr, Conjure.Defn, Conjure.Engine
-..Conjure.Expr, Conjure.Defn, Conjure.Engine
-..-Conjure.Expr, Conjure.Defn, Conjure.Engine
-/=-Conjure.Expr, Conjure.Defn, Conjure.Engine
-:-Conjure.Expr, Conjure.Defn, Conjure.Engine
-<-Conjure.Expr, Conjure.Defn, Conjure.Engine
-<=-Conjure.Expr, Conjure.Defn, Conjure.Engine
-==>-Conjure.Expr, Conjure.Defn, Conjure.Engine
-?-Conjure.Expr, Conjure.Defn, Conjure.Engine
-|-Conjure.Expr, Conjure.Defn, Conjure.Engine
-||-Conjure.Expr, Conjure.Defn, Conjure.Engine
.Conjure.Utils, Conjure.Expr, Conjure.Defn
//Conjure.Expr, Conjure.Defn, Conjure.Engine
//-Conjure.Expr, Conjure.Defn, Conjure.Engine
:$Conjure.Expr, Conjure.Defn, Conjure.Engine
:~:Conjure.Utils, Conjure.Expr, Conjure.Defn
:~~:Conjure.Utils, Conjure.Expr, Conjure.Defn
<>Conjure.Utils, Conjure.Expr, Conjure.Defn
>$$Conjure.Expr, Conjure.Defn, Conjure.Engine
>$$<Conjure.Expr, Conjure.Defn, Conjure.Engine
AConjure.Conjurable, Conjure
abs'Conjure.Expr, Conjure.Defn, Conjure.Engine
absEConjure.Expr, Conjure.Defn, Conjure.Engine
aeConjure.Expr, Conjure.Defn, Conjure.Engine
All 
1 (Type/Class)Conjure.Utils, Conjure.Expr, Conjure.Defn
2 (Data Constructor)Conjure.Utils, Conjure.Expr, Conjure.Defn
allConjure.Utils, Conjure.Expr, Conjure.Defn
allEqualConjure.Utils, Conjure.Expr, Conjure.Defn
allEqual2Conjure.Utils, Conjure.Expr, Conjure.Defn
allEqualOnConjure.Utils, Conjure.Expr, Conjure.Defn
Alt 
1 (Type/Class)Conjure.Utils, Conjure.Expr, Conjure.Defn
2 (Data Constructor)Conjure.Utils, Conjure.Expr, Conjure.Defn
andConjure.Utils, Conjure.Expr, Conjure.Defn
and'Conjure.Expr, Conjure.Defn, Conjure.Engine
andEConjure.Expr, Conjure.Defn, Conjure.Engine
Any 
1 (Type/Class)Conjure.Utils, Conjure.Expr, Conjure.Defn
2 (Data Constructor)Conjure.Utils, Conjure.Expr, Conjure.Defn
anyConjure.Utils, Conjure.Expr, Conjure.Defn
Ap 
1 (Type/Class)Conjure.Utils, Conjure.Expr, Conjure.Defn
2 (Data Constructor)Conjure.Utils, Conjure.Expr, Conjure.Defn
apparentlyTerminatesConjure.Expr, Conjure.Defn
appendIntConjure.Expr, Conjure.Defn, Conjure.Engine
appEndoConjure.Utils, Conjure.Expr, Conjure.Defn
applyWhenConjure.Utils, Conjure.Expr, Conjure.Defn
Args 
1 (Type/Class)Conjure.Engine, Conjure
2 (Data Constructor)Conjure.Engine, Conjure
argsConjure.Engine, Conjure
arityConjure.Expr, Conjure.Defn, Conjure.Engine
atomicNumbersConjure.Engine, Conjure
BConjure.Conjurable, Conjure
beeConjure.Expr, Conjure.Defn, Conjure.Engine
BndnConjure.Defn
bothConjure.Utils, Conjure.Expr, Conjure.Defn
breakConjure.Utils, Conjure.Expr, Conjure.Defn
bs_Conjure.Expr, Conjure.Defn, Conjure.Engine
b_Conjure.Expr, Conjure.Defn, Conjure.Engine
CConjure.Conjurable, Conjure
candidateDeconstructionsFromConjure.Red
candidateDeconstructionsFromHoledConjure.Red
candidateDefnsConjure.Engine
candidateDefns1Conjure.Engine
candidateDefnsCConjure.Engine
candidateExprsConjure.Engine
canonicalizationConjure.Expr, Conjure.Defn, Conjure.Engine
canonicalizationWithConjure.Expr, Conjure.Defn, Conjure.Engine
canonicalizeConjure.Expr, Conjure.Defn, Conjure.Engine
canonicalizeBndnConjure.Defn
canonicalizeBndnLastConjure.Defn
canonicalizeWithConjure.Expr, Conjure.Defn, Conjure.Engine
canonicalVariationsConjure.Expr, Conjure.Defn, Conjure.Engine
canReduceToConjure.Reason, Conjure.Engine
caseBoolConjure.Expr, Conjure.Defn, Conjure.Engine
caseForOrdConjure.Expr, Conjure.Defn
caseOrderingConjure.Expr, Conjure.Defn, Conjure.Engine
castConjure.Utils, Conjure.Expr, Conjure.Defn
catMaybesConjure.Utils, Conjure.Expr, Conjure.Defn
ccConjure.Expr, Conjure.Defn, Conjure.Engine
ccsConjure.Expr, Conjure.Defn, Conjure.Engine
ceeConjure.Expr, Conjure.Defn, Conjure.Engine
cevalConjure.Conjurable
cevaluateConjure.Conjurable
cevlConjure.Conjurable
choicesConjure.Utils, Conjure.Expr, Conjure.Defn
choicesThatConjure.Utils, Conjure.Expr, Conjure.Defn
cjAreEqualConjure.Prim
cjHolesConjure.Prim
cjMkEquationConjure.Prim
cjTiersForConjure.Prim
classifyConjure.Utils, Conjure.Expr, Conjure.Defn
classifyByConjure.Utils, Conjure.Expr, Conjure.Defn
classifyOnConjure.Utils, Conjure.Expr, Conjure.Defn
closureLimitConjure.Reason, Conjure.Engine
commaConjure.Expr, Conjure.Defn, Conjure.Engine
commutativeOperatorsConjure.Reason, Conjure.Engine
compare'Conjure.Expr, Conjure.Defn, Conjure.Engine
compareComplexityConjure.Expr, Conjure.Defn, Conjure.Engine
compareLexicographicallyConjure.Expr, Conjure.Defn, Conjure.Engine
compareQuicklyConjure.Expr, Conjure.Defn, Conjure.Engine
compareSimplicityConjure.Expr, Conjure.Defn
composeConjure.Expr, Conjure.Defn, Conjure.Engine
concatConjure.Utils, Conjure.Expr, Conjure.Defn
concatMapConjure.Utils, Conjure.Expr, Conjure.Defn
conflictsConjure.Expr, Conjure.Defn
conjpureConjure.Engine, Conjure
conjpure0Conjure.Engine
conjpure0WithConjure.Engine
conjpureFromSpecConjure.Engine
conjpureFromSpecWithConjure.Engine
conjpureWithConjure.Engine, Conjure
ConjurableConjure.Conjurable, Conjure
conjureConjure.Engine, Conjure
conjure0Conjure.Engine
conjure0WithConjure.Engine
conjureApplicationConjure.Conjurable
conjureAreEqualConjure.Conjurable
conjureArgumentCasesConjure.Conjurable
conjureArgumentHolesConjure.Conjurable
conjureArgumentPatsConjure.Conjurable
conjureCasesConjure.Conjurable, Conjure
conjureDynamicEqConjure.Conjurable
conjureEqualityConjure.Conjurable, Conjure
conjureEvaluateConjure.Conjurable
conjureExpressConjure.Conjurable, Conjure
conjureFromSpecConjure.Engine, Conjure
conjureFromSpecWithConjure.Engine, Conjure
conjureGroundsConjure.Conjurable
conjureHolesConjure.Conjurable
conjureIfConjure.Conjurable
conjureIsDeconstructionConjure.Red
conjureIsNumericConjure.Conjurable
conjureIsUnbreakableConjure.Conjurable
conjureListForConjure.Conjurable
conjureMkEquationConjure.Conjurable
conjureMostGeneralCanonicalVariationConjure.Conjurable
conjurePatsConjure.Conjurable
conjureReificationConjure.Conjurable
conjureReification1Conjure.Conjurable
conjureSizeConjure.Conjurable, Conjure
conjureSizeForConjure.Conjurable
conjureSubTypesConjure.Conjurable, Conjure
conjureTheoryConjure.Engine
conjureTheoryWithConjure.Engine
conjureTiersConjure.Conjurable, Conjure
conjureTiersForConjure.Conjurable
conjureTypeConjure.Conjurable, Conjure
conjureVarApplicationConjure.Conjurable
conjureWithConjure.Engine, Conjure
conjureWithMaxSizeConjure.Engine, Conjure
consConjure.Expr, Conjure.Defn, Conjure.Engine
consBoolConjure.Expr, Conjure.Defn, Conjure.Engine
consCharConjure.Expr, Conjure.Defn, Conjure.Engine
consIntConjure.Expr, Conjure.Defn, Conjure.Engine
constConjure.Utils, Conjure.Expr, Conjure.Defn
const'Conjure.Expr, Conjure.Defn, Conjure.Engine
constsConjure.Expr, Conjure.Defn, Conjure.Engine
copyBindingsConjure.Engine, Conjure
countConjure.Utils, Conjure.Expr, Conjure.Defn
cs_Conjure.Expr, Conjure.Defn, Conjure.Engine
curryConjure.Utils, Conjure.Expr, Conjure.Defn
cycleConjure.Utils, Conjure.Expr, Conjure.Defn
c_Conjure.Expr, Conjure.Defn, Conjure.Engine
DConjure.Conjurable, Conjure
ddConjure.Expr, Conjure.Defn, Conjure.Engine
deeConjure.Expr, Conjure.Defn, Conjure.Engine
DefnConjure.Defn
defnApparentlyTerminatesConjure.Defn
deholingsConjure.Expr, Conjure.Defn
deleteConjure.Utils, Conjure.Expr, Conjure.Defn
deleteByConjure.Utils, Conjure.Expr, Conjure.Defn
deleteFirstsByConjure.Utils, Conjure.Expr, Conjure.Defn
depthConjure.Expr, Conjure.Defn, Conjure.Engine
deriveConjurableConjure.Conjurable.Derive, Conjure
deriveConjurableCascadingConjure.Conjurable.Derive, Conjure
deriveConjurableIfNeededConjure.Conjurable.Derive, Conjure
deriveExpressConjure.Expr, Conjure.Defn, Conjure.Engine
deriveExpressCascadingConjure.Expr, Conjure.Defn, Conjure.Engine
deriveExpressIfNeededConjure.Expr, Conjure.Defn, Conjure.Engine
deriveNameConjure.Expr, Conjure.Defn, Conjure.Engine
deriveNameCascadingConjure.Expr, Conjure.Defn, Conjure.Engine
deriveNameIfNeededConjure.Expr, Conjure.Defn, Conjure.Engine
descendsConjure.Red
devalConjure.Defn
devalFastConjure.Defn
devaluateConjure.Defn
devlConjure.Defn
digAppConjure.Expr, Conjure.Defn
div'Conjure.Expr, Conjure.Defn, Conjure.Engine
divEConjure.Expr, Conjure.Defn, Conjure.Engine
doubleCheckConjure.Reason, Conjure.Engine
dropConjure.Utils, Conjure.Expr, Conjure.Defn
drop'Conjure.Expr, Conjure.Defn, Conjure.Engine
dropWhileConjure.Utils, Conjure.Expr, Conjure.Defn
dropWhileEndConjure.Utils, Conjure.Expr, Conjure.Defn
Dual 
1 (Type/Class)Conjure.Utils, Conjure.Expr, Conjure.Defn
2 (Data Constructor)Conjure.Utils, Conjure.Expr, Conjure.Defn
EConjure.Conjurable, Conjure
eightConjure.Expr, Conjure.Defn, Conjure.Engine
elemConjure.Utils, Conjure.Expr, Conjure.Defn
elem'Conjure.Expr, Conjure.Defn, Conjure.Engine
elemIndexConjure.Utils, Conjure.Expr, Conjure.Defn
elemIndicesConjure.Utils, Conjure.Expr, Conjure.Defn
elevenConjure.Expr, Conjure.Defn, Conjure.Engine
emptyStringConjure.Expr, Conjure.Defn, Conjure.Engine
encompassesConjure.Expr, Conjure.Defn, Conjure.Engine
Endo 
1 (Type/Class)Conjure.Utils, Conjure.Expr, Conjure.Defn
2 (Data Constructor)Conjure.Utils, Conjure.Expr, Conjure.Defn
enumerateAppsForConjure.Expr, Conjure.Defn
enumerateFillingsConjure.Expr, Conjure.Defn
enumFrom'Conjure.Expr, Conjure.Defn, Conjure.Engine
enumFromThen'Conjure.Expr, Conjure.Defn, Conjure.Engine
enumFromThenTo'Conjure.Expr, Conjure.Defn, Conjure.Engine
enumFromTo'Conjure.Expr, Conjure.Defn, Conjure.Engine
eqTConjure.Utils, Conjure.Expr, Conjure.Defn
equalModuloTestingConjure.Defn.Test
equationsConjure.Reason, Conjure.Engine
erroneousCandidateConjure.Defn.Test
etypConjure.Expr, Conjure.Defn, Conjure.Engine
evalConjure.Expr, Conjure.Defn, Conjure.Engine
evaluateConjure.Expr, Conjure.Defn, Conjure.Engine
even'Conjure.Expr, Conjure.Defn, Conjure.Engine
evlConjure.Expr, Conjure.Defn, Conjure.Engine
ExprConjure.Expr, Conjure.Defn, Conjure.Engine, Conjure
exprConjure.Expr, Conjure.Defn, Conjure.Conjurable, Conjure.Engine, Conjure
ExpressConjure.Expr, Conjure.Defn, Conjure.Conjurable, Conjure.Engine, Conjure
extractAppConjure.Expr, Conjure.Defn
FConjure.Conjurable, Conjure
falseConjure.Expr, Conjure.Defn, Conjure.Engine
fastCanonicalVariationsConjure.Expr, Conjure.Defn, Conjure.Engine
fastMostGeneralVariationConjure.Expr, Conjure.Defn, Conjure.Engine
fastMostSpecificVariationConjure.Expr, Conjure.Defn, Conjure.Engine
ffConjure.Expr, Conjure.Defn, Conjure.Engine
ff2Conjure.Expr, Conjure.Defn, Conjure.Engine
ff3Conjure.Expr, Conjure.Defn, Conjure.Engine
ff4Conjure.Expr, Conjure.Defn, Conjure.Engine
ffEConjure.Expr, Conjure.Defn, Conjure.Engine
fillConjure.Expr, Conjure.Defn, Conjure.Engine
fillBFSConjure.Expr, Conjure.Defn
filterConjure.Utils, Conjure.Expr, Conjure.Defn
filter'Conjure.Expr, Conjure.Defn, Conjure.Engine
findConjure.Utils, Conjure.Expr, Conjure.Defn
findDefnErrorConjure.Defn.Test
findIndexConjure.Utils, Conjure.Expr, Conjure.Defn
findIndicesConjure.Utils, Conjure.Expr, Conjure.Defn
findValidAppConjure.Expr, Conjure.Defn, Conjure.Engine
First 
1 (Type/Class)Conjure.Utils, Conjure.Expr, Conjure.Defn
2 (Data Constructor)Conjure.Utils, Conjure.Expr, Conjure.Defn
firstConjure.Utils, Conjure.Expr, Conjure.Defn
fiveConjure.Expr, Conjure.Defn, Conjure.Engine
fixConjure.Utils, Conjure.Expr, Conjure.Defn
flipConjure.Utils, Conjure.Expr, Conjure.Defn
foldConjure.Expr, Conjure.Defn, Conjure.Engine
foldAppConjure.Expr, Conjure.Defn, Conjure.Engine
foldlConjure.Utils, Conjure.Expr, Conjure.Defn
foldl'Conjure.Utils, Conjure.Expr, Conjure.Defn
foldl1Conjure.Utils, Conjure.Expr, Conjure.Defn
foldl1'Conjure.Utils, Conjure.Expr, Conjure.Defn
foldPairConjure.Expr, Conjure.Defn, Conjure.Engine
foldrConjure.Utils, Conjure.Expr, Conjure.Defn
foldr'Conjure.Expr, Conjure.Defn, Conjure.Engine
foldr0Conjure.Utils, Conjure.Expr, Conjure.Defn
foldr1Conjure.Utils, Conjure.Expr, Conjure.Defn
foldTrioConjure.Expr, Conjure.Defn, Conjure.Engine
fourConjure.Expr, Conjure.Defn, Conjure.Engine
fromJustConjure.Utils, Conjure.Expr, Conjure.Defn
fromMaybeConjure.Utils, Conjure.Expr, Conjure.Defn
fstConjure.Utils, Conjure.Expr, Conjure.Defn
funResultTyConjure.Utils, Conjure.Expr, Conjure.Defn
funToVarConjure.Expr, Conjure.Defn
gcastConjure.Utils, Conjure.Expr, Conjure.Defn
gcast1Conjure.Utils, Conjure.Expr, Conjure.Defn
gcast2Conjure.Utils, Conjure.Expr, Conjure.Defn
genericDropConjure.Utils, Conjure.Expr, Conjure.Defn
genericIndexConjure.Utils, Conjure.Expr, Conjure.Defn
genericLengthConjure.Utils, Conjure.Expr, Conjure.Defn
genericReplicateConjure.Utils, Conjure.Expr, Conjure.Defn
genericSplitAtConjure.Utils, Conjure.Expr, Conjure.Defn
genericTakeConjure.Utils, Conjure.Expr, Conjure.Defn
getAllConjure.Utils, Conjure.Expr, Conjure.Defn
getAltConjure.Utils, Conjure.Expr, Conjure.Defn
getAnyConjure.Utils, Conjure.Expr, Conjure.Defn
getApConjure.Utils, Conjure.Expr, Conjure.Defn
getDualConjure.Utils, Conjure.Expr, Conjure.Defn
getFirstConjure.Utils, Conjure.Expr, Conjure.Defn
getLastConjure.Utils, Conjure.Expr, Conjure.Defn
getProductConjure.Utils, Conjure.Expr, Conjure.Defn
getSumConjure.Utils, Conjure.Expr, Conjure.Defn
ggConjure.Expr, Conjure.Defn, Conjure.Engine
ggEConjure.Expr, Conjure.Defn, Conjure.Engine
groundBindsConjure.Expr, Conjure.Defn
groundsConjure.Expr, Conjure.Defn
groupConjure.Utils, Conjure.Expr, Conjure.Defn
groupByConjure.Utils, Conjure.Expr, Conjure.Defn
groupOnConjure.Utils, Conjure.Expr, Conjure.Defn
hasAppInstanceOfConjure.Expr, Conjure.Defn
hasHoleConjure.Expr, Conjure.Defn, Conjure.Engine
hasInstanceOfConjure.Expr, Conjure.Defn, Conjure.Engine
hasRedundantRecursionConjure.Defn.Redundancy
hasUnboundConjure.Defn
hasVarConjure.Expr, Conjure.Defn, Conjure.Engine
headConjure.Utils, Conjure.Expr, Conjure.Defn
head'Conjure.Expr, Conjure.Defn, Conjure.Engine
headOrConjure.Utils, Conjure.Expr, Conjure.Defn
heightConjure.Expr, Conjure.Defn, Conjure.Engine
heqTConjure.Utils, Conjure.Expr, Conjure.Defn
hhConjure.Expr, Conjure.Defn, Conjure.Engine
hhEConjure.Expr, Conjure.Defn, Conjure.Engine
holeConjure.Expr, Conjure.Defn, Conjure.Engine
holeAsTypeOfConjure.Expr, Conjure.Defn, Conjure.Engine
holesConjure.Expr, Conjure.Defn, Conjure.Engine
holesBFSConjure.Expr, Conjure.Defn
HReflConjure.Utils, Conjure.Expr, Conjure.Defn
idConjure.Utils, Conjure.Expr, Conjure.Defn
id'Conjure.Expr, Conjure.Defn, Conjure.Engine
idBoolConjure.Expr, Conjure.Defn, Conjure.Engine
idBoolsConjure.Expr, Conjure.Defn, Conjure.Engine
idCharConjure.Expr, Conjure.Defn, Conjure.Engine
idEConjure.Expr, Conjure.Defn, Conjure.Engine
idIntConjure.Expr, Conjure.Defn, Conjure.Engine
idIntsConjure.Expr, Conjure.Defn, Conjure.Engine
idIOConjure.Utils, Conjure.Expr, Conjure.Defn
idStringConjure.Expr, Conjure.Defn, Conjure.Engine
if'Conjure.Expr, Conjure.Defn, Conjure.Engine
ifForConjure.Expr, Conjure.Defn
iiConjure.Expr, Conjure.Defn, Conjure.Engine
ii'Conjure.Expr, Conjure.Defn, Conjure.Engine
impliesConjure.Expr, Conjure.Defn, Conjure.Engine
indentConjure.Utils, Conjure.Expr, Conjure.Defn
indentByConjure.Utils, Conjure.Expr, Conjure.Defn
initConjure.Utils, Conjure.Expr, Conjure.Defn
init'Conjure.Expr, Conjure.Defn, Conjure.Engine
initsConjure.Utils, Conjure.Expr, Conjure.Defn
insertConjure.Utils, Conjure.Expr, Conjure.Defn
insert'Conjure.Expr, Conjure.Defn, Conjure.Engine
insertByConjure.Utils, Conjure.Expr, Conjure.Defn
intercalateConjure.Utils, Conjure.Expr, Conjure.Defn
intersectConjure.Utils, Conjure.Expr, Conjure.Defn
intersectByConjure.Utils, Conjure.Expr, Conjure.Defn
intersperseConjure.Utils, Conjure.Expr, Conjure.Defn
introduceVariableAtConjure.Defn.Redundancy
invalidConjure.Reason, Conjure.Engine
isAppConjure.Expr, Conjure.Defn, Conjure.Engine
isBaseCaseConjure.Defn
isCanonicalConjure.Expr, Conjure.Defn, Conjure.Engine
isCanonicalWithConjure.Expr, Conjure.Defn, Conjure.Engine
isCommutativeConjure.Reason, Conjure.Engine
isCompleteConjure.Expr, Conjure.Defn, Conjure.Engine
isCompleteBndnConjure.Defn
isCompleteDefnConjure.Defn
isConstConjure.Expr, Conjure.Defn, Conjure.Engine
isDefinedConjure.Defn
isEqConjure.Expr, Conjure.Defn, Conjure.Engine
isEqOrdConjure.Expr, Conjure.Defn, Conjure.Engine
isEqOrdTConjure.Expr, Conjure.Defn, Conjure.Engine
isEqTConjure.Expr, Conjure.Defn, Conjure.Engine
isFunConjure.Expr, Conjure.Defn, Conjure.Engine
isGroundConjure.Expr, Conjure.Defn, Conjure.Engine
isHoleConjure.Expr, Conjure.Defn, Conjure.Engine
isIllTypedConjure.Expr, Conjure.Defn, Conjure.Engine
isInfixOfConjure.Utils, Conjure.Expr, Conjure.Defn
isInstanceOfConjure.Expr, Conjure.Defn, Conjure.Engine
isJustConjure.Utils, Conjure.Expr, Conjure.Defn
isNegativeConjure.Expr, Conjure.Defn
isNothingConjure.Utils, Conjure.Expr, Conjure.Defn
isOrdConjure.Expr, Conjure.Defn, Conjure.Engine
isOrdTConjure.Expr, Conjure.Defn, Conjure.Engine
isPrefixOfConjure.Utils, Conjure.Expr, Conjure.Defn
isRecursiveCaseConjure.Defn
isRecursiveDefnConjure.Defn
isRedundantByIntroductionConjure.Defn.Redundancy
isRedundantByRepetitionConjure.Defn.Redundancy
isRedundantBySubsumptionConjure.Defn.Redundancy
isRedundantDefnConjure.Defn.Redundancy
isRedundantModuloRewritingConjure.Defn.Redundancy
isRootNormalCConjure.Reason, Conjure.Engine
isRootNormalEConjure.Reason, Conjure.Engine
isStrictSubexprOfConjure.Expr, Conjure.Defn
isSubexprOfConjure.Expr, Conjure.Defn, Conjure.Engine
isSubsequenceOfConjure.Utils, Conjure.Expr, Conjure.Defn
isSubsetOfConjure.Utils, Conjure.Expr, Conjure.Defn
isSuffixOfConjure.Utils, Conjure.Expr, Conjure.Defn
isUndefinedConjure.Defn
isValueConjure.Expr, Conjure.Defn, Conjure.Engine
isVarConjure.Expr, Conjure.Defn, Conjure.Engine
isWellTypedConjure.Expr, Conjure.Defn, Conjure.Engine
is_Conjure.Expr, Conjure.Defn, Conjure.Engine
iterateConjure.Utils, Conjure.Expr, Conjure.Defn
iterate'Conjure.Utils, Conjure.Expr, Conjure.Defn
i_Conjure.Expr, Conjure.Defn, Conjure.Engine
jjConjure.Expr, Conjure.Defn, Conjure.Engine
JustConjure.Utils, Conjure.Expr, Conjure.Defn
justConjure.Expr, Conjure.Defn, Conjure.Engine
justBoolConjure.Expr, Conjure.Defn, Conjure.Engine
justIntConjure.Expr, Conjure.Defn, Conjure.Engine
kkConjure.Expr, Conjure.Defn, Conjure.Engine
Last 
1 (Type/Class)Conjure.Utils, Conjure.Expr, Conjure.Defn
2 (Data Constructor)Conjure.Utils, Conjure.Expr, Conjure.Defn
lastConjure.Utils, Conjure.Expr, Conjure.Defn
lengthConjure.Utils, Conjure.Expr, Conjure.Defn
length'Conjure.Expr, Conjure.Defn, Conjure.Engine
lineBreakConjure.Expr, Conjure.Defn, Conjure.Engine
linesConjure.Utils, Conjure.Expr, Conjure.Defn
listConflictsConjure.Expr, Conjure.Defn
listToMaybeConjure.Utils, Conjure.Expr, Conjure.Defn
listVarsConjure.Expr, Conjure.Defn, Conjure.Engine
listVarsAsTypeOfConjure.Expr, Conjure.Defn, Conjure.Engine
listVarsWithConjure.Expr, Conjure.Defn, Conjure.Engine
llConjure.Expr, Conjure.Defn, Conjure.Engine
lookupConjure.Utils, Conjure.Expr, Conjure.Defn
lookupComparisonConjure.Expr, Conjure.Defn, Conjure.Engine
lookupNameConjure.Expr, Conjure.Defn, Conjure.Engine
lookupNamesConjure.Expr, Conjure.Defn, Conjure.Engine
mapConjure.Utils, Conjure.Expr, Conjure.Defn
map'Conjure.Expr, Conjure.Defn, Conjure.Engine
mapAccumLConjure.Utils, Conjure.Expr, Conjure.Defn
mapAccumRConjure.Utils, Conjure.Expr, Conjure.Defn
mapConstsConjure.Expr, Conjure.Defn, Conjure.Engine
mapEConjure.Expr, Conjure.Defn, Conjure.Engine
mapHeadConjure.Utils, Conjure.Expr, Conjure.Defn
mapMaybeConjure.Utils, Conjure.Expr, Conjure.Defn
mappendConjure.Utils, Conjure.Expr, Conjure.Defn
mapSubexprsConjure.Expr, Conjure.Defn, Conjure.Engine
mapValuesConjure.Expr, Conjure.Defn, Conjure.Engine
mapVarsConjure.Expr, Conjure.Defn, Conjure.Engine
matchConjure.Expr, Conjure.Defn, Conjure.Engine
matchWithConjure.Expr, Conjure.Defn, Conjure.Engine
maxDeconstructionSizeConjure.Engine, Conjure
maxEquationSizeConjure.Engine, Conjure
maxEvalRecursionsConjure.Engine, Conjure
maximumConjure.Utils, Conjure.Expr, Conjure.Defn
maximumByConjure.Utils, Conjure.Expr, Conjure.Defn
maxSearchTestsConjure.Engine, Conjure
maxSizeConjure.Engine, Conjure
maxTestsConjure.Engine, Conjure
MaybeConjure.Utils, Conjure.Expr, Conjure.Defn
maybeConjure.Utils, Conjure.Expr, Conjure.Defn
maybeToListConjure.Utils, Conjure.Expr, Conjure.Defn
mayNotEvaluateArgumentConjure.Expr, Conjure.Defn
mconcatConjure.Utils, Conjure.Expr, Conjure.Defn
memptyConjure.Utils, Conjure.Expr, Conjure.Defn
minimumConjure.Utils, Conjure.Expr, Conjure.Defn
minimumByConjure.Utils, Conjure.Expr, Conjure.Defn
minusConjure.Expr, Conjure.Defn, Conjure.Engine
minusOneConjure.Expr, Conjure.Defn, Conjure.Engine
minusTwoConjure.Expr, Conjure.Defn, Conjure.Engine
mkComparisonConjure.Expr, Conjure.Defn, Conjure.Engine
mkComparisonLEConjure.Expr, Conjure.Defn, Conjure.Engine
mkComparisonLTConjure.Expr, Conjure.Defn, Conjure.Engine
mkEqConjure.Expr, Conjure.Defn, Conjure.Engine
mkEquationConjure.Expr, Conjure.Defn, Conjure.Engine
mkFunTyConjure.Utils, Conjure.Expr, Conjure.Defn
mkNameConjure.Expr, Conjure.Defn, Conjure.Engine
mkNameWithConjure.Expr, Conjure.Defn, Conjure.Engine
mkOrdConjure.Expr, Conjure.Defn, Conjure.Engine
mkOrdLessEqualConjure.Expr, Conjure.Defn, Conjure.Engine
mmConjure.Expr, Conjure.Defn, Conjure.Engine
mod'Conjure.Expr, Conjure.Defn, Conjure.Engine
modEConjure.Expr, Conjure.Defn, Conjure.Engine
MonoidConjure.Utils, Conjure.Expr, Conjure.Defn
mostGeneralCanonicalVariationConjure.Expr, Conjure.Defn, Conjure.Engine
mostSpecificCanonicalVariationConjure.Expr, Conjure.Defn, Conjure.Engine
mtypConjure.Expr, Conjure.Defn, Conjure.Engine
mzipConjure.Utils, Conjure.Expr, Conjure.Defn
NameConjure.Expr, Conjure.Defn, Conjure.Conjurable, Conjure.Engine, Conjure
nameConjure.Expr, Conjure.Defn, Conjure.Conjurable, Conjure.Engine, Conjure
namesConjure.Expr, Conjure.Defn, Conjure.Engine
negate'Conjure.Expr, Conjure.Defn, Conjure.Engine
negateEConjure.Expr, Conjure.Defn, Conjure.Engine
nilConjure.Expr, Conjure.Defn, Conjure.Engine
nilBoolConjure.Expr, Conjure.Defn, Conjure.Engine
nilCharConjure.Expr, Conjure.Defn, Conjure.Engine
nilIntConjure.Expr, Conjure.Defn, Conjure.Engine
nineConjure.Expr, Conjure.Defn, Conjure.Engine
nnConjure.Expr, Conjure.Defn, Conjure.Engine
noneConjure.Utils, Conjure.Expr, Conjure.Defn
normalizeConjure.Reason, Conjure.Engine
not'Conjure.Expr, Conjure.Defn, Conjure.Engine
notEConjure.Expr, Conjure.Defn, Conjure.Engine
notElemConjure.Utils, Conjure.Expr, Conjure.Defn
NothingConjure.Utils, Conjure.Expr, Conjure.Defn
nothingConjure.Expr, Conjure.Defn, Conjure.Engine
nothingBoolConjure.Expr, Conjure.Defn, Conjure.Engine
nothingIntConjure.Expr, Conjure.Defn, Conjure.Engine
noUnboundConjure.Defn
nubConjure.Utils, Conjure.Expr, Conjure.Defn
nubByConjure.Utils, Conjure.Expr, Conjure.Defn
nubConstsConjure.Expr, Conjure.Defn, Conjure.Engine
nubHolesConjure.Expr, Conjure.Defn, Conjure.Engine
nubOnConjure.Utils, Conjure.Expr, Conjure.Defn
nubSortConjure.Utils, Conjure.Expr, Conjure.Defn
nubSubexprsConjure.Expr, Conjure.Defn, Conjure.Engine
nubValuesConjure.Expr, Conjure.Defn, Conjure.Engine
nubVarsConjure.Expr, Conjure.Defn, Conjure.Engine
nullConjure.Utils, Conjure.Expr, Conjure.Defn
null'Conjure.Expr, Conjure.Defn, Conjure.Engine
odd'Conjure.Expr, Conjure.Defn, Conjure.Engine
onConjure.Utils, Conjure.Expr, Conjure.Defn
oneConjure.Expr, Conjure.Defn, Conjure.Engine
ooConjure.Expr, Conjure.Defn, Conjure.Engine
ooEConjure.Expr, Conjure.Defn, Conjure.Engine
orConjure.Utils, Conjure.Expr, Conjure.Defn
or'Conjure.Expr, Conjure.Defn, Conjure.Engine
ord'Conjure.Expr, Conjure.Defn, Conjure.Engine
ordEConjure.Expr, Conjure.Defn, Conjure.Engine
orEConjure.Expr, Conjure.Defn, Conjure.Engine
pairConjure.Expr, Conjure.Defn, Conjure.Engine
partitionConjure.Utils, Conjure.Expr, Conjure.Defn
permutationsConjure.Utils, Conjure.Expr, Conjure.Defn
plusConjure.Expr, Conjure.Defn, Conjure.Engine
possibleHolesConjure.Expr, Conjure.Defn
ppConjure.Expr, Conjure.Defn, Conjure.Engine
pp'Conjure.Expr, Conjure.Defn, Conjure.Engine
ppsConjure.Expr, Conjure.Defn, Conjure.Engine
prConjure.Prim, Conjure
preludeNameInstancesConjure.Expr, Conjure.Defn, Conjure.Engine
prifConjure.Prim, Conjure
PrimConjure.Prim, Conjure
primConjure.Prim, Conjure
primOrdCaseForConjure.Prim, Conjure
printDefnConjure.Defn
printThyConjure.Reason, Conjure.Engine
Product 
1 (Type/Class)Conjure.Utils, Conjure.Expr, Conjure.Defn
2 (Data Constructor)Conjure.Utils, Conjure.Expr, Conjure.Defn
productConjure.Utils, Conjure.Expr, Conjure.Defn
product'Conjure.Expr, Conjure.Defn, Conjure.Engine
Proxy 
1 (Type/Class)Conjure.Utils, Conjure.Expr, Conjure.Defn
2 (Data Constructor)Conjure.Utils, Conjure.Expr, Conjure.Defn
qqConjure.Expr, Conjure.Defn, Conjure.Engine
qqsConjure.Expr, Conjure.Defn, Conjure.Engine
quadrupleConjure.Expr, Conjure.Defn, Conjure.Engine
questionConjure.Expr, Conjure.Defn, Conjure.Engine
quintupleConjure.Expr, Conjure.Defn, Conjure.Engine
quot'Conjure.Expr, Conjure.Defn, Conjure.Engine
quotEConjure.Expr, Conjure.Defn, Conjure.Engine
recursexprConjure.Expr, Conjure.Defn
ReflConjure.Utils, Conjure.Expr, Conjure.Defn
reholeConjure.Expr, Conjure.Defn
ReificationConjure.Conjurable
Reification1Conjure.Conjurable
reifyEqConjure.Expr, Conjure.Defn, Conjure.Engine
reifyEqOrdConjure.Expr, Conjure.Defn, Conjure.Engine
reifyEqualityConjure.Conjurable, Conjure
reifyExpressConjure.Conjurable, Conjure
reifyNameConjure.Expr, Conjure.Defn, Conjure.Engine
reifyOrdConjure.Expr, Conjure.Defn, Conjure.Engine
reifyTiersConjure.Conjurable, Conjure
rem'Conjure.Expr, Conjure.Defn, Conjure.Engine
remEConjure.Expr, Conjure.Defn, Conjure.Engine
renameVarsByConjure.Expr, Conjure.Defn, Conjure.Engine
repeatConjure.Utils, Conjure.Expr, Conjure.Defn
replicateConjure.Utils, Conjure.Expr, Conjure.Defn
requireDescentConjure.Engine, Conjure
revalConjure.Expr, Conjure.Defn
revaluateConjure.Expr, Conjure.Defn
reverseConjure.Utils, Conjure.Expr, Conjure.Defn
rnfTyConConjure.Utils, Conjure.Expr, Conjure.Defn
rnfTypeRepConjure.Utils, Conjure.Expr, Conjure.Defn
rrConjure.Expr, Conjure.Defn, Conjure.Engine
rulesConjure.Reason, Conjure.Engine
rvarsConjure.Expr, Conjure.Defn
scanlConjure.Utils, Conjure.Expr, Conjure.Defn
scanl'Conjure.Utils, Conjure.Expr, Conjure.Defn
scanl1Conjure.Utils, Conjure.Expr, Conjure.Defn
scanrConjure.Utils, Conjure.Expr, Conjure.Defn
scanr1Conjure.Utils, Conjure.Expr, Conjure.Defn
secondConjure.Utils, Conjure.Expr, Conjure.Defn
setsConjure.Utils, Conjure.Expr, Conjure.Defn
sevenConjure.Expr, Conjure.Defn, Conjure.Engine
showDefnConjure.Defn
showExprConjure.Expr, Conjure.Defn, Conjure.Engine
showOpExprConjure.Expr, Conjure.Defn, Conjure.Engine
showPrecExprConjure.Expr, Conjure.Defn, Conjure.Engine
showsTypeRepConjure.Utils, Conjure.Expr, Conjure.Defn
showTheoryConjure.Engine, Conjure
signum'Conjure.Expr, Conjure.Defn, Conjure.Engine
signumEConjure.Expr, Conjure.Defn, Conjure.Engine
simplifyDefnConjure.Defn.Redundancy
singletonConjure.Utils, Conjure.Expr, Conjure.Defn
sixConjure.Expr, Conjure.Defn, Conjure.Engine
sixtupleConjure.Expr, Conjure.Defn, Conjure.Engine
sizeConjure.Expr, Conjure.Defn, Conjure.Engine
sndConjure.Utils, Conjure.Expr, Conjure.Defn
SoloConjure.Utils, Conjure.Expr, Conjure.Defn
sortConjure.Utils, Conjure.Expr, Conjure.Defn
sort'Conjure.Expr, Conjure.Defn, Conjure.Engine
sortByConjure.Utils, Conjure.Expr, Conjure.Defn
sortOnConjure.Utils, Conjure.Expr, Conjure.Defn
spaceConjure.Expr, Conjure.Defn, Conjure.Engine
spanConjure.Utils, Conjure.Expr, Conjure.Defn
splitAtConjure.Utils, Conjure.Expr, Conjure.Defn
splitTyConAppConjure.Utils, Conjure.Expr, Conjure.Defn
stripPrefixConjure.Utils, Conjure.Expr, Conjure.Defn
subexprsConjure.Expr, Conjure.Defn, Conjure.Engine
subsequencesConjure.Utils, Conjure.Expr, Conjure.Defn
subsumedWithConjure.Defn.Redundancy
Sum 
1 (Type/Class)Conjure.Utils, Conjure.Expr, Conjure.Defn
2 (Data Constructor)Conjure.Utils, Conjure.Expr, Conjure.Defn
sumConjure.Utils, Conjure.Expr, Conjure.Defn
sum'Conjure.Expr, Conjure.Defn, Conjure.Engine
swapConjure.Utils, Conjure.Expr, Conjure.Defn
tailConjure.Utils, Conjure.Expr, Conjure.Defn
tail'Conjure.Expr, Conjure.Defn, Conjure.Engine
tailsConjure.Utils, Conjure.Expr, Conjure.Defn
takeConjure.Utils, Conjure.Expr, Conjure.Defn
take'Conjure.Expr, Conjure.Defn, Conjure.Engine
takeWhileConjure.Utils, Conjure.Expr, Conjure.Defn
tenConjure.Expr, Conjure.Defn, Conjure.Engine
theoryFromAtomsConjure.Reason, Conjure.Engine
threeConjure.Expr, Conjure.Defn, Conjure.Engine
ThyConjure.Reason, Conjure.Engine
timesConjure.Expr, Conjure.Defn, Conjure.Engine
toDynamicConjure.Expr, Conjure.Defn, Conjure.Engine
toDynamicWithDefnConjure.Defn
transposeConjure.Utils, Conjure.Expr, Conjure.Defn
tripleConjure.Expr, Conjure.Defn, Conjure.Engine
trLiftedRepConjure.Utils, Conjure.Expr, Conjure.Defn
trueConjure.Expr, Conjure.Defn, Conjure.Engine
twelveConjure.Expr, Conjure.Defn, Conjure.Engine
twoConjure.Expr, Conjure.Defn, Conjure.Engine
TyConConjure.Utils, Conjure.Expr, Conjure.Defn
tyConFingerprintConjure.Utils, Conjure.Expr, Conjure.Defn
tyConModuleConjure.Utils, Conjure.Expr, Conjure.Defn
tyConNameConjure.Utils, Conjure.Expr, Conjure.Defn
tyConPackageConjure.Utils, Conjure.Expr, Conjure.Defn
typConjure.Expr, Conjure.Defn, Conjure.Engine
TypeableConjure.Utils, Conjure.Expr, Conjure.Defn
typeOfConjure.Utils, Conjure.Expr, Conjure.Defn
typeOf1Conjure.Utils, Conjure.Expr, Conjure.Defn
typeOf2Conjure.Utils, Conjure.Expr, Conjure.Defn
typeOf3Conjure.Utils, Conjure.Expr, Conjure.Defn
typeOf4Conjure.Utils, Conjure.Expr, Conjure.Defn
typeOf5Conjure.Utils, Conjure.Expr, Conjure.Defn
typeOf6Conjure.Utils, Conjure.Expr, Conjure.Defn
typeOf7Conjure.Utils, Conjure.Expr, Conjure.Defn
TypeRepConjure.Utils, Conjure.Expr, Conjure.Defn
typeRepConjure.Utils, Conjure.Expr, Conjure.Defn
typeRepArgsConjure.Utils, Conjure.Expr, Conjure.Defn
typeRepFingerprintConjure.Utils, Conjure.Expr, Conjure.Defn
typeRepTyConConjure.Utils, Conjure.Expr, Conjure.Defn
unconsConjure.Utils, Conjure.Expr, Conjure.Defn
uncurryConjure.Utils, Conjure.Expr, Conjure.Defn
unfoldConjure.Expr, Conjure.Defn, Conjure.Engine
unfoldAppConjure.Expr, Conjure.Defn, Conjure.Engine
unfoldPairConjure.Expr, Conjure.Defn, Conjure.Engine
unfoldrConjure.Utils, Conjure.Expr, Conjure.Defn
unfoldTrioConjure.Expr, Conjure.Defn, Conjure.Engine
unionConjure.Utils, Conjure.Expr, Conjure.Defn
unionByConjure.Utils, Conjure.Expr, Conjure.Defn
uniqueCandidatesConjure.Engine, Conjure
unitConjure.Expr, Conjure.Defn, Conjure.Engine
unlinesConjure.Utils, Conjure.Expr, Conjure.Defn
unwordsConjure.Utils, Conjure.Expr, Conjure.Defn
unzipConjure.Utils, Conjure.Expr, Conjure.Defn
unzip3Conjure.Utils, Conjure.Expr, Conjure.Defn
unzip4Conjure.Utils, Conjure.Expr, Conjure.Defn
unzip5Conjure.Utils, Conjure.Expr, Conjure.Defn
unzip6Conjure.Utils, Conjure.Expr, Conjure.Defn
unzip7Conjure.Utils, Conjure.Expr, Conjure.Defn
updateAppAtConjure.Expr, Conjure.Defn
updateAtConjure.Utils, Conjure.Expr, Conjure.Defn
useMatchesConjure.Expr, Conjure.Defn
usePatternsConjure.Engine, Conjure
valConjure.Expr, Conjure.Defn, Conjure.Engine, Conjure
validAppsConjure.Expr, Conjure.Defn, Conjure.Engine
ValueConjure.Expr, Conjure.Defn, Conjure.Engine
valueConjure.Expr, Conjure.Defn, Conjure.Engine, Conjure
valuesConjure.Expr, Conjure.Defn, Conjure.Engine
valuesBFSConjure.Expr, Conjure.Defn
varConjure.Expr, Conjure.Defn, Conjure.Engine
varAsTypeOfConjure.Expr, Conjure.Defn, Conjure.Engine
variableNamesFromTemplateConjure.Expr, Conjure.Defn, Conjure.Engine
varsConjure.Expr, Conjure.Defn, Conjure.Engine
varToConstConjure.Expr, Conjure.Defn
wordsConjure.Utils, Conjure.Expr, Conjure.Defn
xxConjure.Expr, Conjure.Defn, Conjure.Engine
xx'Conjure.Expr, Conjure.Defn, Conjure.Engine
xxsConjure.Expr, Conjure.Defn, Conjure.Engine
yyConjure.Expr, Conjure.Defn, Conjure.Engine
yysConjure.Expr, Conjure.Defn, Conjure.Engine
zedConjure.Expr, Conjure.Defn, Conjure.Engine
zeeConjure.Expr, Conjure.Defn, Conjure.Engine
zeroConjure.Expr, Conjure.Defn, Conjure.Engine
zipConjure.Utils, Conjure.Expr, Conjure.Defn
zip3Conjure.Utils, Conjure.Expr, Conjure.Defn
zip4Conjure.Utils, Conjure.Expr, Conjure.Defn
zip5Conjure.Utils, Conjure.Expr, Conjure.Defn
zip6Conjure.Utils, Conjure.Expr, Conjure.Defn
zip7Conjure.Utils, Conjure.Expr, Conjure.Defn
zipWithConjure.Utils, Conjure.Expr, Conjure.Defn
zipWith3Conjure.Utils, Conjure.Expr, Conjure.Defn
zipWith4Conjure.Utils, Conjure.Expr, Conjure.Defn
zipWith5Conjure.Utils, Conjure.Expr, Conjure.Defn
zipWith6Conjure.Utils, Conjure.Expr, Conjure.Defn
zipWith7Conjure.Utils, Conjure.Expr, Conjure.Defn
zzConjure.Expr, Conjure.Defn, Conjure.Engine
zzsConjure.Expr, Conjure.Defn, Conjure.Engine
\\Conjure.Utils, Conjure.Expr, Conjure.Defn