Index
| !! | Conjure.Utils, Conjure.Expr |
| $ | Conjure.Utils, Conjure.Expr |
| $$ | Conjure.Expr, Conjure.Engine |
| & | Conjure.Utils, Conjure.Expr |
| ++ | Conjure.Utils, Conjure.Expr |
| -$- | Conjure.Expr, Conjure.Engine |
| -&&- | Conjure.Expr, Conjure.Engine |
| -*- | Conjure.Expr, Conjure.Engine |
| -++- | Conjure.Expr, Conjure.Engine |
| -+- | Conjure.Expr, Conjure.Engine |
| -/=- | Conjure.Expr, Conjure.Engine |
| -:- | Conjure.Expr, Conjure.Engine |
| -<- | Conjure.Expr, Conjure.Engine |
| -<=- | Conjure.Expr, Conjure.Engine |
| -==>- | Conjure.Expr, Conjure.Engine |
| ->:: | Conjure.Engine |
| -?- | Conjure.Expr, Conjure.Engine |
| -|- | Conjure.Expr, Conjure.Engine |
| -||- | Conjure.Expr, Conjure.Engine |
| . | Conjure.Utils, Conjure.Expr |
| // | Conjure.Expr, Conjure.Engine |
| //- | Conjure.Expr, Conjure.Engine |
| :$ | Conjure.Expr, Conjure.Engine |
| :~: | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| :~~: | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| <> | Conjure.Utils, Conjure.Expr |
| abs' | Conjure.Expr, Conjure.Engine |
| absE | Conjure.Expr, Conjure.Engine |
| ae | Conjure.Expr, Conjure.Engine |
| All | |
| 1 (Data Constructor) | Conjure.Utils, Conjure.Expr |
| 2 (Type/Class) | Conjure.Utils, Conjure.Expr |
| all | Conjure.Utils, Conjure.Expr |
| Alt | |
| 1 (Data Constructor) | Conjure.Utils, Conjure.Expr |
| 2 (Type/Class) | Conjure.Utils, Conjure.Expr |
| and | Conjure.Utils, Conjure.Expr |
| and' | Conjure.Expr, Conjure.Engine |
| andE | Conjure.Expr, Conjure.Engine |
| Any | |
| 1 (Data Constructor) | Conjure.Utils, Conjure.Expr |
| 2 (Type/Class) | Conjure.Utils, Conjure.Expr |
| any | Conjure.Utils, Conjure.Expr |
| Ap | |
| 1 (Data Constructor) | Conjure.Utils, Conjure.Expr |
| 2 (Type/Class) | Conjure.Utils, Conjure.Expr |
| apparentlyTerminates | Conjure.Expr |
| append | Conjure.Engine |
| appEndo | Conjure.Utils, Conjure.Expr |
| applicationOld | Conjure.Expr |
| Args | |
| 1 (Type/Class) | Conjure.Engine, Conjure |
| 2 (Data Constructor) | Conjure.Engine, Conjure |
| args | Conjure.Engine, Conjure |
| argumentTy | Conjure.Engine |
| arity | Conjure.Expr, Conjure.Engine |
| bee | Conjure.Expr, Conjure.Engine |
| Binds | Conjure.Engine |
| boolTy | Conjure.Engine |
| break | Conjure.Utils, Conjure.Expr |
| bs_ | Conjure.Expr, Conjure.Engine |
| b_ | Conjure.Expr, Conjure.Engine |
| candidateExprs | Conjure.Engine |
| canonicalApplication | Conjure.Conjurable |
| canonicalEqn | Conjure.Engine |
| canonicalization | Conjure.Expr, Conjure.Engine |
| canonicalizationWith | Conjure.Expr, Conjure.Engine |
| canonicalize | Conjure.Expr, Conjure.Engine |
| canonicalizeEqn | Conjure.Engine |
| canonicalizeWith | Conjure.Expr, Conjure.Engine |
| canonicalRule | Conjure.Engine |
| canonicalVarApplication | Conjure.Conjurable |
| canonicalVariations | Conjure.Expr, Conjure.Engine |
| canReduceTo | Conjure.Engine |
| cast | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| catMaybes | Conjure.Utils, Conjure.Expr |
| cc | Conjure.Expr, Conjure.Engine |
| ccs | Conjure.Expr, Conjure.Engine |
| cee | Conjure.Expr, Conjure.Engine |
| classesFromSchemas | Conjure.Engine |
| classesFromSchemasAndVariables | Conjure.Engine |
| closureLimit | Conjure.Engine |
| collapse | Conjure.Engine |
| comma | Conjure.Expr, Conjure.Engine |
| compare' | Conjure.Expr, Conjure.Engine |
| compareComplexity | Conjure.Expr, Conjure.Engine |
| compareComplexityThenIndex | Conjure.Engine |
| compareE | Conjure.Engine |
| compareLexicographically | Conjure.Expr, Conjure.Engine |
| compareLexicographicallyBy | Conjure.Engine |
| compareQuickly | Conjure.Expr, Conjure.Engine |
| compareSimplicity | Conjure.Expr |
| compareTy | Conjure.Engine |
| complete | Conjure.Engine |
| compose | Conjure.Engine |
| concat | Conjure.Utils, Conjure.Expr |
| concatMap | Conjure.Utils, Conjure.Expr |
| condEqual | Conjure.Engine |
| condEqualM | Conjure.Engine |
| conditionalEquivalences | Conjure.Engine |
| conditionalTheoryFromThyAndReps | Conjure.Engine |
| conjpure | Conjure.Engine, Conjure |
| conjpureWith | Conjure.Engine, Conjure |
| Conjurable | Conjure.Conjurable, Conjure |
| conjure | Conjure.Engine, Conjure |
| conjureArgumentHoles | Conjure.Conjurable |
| conjureEquality | Conjure.Conjurable, Conjure |
| conjureHoles | Conjure.Conjurable |
| conjureIfs | Conjure.Conjurable |
| conjureMkEquation | Conjure.Conjurable |
| conjureSubTypes | Conjure.Conjurable |
| conjureTiers | Conjure.Conjurable, Conjure |
| conjureTiersFor | Conjure.Conjurable |
| conjureType | Conjure.Conjurable |
| conjureWith | Conjure.Engine, Conjure |
| conjureWithMaxSize | Conjure.Engine, Conjure |
| cons | Conjure.Expr, Conjure.Engine |
| consBool | Conjure.Expr, Conjure.Engine |
| consChar | Conjure.Expr, Conjure.Engine |
| consider | Conjure.Engine |
| consInt | Conjure.Expr, Conjure.Engine |
| const | Conjure.Utils, Conjure.Expr |
| const' | Conjure.Expr, Conjure.Engine |
| consts | Conjure.Expr, Conjure.Engine |
| count | Conjure.Utils, Conjure.Expr |
| criticalPairs | Conjure.Engine |
| curry | Conjure.Utils, Conjure.Expr |
| cycle | Conjure.Utils, Conjure.Expr |
| c_ | Conjure.Expr, Conjure.Engine |
| dd | Conjure.Expr, Conjure.Engine |
| deduce | Conjure.Engine |
| dee | Conjure.Expr, Conjure.Engine |
| defaultKeep | Conjure.Engine |
| delete | |
| 1 (Function) | Conjure.Utils, Conjure.Expr |
| 2 (Function) | Conjure.Engine |
| deleteBy | Conjure.Utils, Conjure.Expr |
| deleteFirstsBy | Conjure.Utils, Conjure.Expr |
| depth | Conjure.Expr, Conjure.Engine |
| deriveExpress | Conjure.Expr, Conjure.Engine |
| deriveExpressCascading | Conjure.Expr, Conjure.Engine |
| deriveExpressIfNeeded | Conjure.Expr, Conjure.Engine |
| deriveName | Conjure.Expr, Conjure.Engine |
| deriveNameCascading | Conjure.Expr, Conjure.Engine |
| deriveNameIfNeeded | Conjure.Expr, Conjure.Engine |
| discardRedundantEquations | Conjure.Engine |
| distinctFromSchemas | Conjure.Engine |
| drop | Conjure.Utils, Conjure.Expr |
| dropWhile | Conjure.Utils, Conjure.Expr |
| dropWhileEnd | Conjure.Utils, Conjure.Expr |
| Dual | |
| 1 (Data Constructor) | Conjure.Utils, Conjure.Expr |
| 2 (Type/Class) | Conjure.Utils, Conjure.Expr |
| dwoBy | Conjure.Engine |
| elem | Conjure.Utils, Conjure.Expr |
| elem' | Conjure.Expr, Conjure.Engine |
| elementTy | Conjure.Engine |
| elemIndex | Conjure.Utils, Conjure.Expr |
| elemIndices | Conjure.Utils, Conjure.Expr |
| emptyString | Conjure.Expr, Conjure.Engine |
| emptyThy | Conjure.Engine |
| Endo | |
| 1 (Data Constructor) | Conjure.Utils, Conjure.Expr |
| 2 (Type/Class) | Conjure.Utils, Conjure.Expr |
| eqT | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| equal | Conjure.Engine |
| equations | Conjure.Engine |
| equivalencesBetween | Conjure.Engine |
| equivalent | Conjure.Engine |
| equivalentInstance | Conjure.Engine |
| etyp | Conjure.Expr, Conjure.Engine |
| eval | Conjure.Expr, Conjure.Engine |
| evaluate | Conjure.Expr, Conjure.Engine |
| even' | Conjure.Expr, Conjure.Engine |
| evl | Conjure.Expr, Conjure.Engine |
| expansions | Conjure.Engine |
| expansionsOfType | Conjure.Engine |
| expansionsWith | Conjure.Engine |
| Expr | Conjure.Expr, Conjure.Engine, Conjure |
| expr | Conjure.Expr, Conjure.Engine |
| Express | Conjure.Expr, Conjure.Engine |
| false | Conjure.Expr, Conjure.Engine |
| fastCanonicalVariations | Conjure.Expr, Conjure.Engine |
| fastMostGeneralVariation | Conjure.Expr, Conjure.Engine |
| fastMostSpecificVariation | Conjure.Expr, Conjure.Engine |
| ff | Conjure.Expr, Conjure.Engine |
| ffE | Conjure.Expr, Conjure.Engine |
| fill | Conjure.Expr, Conjure.Engine |
| filter | Conjure.Utils, Conjure.Expr |
| finalEquations | Conjure.Engine |
| finalize | Conjure.Engine |
| finalResultTy | Conjure.Engine |
| find | Conjure.Utils, Conjure.Expr |
| findIndex | Conjure.Utils, Conjure.Expr |
| findIndices | Conjure.Utils, Conjure.Expr |
| findValidApp | Conjure.Expr, Conjure.Engine |
| First | |
| 1 (Data Constructor) | Conjure.Utils, Conjure.Expr |
| 2 (Type/Class) | Conjure.Utils, Conjure.Expr |
| fix | Conjure.Utils, Conjure.Expr |
| flip | Conjure.Utils, Conjure.Expr |
| fold | Conjure.Expr, Conjure.Engine |
| foldApp | Conjure.Expr, Conjure.Engine |
| foldl | Conjure.Utils, Conjure.Expr |
| foldl' | Conjure.Utils, Conjure.Expr |
| foldl1 | Conjure.Utils, Conjure.Expr |
| foldl1' | Conjure.Utils, Conjure.Expr |
| foldPair | Conjure.Expr, Conjure.Engine |
| foldr | Conjure.Utils, Conjure.Expr |
| foldr1 | Conjure.Utils, Conjure.Expr |
| foldTrio | Conjure.Expr, Conjure.Engine |
| fromJust | Conjure.Utils, Conjure.Expr |
| fromMaybe | Conjure.Utils, Conjure.Expr |
| fst | Conjure.Utils, Conjure.Expr |
| funResultTy | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| funToVar | Conjure.Expr |
| funTyCon | Conjure.Engine |
| gcast | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| gcast1 | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| gcast2 | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| genericDrop | Conjure.Utils, Conjure.Expr |
| genericIndex | Conjure.Utils, Conjure.Expr |
| genericLength | Conjure.Utils, Conjure.Expr |
| genericReplicate | Conjure.Utils, Conjure.Expr |
| genericSplitAt | Conjure.Utils, Conjure.Expr |
| genericTake | Conjure.Utils, Conjure.Expr |
| getAll | Conjure.Utils, Conjure.Expr |
| getAlt | Conjure.Utils, Conjure.Expr |
| getAny | Conjure.Utils, Conjure.Expr |
| getAp | Conjure.Utils, Conjure.Expr |
| getDual | Conjure.Utils, Conjure.Expr |
| getFirst | Conjure.Utils, Conjure.Expr |
| getLast | Conjure.Utils, Conjure.Expr |
| getProduct | Conjure.Utils, Conjure.Expr |
| getSum | Conjure.Utils, Conjure.Expr |
| gg | Conjure.Expr, Conjure.Engine |
| ggE | Conjure.Expr, Conjure.Engine |
| groundBinds | Conjure.Engine |
| grounds | Conjure.Engine |
| group | Conjure.Utils, Conjure.Expr |
| groupBy | Conjure.Utils, Conjure.Expr |
| hasCanonInstanceOf | Conjure.Engine |
| hasInstanceOf | Conjure.Expr, Conjure.Engine |
| hasVar | Conjure.Expr, Conjure.Engine |
| head | Conjure.Utils, Conjure.Expr |
| head' | Conjure.Expr, Conjure.Engine |
| height | Conjure.Expr, Conjure.Engine |
| hole | Conjure.Expr, Conjure.Engine |
| holeAsTypeOf | Conjure.Expr, Conjure.Engine |
| holeOfTy | Conjure.Engine |
| holes | Conjure.Expr, Conjure.Engine |
| HRefl | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| id | Conjure.Utils, Conjure.Expr |
| id' | Conjure.Expr, Conjure.Engine |
| idBool | Conjure.Expr, Conjure.Engine |
| idBools | Conjure.Expr, Conjure.Engine |
| idChar | Conjure.Expr, Conjure.Engine |
| idE | Conjure.Expr, Conjure.Engine |
| idInt | Conjure.Expr, Conjure.Engine |
| idInts | Conjure.Expr, Conjure.Engine |
| idString | Conjure.Expr, Conjure.Engine |
| if' | Conjure.Expr, Conjure.Engine |
| ifFor | Conjure.Expr |
| ii | Conjure.Expr, Conjure.Engine |
| ii' | Conjure.Expr, Conjure.Engine |
| implies | Conjure.Expr, Conjure.Engine |
| inequal | Conjure.Engine |
| init | Conjure.Utils, Conjure.Expr |
| initialize | Conjure.Engine |
| inits | Conjure.Utils, Conjure.Expr |
| insert | |
| 1 (Function) | Conjure.Utils, Conjure.Expr |
| 2 (Function) | Conjure.Engine |
| insert' | Conjure.Expr, Conjure.Engine |
| insertBy | Conjure.Utils, Conjure.Expr |
| Instances | Conjure.Engine |
| intercalate | Conjure.Utils, Conjure.Expr |
| intersect | Conjure.Utils, Conjure.Expr |
| intersectBy | Conjure.Utils, Conjure.Expr |
| intersperse | Conjure.Utils, Conjure.Expr |
| intTy | Conjure.Engine |
| isApp | Conjure.Expr, Conjure.Engine |
| isAssignment | Conjure.Engine |
| isCanonical | Conjure.Expr, Conjure.Engine |
| isCanonicalWith | Conjure.Expr, Conjure.Engine |
| isCanonInstanceOf | Conjure.Engine |
| isConst | Conjure.Expr, Conjure.Engine |
| isConstantNamed | Conjure.Engine |
| isEq | Conjure.Expr, Conjure.Engine |
| isEqOrd | Conjure.Expr, Conjure.Engine |
| isEqOrdT | Conjure.Expr, Conjure.Engine |
| isEqT | Conjure.Expr, Conjure.Engine |
| isEquation | Conjure.Engine |
| isFalse | Conjure.Engine |
| isFun | Conjure.Expr, Conjure.Engine |
| isFunTy | Conjure.Engine |
| isGround | Conjure.Expr, Conjure.Engine |
| isHole | Conjure.Expr, Conjure.Engine |
| isIllTyped | Conjure.Expr, Conjure.Engine |
| isInfixOf | Conjure.Utils, Conjure.Expr |
| isInstanceOf | Conjure.Expr, Conjure.Engine |
| isJust | Conjure.Utils, Conjure.Expr |
| isListable | Conjure.Engine |
| isListableT | Conjure.Engine |
| isNormal | Conjure.Engine |
| isNothing | Conjure.Utils, Conjure.Expr |
| isOrd | Conjure.Expr, Conjure.Engine |
| isOrdT | Conjure.Expr, Conjure.Engine |
| isPrefixOf | Conjure.Utils, Conjure.Expr |
| isRootNormal | Conjure.Engine |
| isRootNormalE | Conjure.Engine |
| isSubexprOf | Conjure.Expr, Conjure.Engine |
| isSubsequenceOf | Conjure.Utils, Conjure.Expr |
| isSuffixOf | Conjure.Utils, Conjure.Expr |
| isTrue | Conjure.Engine |
| isValue | Conjure.Expr, Conjure.Engine |
| isVar | Conjure.Expr, Conjure.Engine |
| isWellTyped | Conjure.Expr, Conjure.Engine |
| is_ | Conjure.Expr, Conjure.Engine |
| iterate | Conjure.Utils, Conjure.Expr |
| iterate' | Conjure.Utils, Conjure.Expr |
| i_ | Conjure.Expr, Conjure.Engine |
| jj | Conjure.Expr, Conjure.Engine |
| Just | Conjure.Utils, Conjure.Expr |
| just | Conjure.Expr, Conjure.Engine |
| justBool | Conjure.Expr, Conjure.Engine |
| justInt | Conjure.Expr, Conjure.Engine |
| keepE | Conjure.Engine |
| keepMaxOf | Conjure.Engine |
| keepUpToLength | Conjure.Engine |
| kk | Conjure.Expr, Conjure.Engine |
| Last | |
| 1 (Data Constructor) | Conjure.Utils, Conjure.Expr |
| 2 (Type/Class) | Conjure.Utils, Conjure.Expr |
| last | Conjure.Utils, Conjure.Expr |
| length | Conjure.Utils, Conjure.Expr |
| length' | Conjure.Expr, Conjure.Engine |
| less | Conjure.Engine |
| lessOrEqual | Conjure.Engine |
| lineBreak | Conjure.Expr, Conjure.Engine |
| lines | Conjure.Utils, Conjure.Expr |
| listToMaybe | Conjure.Utils, Conjure.Expr |
| listVars | Conjure.Expr, Conjure.Engine |
| listVarsAsTypeOf | Conjure.Expr, Conjure.Engine |
| listVarsWith | Conjure.Expr, Conjure.Engine |
| ll | Conjure.Expr, Conjure.Engine |
| lookup | Conjure.Utils, Conjure.Expr |
| lookupComparison | Conjure.Expr, Conjure.Engine |
| lookupName | Conjure.Expr, Conjure.Engine |
| lookupNames | Conjure.Expr, Conjure.Engine |
| lookupTiers | Conjure.Engine |
| lookupTiersT | Conjure.Engine |
| map | Conjure.Utils, Conjure.Expr |
| mapAccumL | Conjure.Utils, Conjure.Expr |
| mapAccumR | Conjure.Utils, Conjure.Expr |
| mapConsts | Conjure.Expr, Conjure.Engine |
| mapMaybe | Conjure.Utils, Conjure.Expr |
| mappend | Conjure.Utils, Conjure.Expr |
| mapSubexprs | Conjure.Expr, Conjure.Engine |
| mapValues | Conjure.Expr, Conjure.Engine |
| mapVars | Conjure.Expr, Conjure.Engine |
| match | Conjure.Expr, Conjure.Engine |
| matchWith | Conjure.Expr, Conjure.Engine |
| maxEquationSize | Conjure.Engine, Conjure |
| maximum | Conjure.Utils, Conjure.Expr |
| maximumBy | Conjure.Utils, Conjure.Expr |
| maxRecursionSize | Conjure.Engine, Conjure |
| maxRecursiveCalls | Conjure.Engine, Conjure |
| maxSearchTests | Conjure.Engine, Conjure |
| maxSize | Conjure.Engine, Conjure |
| maxTests | Conjure.Engine, Conjure |
| Maybe | Conjure.Utils, Conjure.Expr |
| maybe | Conjure.Utils, Conjure.Expr |
| maybeHoleOfTy | Conjure.Engine |
| maybeToList | Conjure.Utils, Conjure.Expr |
| mayNotEvaluateArgument | Conjure.Expr |
| mconcat | Conjure.Utils, Conjure.Expr |
| mempty | Conjure.Utils, Conjure.Expr |
| minimum | Conjure.Utils, Conjure.Expr |
| minimumBy | Conjure.Utils, Conjure.Expr |
| minusOne | Conjure.Expr, Conjure.Engine |
| minusTwo | Conjure.Expr, Conjure.Engine |
| mkCompareTy | Conjure.Engine |
| mkComparison | Conjure.Expr, Conjure.Engine |
| mkComparisonLE | Conjure.Expr, Conjure.Engine |
| mkComparisonLT | Conjure.Expr, Conjure.Engine |
| mkComparisonTy | Conjure.Engine |
| mkConditionalEquation | Conjure.Engine |
| mkEq | Conjure.Expr, Conjure.Engine |
| mkEquation | Conjure.Expr, Conjure.Engine |
| mkFunTy | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| mkListable | Conjure.Engine |
| mkName | Conjure.Expr, Conjure.Engine |
| mkNameWith | Conjure.Expr, Conjure.Engine |
| mkOrd | Conjure.Expr, Conjure.Engine |
| mkOrdLessEqual | Conjure.Expr, Conjure.Engine |
| mm | Conjure.Expr, Conjure.Engine |
| Monoid | Conjure.Utils, Conjure.Expr |
| mostGeneralCanonicalVariation | Conjure.Expr, Conjure.Engine |
| mostSpecificCanonicalVariation | Conjure.Expr, Conjure.Engine |
| mtyp | Conjure.Expr, Conjure.Engine |
| Name | Conjure.Expr, Conjure.Engine |
| name | Conjure.Expr, Conjure.Engine |
| names | Conjure.Expr, Conjure.Engine |
| negate' | Conjure.Expr, Conjure.Engine |
| negateE | Conjure.Expr, Conjure.Engine |
| nil | Conjure.Expr, Conjure.Engine |
| nilBool | Conjure.Expr, Conjure.Engine |
| nilChar | Conjure.Expr, Conjure.Engine |
| nilInt | Conjure.Expr, Conjure.Engine |
| nn | Conjure.Expr, Conjure.Engine |
| normalize | Conjure.Engine |
| normalizedCriticalPairs | Conjure.Engine |
| normalizeE | Conjure.Engine |
| not' | Conjure.Expr, Conjure.Engine |
| notE | Conjure.Expr, Conjure.Engine |
| notElem | Conjure.Utils, Conjure.Expr |
| Nothing | Conjure.Utils, Conjure.Expr |
| nothing | Conjure.Expr, Conjure.Engine |
| nothingBool | Conjure.Expr, Conjure.Engine |
| nothingInt | Conjure.Expr, Conjure.Engine |
| nub | Conjure.Utils, Conjure.Expr |
| nubBy | Conjure.Utils, Conjure.Expr |
| nubConsts | Conjure.Expr, Conjure.Engine |
| nubHoles | Conjure.Expr, Conjure.Engine |
| nubOn | Conjure.Utils, Conjure.Expr |
| nubSubexprs | Conjure.Expr, Conjure.Engine |
| nubValues | Conjure.Expr, Conjure.Engine |
| nubVars | Conjure.Expr, Conjure.Engine |
| null | Conjure.Utils, Conjure.Expr |
| null' | Conjure.Expr, Conjure.Engine |
| odd' | Conjure.Expr, Conjure.Engine |
| okThy | Conjure.Engine |
| on | Conjure.Utils, Conjure.Expr |
| one | Conjure.Expr, Conjure.Engine |
| or | Conjure.Utils, Conjure.Expr |
| or' | Conjure.Expr, Conjure.Engine |
| ord' | Conjure.Expr, Conjure.Engine |
| ordE | Conjure.Expr, Conjure.Engine |
| orderingTy | Conjure.Engine |
| orE | Conjure.Expr, Conjure.Engine |
| orient | Conjure.Engine |
| pair | Conjure.Expr, Conjure.Engine |
| partition | Conjure.Utils, Conjure.Expr |
| permutations | Conjure.Utils, Conjure.Expr |
| plus | Conjure.Expr, Conjure.Engine |
| pp | Conjure.Expr, Conjure.Engine |
| pp' | Conjure.Expr, Conjure.Engine |
| pps | Conjure.Expr, Conjure.Engine |
| preludeInstances | Conjure.Engine |
| preludeNameInstances | Conjure.Expr, Conjure.Engine |
| printThy | Conjure.Engine |
| Product | |
| 1 (Data Constructor) | Conjure.Utils, Conjure.Expr |
| 2 (Type/Class) | Conjure.Utils, Conjure.Expr |
| product | Conjure.Utils, Conjure.Expr |
| product' | Conjure.Expr, Conjure.Engine |
| Proxy | |
| 1 (Data Constructor) | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| 2 (Type/Class) | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| psortBy | Conjure.Engine |
| Conjure.Expr, Conjure.Engine | |
| qqs | Conjure.Expr, Conjure.Engine |
| quadruple | Conjure.Expr, Conjure.Engine |
| quintuple | Conjure.Expr, Conjure.Engine |
| recursexpr | Conjure.Expr |
| reductions1 | Conjure.Engine |
| Refl | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| Reification | Conjure.Conjurable |
| Reification1 | Conjure.Conjurable |
| reifyEq | Conjure.Expr, Conjure.Engine |
| reifyEqOrd | Conjure.Expr, Conjure.Engine |
| reifyEquality | Conjure.Conjurable, Conjure |
| reifyInstances | Conjure.Engine |
| reifyInstances1 | Conjure.Engine |
| reifyListable | Conjure.Engine |
| reifyName | Conjure.Expr, Conjure.Engine |
| reifyOrd | Conjure.Expr, Conjure.Engine |
| reifyTiers | Conjure.Conjurable, Conjure |
| renameVarsBy | Conjure.Expr, Conjure.Engine |
| repeat | Conjure.Utils, Conjure.Expr |
| replicate | Conjure.Utils, Conjure.Expr |
| representativesFromAtoms | Conjure.Engine |
| representativesFromAtomsKeeping | Conjure.Engine |
| resultTy | Conjure.Engine |
| reverse | Conjure.Utils, Conjure.Expr |
| rnfTyCon | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| rnfTypeRep | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| rr | Conjure.Expr, Conjure.Engine |
| rules | Conjure.Engine |
| scanl | Conjure.Utils, Conjure.Expr |
| scanl' | Conjure.Utils, Conjure.Expr |
| scanl1 | Conjure.Utils, Conjure.Expr |
| scanr | Conjure.Utils, Conjure.Expr |
| scanr1 | Conjure.Utils, Conjure.Expr |
| semiTheoryFromThyAndReps | Conjure.Engine |
| showExpr | Conjure.Expr, Conjure.Engine |
| showOpExpr | Conjure.Expr, Conjure.Engine |
| showPrecExpr | Conjure.Expr, Conjure.Engine |
| showsTypeRep | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| showThy | Conjure.Engine |
| simplify | Conjure.Engine |
| sixtuple | Conjure.Expr, Conjure.Engine |
| size | Conjure.Expr, Conjure.Engine |
| snd | Conjure.Utils, Conjure.Expr |
| sort | Conjure.Utils, Conjure.Expr |
| sort' | Conjure.Expr, Conjure.Engine |
| sortBy | Conjure.Utils, Conjure.Expr |
| sortOn | Conjure.Utils, Conjure.Expr |
| space | Conjure.Expr, Conjure.Engine |
| span | Conjure.Utils, Conjure.Expr |
| splitAt | Conjure.Utils, Conjure.Expr |
| splitTyConApp | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| stripPrefix | Conjure.Utils, Conjure.Expr |
| subConsequence | Conjure.Engine |
| subexprs | Conjure.Expr, Conjure.Engine |
| subsequences | Conjure.Utils, Conjure.Expr |
| Sum | |
| 1 (Data Constructor) | Conjure.Utils, Conjure.Expr |
| 2 (Type/Class) | Conjure.Utils, Conjure.Expr |
| sum | Conjure.Utils, Conjure.Expr |
| sum' | Conjure.Expr, Conjure.Engine |
| swap | Conjure.Utils, Conjure.Expr |
| tail | Conjure.Utils, Conjure.Expr |
| tail' | Conjure.Expr, Conjure.Engine |
| tails | Conjure.Utils, Conjure.Expr |
| take | Conjure.Utils, Conjure.Expr |
| takeWhile | Conjure.Utils, Conjure.Expr |
| theorize | Conjure.Engine |
| theorizeBy | Conjure.Engine |
| theoryAndRepresentativesFromAtoms | Conjure.Engine |
| theoryAndRepresentativesFromAtomsKeeping | Conjure.Engine |
| theoryFromAtoms | Conjure.Engine |
| theoryFromAtomsKeeping | Conjure.Engine |
| three | Conjure.Expr, Conjure.Engine |
| Thy | |
| 1 (Data Constructor) | Conjure.Engine |
| 2 (Type/Class) | Conjure.Engine |
| times | Conjure.Expr, Conjure.Engine |
| toDynamic | Conjure.Expr, Conjure.Engine |
| transpose | Conjure.Utils, Conjure.Expr |
| triple | Conjure.Expr, Conjure.Engine |
| true | Conjure.Expr, Conjure.Engine |
| trueRatio | Conjure.Engine |
| two | Conjure.Expr, Conjure.Engine |
| tyArity | Conjure.Engine |
| TyCon | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| tyConFingerprint | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| tyConModule | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| tyConName | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| tyConPackage | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| typ | Conjure.Expr, Conjure.Engine |
| Typeable | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| typeOf | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| typeOf1 | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| typeOf2 | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| typeOf3 | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| typeOf4 | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| typeOf5 | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| typeOf6 | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| typeOf7 | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| TypeRep | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| typeRep | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| typeRepArgs | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| typeRepFingerprint | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| typeRepTyCon | Conjure.Utils, Conjure.Expr, Conjure.Engine |
| typesIn | Conjure.Engine |
| typesInList | Conjure.Engine |
| unComparison | Conjure.Engine |
| unConditionalEquation | Conjure.Engine |
| uncons | Conjure.Utils, Conjure.Expr |
| uncurry | Conjure.Utils, Conjure.Expr |
| unEquation | Conjure.Engine |
| unfold | Conjure.Expr, Conjure.Engine |
| unfoldApp | Conjure.Expr, Conjure.Engine |
| unfoldPair | Conjure.Expr, Conjure.Engine |
| unfoldr | Conjure.Utils, Conjure.Expr |
| unfoldTrio | Conjure.Expr, Conjure.Engine |
| unFunTy | Conjure.Engine |
| unification | Conjure.Engine |
| unify | Conjure.Engine |
| union | Conjure.Utils, Conjure.Expr |
| unionBy | Conjure.Utils, Conjure.Expr |
| unit | Conjure.Expr, Conjure.Engine |
| unlines | Conjure.Utils, Conjure.Expr |
| unrepeatedVars | Conjure.Engine |
| unwords | Conjure.Utils, Conjure.Expr |
| unzip | Conjure.Utils, Conjure.Expr |
| unzip3 | Conjure.Utils, Conjure.Expr |
| unzip4 | Conjure.Utils, Conjure.Expr |
| unzip5 | Conjure.Utils, Conjure.Expr |
| unzip6 | Conjure.Utils, Conjure.Expr |
| unzip7 | Conjure.Utils, Conjure.Expr |
| updateEquationsBy | Conjure.Engine |
| updateRulesBy | Conjure.Engine |
| val | Conjure.Expr, Conjure.Engine, Conjure |
| validApps | Conjure.Expr, Conjure.Engine |
| Value | Conjure.Expr, Conjure.Engine |
| value | Conjure.Expr, Conjure.Engine, Conjure |
| values | Conjure.Expr, Conjure.Engine |
| var | Conjure.Expr, Conjure.Engine |
| varAsTypeOf | Conjure.Expr, Conjure.Engine |
| variableNamesFromTemplate | Conjure.Expr, Conjure.Engine |
| vars | Conjure.Expr, Conjure.Engine |
| words | Conjure.Utils, Conjure.Expr |
| xx | Conjure.Expr, Conjure.Engine |
| xx' | Conjure.Expr, Conjure.Engine |
| xxs | Conjure.Expr, Conjure.Engine |
| yy | Conjure.Expr, Conjure.Engine |
| yys | Conjure.Expr, Conjure.Engine |
| zero | Conjure.Expr, Conjure.Engine |
| zip | Conjure.Utils, Conjure.Expr |
| zip3 | Conjure.Utils, Conjure.Expr |
| zip4 | Conjure.Utils, Conjure.Expr |
| zip5 | Conjure.Utils, Conjure.Expr |
| zip6 | Conjure.Utils, Conjure.Expr |
| zip7 | Conjure.Utils, Conjure.Expr |
| zipWith | Conjure.Utils, Conjure.Expr |
| zipWith3 | Conjure.Utils, Conjure.Expr |
| zipWith4 | Conjure.Utils, Conjure.Expr |
| zipWith5 | Conjure.Utils, Conjure.Expr |
| zipWith6 | Conjure.Utils, Conjure.Expr |
| zipWith7 | Conjure.Utils, Conjure.Expr |
| zz | Conjure.Expr, Conjure.Engine |
| \\ | Conjure.Utils, Conjure.Expr |
| |==| | Conjure.Engine |
| |> | Conjure.Engine |