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

Index - I

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