Index
| !! | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| !? | 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 |
| A | Conjure.Conjurable, Conjure |
| abs' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| absE | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| actual | Conjure.Settings |
| ae | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| All | |
| 1 (Type/Class) | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| 2 (Data Constructor) | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| all | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| allEqual | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| allEqual2 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| allEqualOn | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| Alt | |
| 1 (Type/Class) | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| 2 (Data Constructor) | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| and | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| and' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| andE | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| Any | |
| 1 (Type/Class) | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| 2 (Data Constructor) | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| any | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| Ap | |
| 1 (Type/Class) | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| 2 (Data Constructor) | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| apparentlyTerminates | Conjure.Expr, Conjure.Defn |
| appendInt | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| appEndo | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| applyWhen | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| arity | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| assortedPruningI | Conjure.Settings |
| atomicNumbersI | Conjure.Settings |
| B | Conjure.Conjurable, Conjure |
| bee | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| bindings | Conjure.Engine, Conjure |
| Bndn | Conjure.Defn |
| both | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| break | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| bs_ | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| b_ | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| C | Conjure.Conjurable, Conjure |
| candidateDeconstructionsFrom | Conjure.Red |
| candidateDeconstructionsFromHoled | Conjure.Red |
| candidateDefns | Conjure.Engine |
| candidateExprs | Conjure.Engine |
| candidatess | Conjure.Engine, Conjure |
| caneta | Conjure.Defn |
| canonicalization | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| canonicalizationWith | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| canonicalize | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| canonicalizeBndn | Conjure.Defn |
| canonicalizeBndnLast | Conjure.Defn |
| canonicalizeWith | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| canonicalVariations | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| canReduceTo | Conjure.Reason, Conjure.Engine |
| carryOn | Conjure.Settings, Conjure.Engine, Conjure |
| carryOnI | Conjure.Settings |
| caseBool | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| caseForOrd | Conjure.Expr, Conjure.Defn |
| caseOrdering | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| cast | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| catMaybes | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| cc | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| ccs | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| cee | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| ceval | Conjure.Conjurable |
| cevaluate | Conjure.Conjurable |
| cevl | Conjure.Conjurable |
| choices | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| choicesThat | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| cjAreEqual | Conjure.Ingredient |
| cjHoles | Conjure.Ingredient |
| cjMkEquation | Conjure.Ingredient |
| cjTiersFor | Conjure.Ingredient |
| classify | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| classifyBy | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| classifyOn | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| closureLimit | Conjure.Reason, Conjure.Engine |
| comma | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| commutativeOperators | Conjure.Reason, Conjure.Engine |
| compare' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| compareComplexity | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| compareLexicographically | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| compareQuickly | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| compareSimplicity | Conjure.Expr, Conjure.Defn |
| compose | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| con | Conjure.Ingredient, Conjure |
| concat | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| concatMap | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| conflicts | Conjure.Expr, Conjure.Defn |
| conjpure | Conjure.Engine, Conjure |
| conjpure0 | Conjure.Engine |
| conjpureFromSpec | Conjure.Engine |
| Conjurable | Conjure.Conjurable, Conjure |
| conjure | Conjure.Engine, Conjure |
| conjure0 | Conjure.Engine |
| conjureApplication | Conjure.Conjurable |
| conjureAreEqual | Conjure.Conjurable |
| conjureArgumentCases | Conjure.Conjurable |
| conjureArgumentHoles | Conjure.Conjurable |
| conjureArgumentPats | Conjure.Conjurable |
| conjureArgumentPatterns | Conjure.Conjurable |
| conjureCases | Conjure.Conjurable, Conjure |
| conjureCasesFor | Conjure.Conjurable |
| conjureDynamicEq | Conjure.Conjurable |
| conjureEquality | Conjure.Conjurable, Conjure |
| conjureEvaluate | Conjure.Conjurable |
| conjureExpress | Conjure.Conjurable, Conjure |
| conjureFromSpec | Conjure.Engine, Conjure |
| conjureGrounds | Conjure.Conjurable |
| conjureGuard | Conjure.Conjurable |
| conjureHoles | Conjure.Conjurable |
| conjureIf | Conjure.Conjurable |
| conjureIsDeconstruction | Conjure.Red |
| conjureIsNumeric | Conjure.Conjurable |
| conjureIsUnbreakable | Conjure.Conjurable |
| conjureListFor | Conjure.Conjurable |
| conjureMkEquation | Conjure.Conjurable |
| conjureMostGeneralCanonicalVariation | Conjure.Conjurable |
| conjurePats | Conjure.Conjurable |
| conjurePatternsDebug | Conjure.Conjurable |
| conjurePatternsFor | Conjure.Conjurable |
| conjureReification | Conjure.Conjurable |
| conjureReification1 | Conjure.Conjurable |
| conjureSize | Conjure.Conjurable, Conjure |
| conjureSizeFor | Conjure.Conjurable |
| conjureSubTypes | Conjure.Conjurable, Conjure |
| conjureTestDefn | Conjure.Conjurable |
| conjureTiers | Conjure.Conjurable, Conjure |
| conjureTiersFor | Conjure.Conjurable |
| conjureType | Conjure.Conjurable, Conjure |
| conjureVarApplication | Conjure.Conjurable |
| cons | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| consBool | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| consChar | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| consInt | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| const | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| const' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| consts | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| copyBindingsI | Conjure.Settings |
| count | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| cs_ | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| curry | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| cycle | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| c_ | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| D | Conjure.Conjurable, Conjure |
| dd | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| deconstructions | Conjure.Engine, Conjure |
| decT | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| dee | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| Defn | Conjure.Defn |
| defnApparentlyTerminates | Conjure.Defn |
| deholings | Conjure.Expr, Conjure.Defn |
| delete | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| deleteBy | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| deleteFirstsBy | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| depth | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| deriveConjurable | Conjure.Conjurable.Derive, Conjure |
| deriveConjurableCascading | Conjure.Conjurable.Derive, Conjure |
| deriveConjurableIfNeeded | Conjure.Conjurable.Derive, Conjure |
| deriveExpress | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| deriveExpressCascading | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| deriveExpressIfNeeded | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| deriveName | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| deriveNameCascading | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| deriveNameIfNeeded | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| descends | Conjure.Red |
| deval | Conjure.Defn |
| devalFast | Conjure.Defn |
| devaluate | Conjure.Defn |
| devl | Conjure.Defn |
| digApp | Conjure.Expr, Conjure.Defn |
| div' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| divE | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| dontCopyBindings | Conjure.Settings, Conjure.Engine, Conjure |
| dontRequireDescent | Conjure.Settings, Conjure.Engine, Conjure |
| dontRewrite | Conjure.Settings, Conjure.Engine, Conjure |
| doubleCheck | Conjure.Reason, Conjure.Engine |
| drop | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| drop' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| dropWhile | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| dropWhileEnd | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| Dual | |
| 1 (Type/Class) | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| 2 (Data Constructor) | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| E | Conjure.Conjurable, Conjure |
| earlyTestsI | Conjure.Settings |
| eight | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| elem | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| elem' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| elemIndex | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| elemIndices | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| eleven | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| emptyString | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| encompasses | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| Endo | |
| 1 (Type/Class) | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| 2 (Data Constructor) | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| enumerateAppsFor | Conjure.Expr, Conjure.Defn |
| enumerateFillings | Conjure.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 |
| eqT | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| equalModuloTesting | Conjure.Defn.Test |
| equations | Conjure.Reason, Conjure.Engine |
| erroneousCandidate | Conjure.Defn.Test |
| etaReduce | Conjure.Defn |
| etyp | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| eval | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| evaluate | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| even' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| evl | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| Expr | Conjure.Expr, Conjure.Defn, Conjure.Engine, Conjure |
| expr | Conjure.Expr, Conjure.Defn, Conjure.Conjurable, Conjure.Engine, Conjure |
| Express | Conjure.Expr, Conjure.Defn, Conjure.Conjurable, Conjure.Engine, Conjure |
| extractApp | Conjure.Expr, Conjure.Defn |
| F | Conjure.Conjurable, Conjure |
| false | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| fastCanonicalVariations | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| fastMostGeneralVariation | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| fastMostSpecificVariation | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| ff | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| ff2 | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| ff3 | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| ff4 | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| ffE | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| fill | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| fillBFS | Conjure.Expr, Conjure.Defn |
| filter | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| filter' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| find | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| findDefnError | Conjure.Defn.Test |
| findIndex | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| findIndices | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| findValidApp | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| First | |
| 1 (Type/Class) | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| 2 (Data Constructor) | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| first | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| five | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| fix | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| flip | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| fold | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| foldApp | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| foldl | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| foldl' | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| foldl1 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| foldl1' | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| foldPair | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| foldr | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| foldr' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| foldr0 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| foldr1 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| foldTrio | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| four | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| fromJust | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| fromMaybe | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| fst | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| fun | Conjure.Ingredient, Conjure |
| funResultTy | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| funToVar | Conjure.Expr, Conjure.Defn |
| gcast | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| gcast1 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| gcast2 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| genericDrop | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| genericIndex | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| genericLength | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| genericReplicate | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| genericSplitAt | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| genericTake | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| getAll | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| getAlt | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| getAny | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| getAp | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| getDual | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| getFirst | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| getLast | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| getProduct | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| getSolo | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| getSum | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| gg | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| ggE | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| groundBinds | Conjure.Expr, Conjure.Defn |
| grounds | Conjure.Expr, Conjure.Defn |
| group | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| groupBy | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| groupOn | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| guard | Conjure.Ingredient, Conjure |
| guardFor | Conjure.Expr, Conjure.Defn |
| hasAppInstanceOf | Conjure.Expr, Conjure.Defn |
| hasGuard | Conjure.Expr, Conjure.Defn |
| hasHole | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| hasInstanceOf | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| hasRedundantRecursion | Conjure.Defn.Redundancy |
| hasUnbound | Conjure.Defn |
| hasVar | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| hdecT | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| head | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| head' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| headOr | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| height | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| heqT | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| hh | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| hhE | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| hole | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| holeAsTypeOf | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| holes | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| holesBFS | Conjure.Expr, Conjure.Defn |
| HRefl | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| id | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| id' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| idBool | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| idBools | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| idChar | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| idE | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| idInt | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| idInts | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| idIO | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| idString | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| if' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| ifFor | Conjure.Expr, Conjure.Defn |
| ifToGuard | Conjure.Expr, Conjure.Defn |
| ii | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| ii' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| iif | Conjure.Ingredient, Conjure |
| implementationss | Conjure.Engine, Conjure |
| implies | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| indent | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| indentBy | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| Ingredient | Conjure.Ingredient, Conjure |
| init | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| init' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| inits | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| insert | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| insert' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| insertBy | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| intercalate | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| intersect | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| intersectBy | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| intersperse | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| introduceVariableAt | Conjure.Defn.Redundancy |
| invalid | Conjure.Reason, Conjure.Engine |
| isApp | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| isBaseCase | Conjure.Defn |
| isCanonical | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| isCanonicalWith | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| isCommutative | Conjure.Reason, Conjure.Engine |
| isComplete | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| isCompleteBndn | Conjure.Defn |
| isCompleteDefn | Conjure.Defn |
| isConst | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| isDefined | Conjure.Defn |
| isEq | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| isEqOrd | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| isEqOrdT | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| isEqT | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| isFun | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| isGround | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| isGuard | Conjure.Expr, Conjure.Defn |
| isGuardSymbol | Conjure.Expr, Conjure.Defn |
| isHole | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| isIllTyped | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| isInfixOf | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| isInstanceOf | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| isJust | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| isNegative | Conjure.Expr, Conjure.Defn |
| isNothing | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| isOrd | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| isOrdT | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| isPrefixOf | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| isRecursiveCase | Conjure.Defn |
| isRecursiveDefn | Conjure.Defn |
| isRedundantByIntroduction | Conjure.Defn.Redundancy |
| isRedundantByRepetition | Conjure.Defn.Redundancy |
| isRedundantBySubsumption | Conjure.Defn.Redundancy |
| isRedundantDefn | Conjure.Defn.Redundancy |
| isRedundantModuloRewriting | Conjure.Defn.Redundancy |
| isRootNormalC | Conjure.Reason, Conjure.Engine |
| isRootNormalE | Conjure.Reason, Conjure.Engine |
| isStrictSubexprOf | Conjure.Expr, Conjure.Defn |
| isSubexprOf | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| isSubsequenceOf | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| isSubsetOf | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| isSuffixOf | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| isUndefined | Conjure.Defn |
| isValue | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| isVar | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| isWellTyped | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| isZero | Conjure.Expr, Conjure.Defn |
| is_ | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| iterate | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| iterate' | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| i_ | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| jj | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| Just | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| just | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| justBool | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| justInt | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| kk | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| Last | |
| 1 (Type/Class) | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| 2 (Data Constructor) | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| last | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| length | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| length' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| lineBreak | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| lines | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| listConflicts | Conjure.Expr, Conjure.Defn |
| listDefnErrors | Conjure.Defn.Test |
| listToMaybe | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| listVars | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| listVarsAsTypeOf | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| listVarsWith | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| ll | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| lookup | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| lookupComparison | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| lookupName | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| lookupNames | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| map | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| map' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| mapAccumL | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| mapAccumR | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| mapConsts | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| mapE | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| mapHead | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| mapInnerFirstOuterLast | Conjure.Expr, Conjure.Defn |
| mapMaybe | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| mappend | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| mapSubexprs | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| mapValues | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| mapVars | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| match | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| matchWith | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| maxConstantSize | Conjure.Settings, Conjure.Engine, Conjure |
| maxConstantSizeI | Conjure.Settings |
| maxDeconstructionSize | Conjure.Settings, Conjure.Engine, Conjure |
| maxDeconstructionSizeI | Conjure.Settings |
| maxEquationSize | Conjure.Settings, Conjure.Engine, Conjure |
| maxEquationSizeI | Conjure.Settings |
| maximum | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| maximumBy | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| maxPatternDepth | Conjure.Settings, Conjure.Engine, Conjure |
| maxPatternDepthI | Conjure.Settings |
| maxPatternSize | Conjure.Settings, Conjure.Engine, Conjure |
| maxPatternSizeI | Conjure.Settings |
| maxRecursions | Conjure.Settings, Conjure.Engine, Conjure |
| maxRecursionsI | Conjure.Settings |
| maxSearchTests | Conjure.Settings, Conjure.Engine, Conjure |
| maxSearchTestsI | Conjure.Settings |
| maxSize | Conjure.Settings, Conjure.Engine, Conjure |
| maxTests | Conjure.Settings, Conjure.Engine, Conjure |
| maxTestsI | Conjure.Settings |
| Maybe | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| maybe | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| maybeToList | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| mayNotEvaluateArgument | Conjure.Expr, Conjure.Defn |
| mconcat | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| mempty | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| minimum | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| minimumBy | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| minus | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| minusOne | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| minusTwo | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| mkComparison | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| mkComparisonLE | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| mkComparisonLT | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| mkEq | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| mkEquation | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| mkFunTy | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| mkName | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| mkNameWith | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| mkOrd | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| mkOrdLessEqual | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| mm | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| mod' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| modE | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| Monoid | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| mostGeneralCanonicalVariation | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| mostSpecificCanonicalVariation | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| mtyp | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| mzip | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| Name | Conjure.Expr, Conjure.Defn, Conjure.Conjurable, Conjure.Engine, Conjure |
| name | Conjure.Expr, Conjure.Defn, Conjure.Conjurable, Conjure.Engine, Conjure |
| names | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| negate' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| negateE | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| nil | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| nilBool | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| nilChar | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| nilInt | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| nine | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| nn | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| nonAtomicNumbers | Conjure.Settings, Conjure.Engine, Conjure |
| none | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| normalize | Conjure.Reason, Conjure.Engine |
| not' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| notE | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| notElem | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| Nothing | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| nothing | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| nothingBool | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| nothingInt | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| notNull | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| noUnbound | Conjure.Defn |
| nub | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| nubBy | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| nubConsts | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| nubHoles | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| nubOn | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| nubSort | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| nubSubexprs | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| nubValues | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| nubVars | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| null | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| null' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| odd' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| omitAssortedPruning | Conjure.Settings, Conjure.Engine, Conjure |
| omitEarlyTests | Conjure.Settings, Conjure.Engine, Conjure |
| on | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| one | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| oo | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| ooE | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| or | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| or' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| ord' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| ordcase | Conjure.Ingredient, Conjure |
| ordE | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| orE | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| pair | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| partition | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| patternss | Conjure.Engine, Conjure |
| permutations | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| plus | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| possibleHoles | Conjure.Expr, Conjure.Defn |
| pp | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| pp' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| pps | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| pr | Conjure.Ingredient, Conjure |
| preludeNameInstances | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| prif | Conjure.Ingredient |
| Prim | Conjure.Ingredient, Conjure |
| prim | Conjure.Ingredient, Conjure |
| primOrdCaseFor | Conjure.Ingredient |
| printDefn | Conjure.Defn |
| printThy | Conjure.Reason, Conjure.Engine |
| prods | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| Product | |
| 1 (Type/Class) | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| 2 (Data Constructor) | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| product | Conjure.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 |
| Conjure.Expr, Conjure.Defn, Conjure.Engine | |
| qqs | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| quadruple | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| question | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| quintuple | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| quot' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| quotE | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| recursexpr | Conjure.Expr, Conjure.Defn |
| Refl | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| rehole | Conjure.Expr, Conjure.Defn |
| Reification | Conjure.Conjurable |
| Reification1 | Conjure.Conjurable |
| reifyEq | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| reifyEqOrd | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| reifyEquality | Conjure.Conjurable, Conjure |
| reifyExpress | Conjure.Conjurable, Conjure |
| reifyName | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| reifyOrd | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| reifyTiers | Conjure.Conjurable, Conjure |
| rem' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| remE | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| renameVarsBy | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| repeat | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| replicate | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| requireDescentI | Conjure.Settings |
| Results | |
| 1 (Type/Class) | Conjure.Engine, Conjure |
| 2 (Data Constructor) | Conjure.Engine, Conjure |
| reval | Conjure.Expr, Conjure.Defn |
| revaluate | Conjure.Expr, Conjure.Defn |
| reverse | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| rewriteI | Conjure.Settings |
| rnfTyCon | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| rnfTypeRep | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| rr | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| rules | Conjure.Reason, Conjure.Engine |
| rvars | Conjure.Expr, Conjure.Defn |
| scanl | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| scanl' | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| scanl1 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| scanr | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| scanr1 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| second | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| sets | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| seven | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| showCandidates | Conjure.Settings, Conjure.Engine, Conjure |
| showCandidatesI | Conjure.Settings |
| showDeconstructions | Conjure.Settings, Conjure.Engine, Conjure |
| showDeconstructionsI | Conjure.Settings |
| showDefn | Conjure.Defn |
| showExpr | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| showOpExpr | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| showPatterns | Conjure.Settings, Conjure.Engine, Conjure |
| showPatternsI | Conjure.Settings |
| showPrecExpr | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| showsTypeRep | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| showTests | Conjure.Settings, Conjure.Engine, Conjure |
| showTestsI | Conjure.Settings |
| showTheory | Conjure.Settings, Conjure.Engine, Conjure |
| showTheoryI | Conjure.Settings |
| signum' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| signumE | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| simplifyDefn | Conjure.Defn.Redundancy |
| singlePattern | Conjure.Settings, Conjure.Engine, Conjure |
| singlePatternI | Conjure.Settings |
| singleton | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| six | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| sixtuple | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| size | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| snd | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| Solo | |
| 1 (Type/Class) | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| 2 (Data Constructor) | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| sort | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| sort' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| sortBy | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| sortOn | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| space | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| span | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| splitAt | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| splitTyConApp | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| stripPrefix | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| subexprs | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| subsequences | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| subsumedWith | Conjure.Defn.Redundancy |
| Sum | |
| 1 (Type/Class) | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| 2 (Data Constructor) | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| sum | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| sum' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| swap | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| tail | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| tail' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| tails | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| take | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| take' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| takeWhile | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| target | Conjure.Settings, Conjure.Engine, Conjure |
| targetAndMaxSizeI | Conjure.Settings |
| ten | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| theory | Conjure.Engine, Conjure |
| theoryFromAtoms | Conjure.Reason, Conjure.Engine |
| three | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| Thy | Conjure.Reason, Conjure.Engine |
| times | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| toDynamic | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| toDynamicWithDefn | Conjure.Defn |
| transpose | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| triple | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| trLiftedRep | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| true | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| twelve | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| two | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| TyCon | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| tyConFingerprint | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| tyConModule | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| tyConName | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| tyConPackage | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| typ | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| Typeable | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| typeOf | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| typeOf1 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| typeOf2 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| typeOf3 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| typeOf4 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| typeOf5 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| typeOf6 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| typeOf7 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| TypeRep | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| typeRep | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| typeRepArgs | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| typeRepFingerprint | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| typeRepTyCon | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| uncons | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| uncurry | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| unfold | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| unfoldApp | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| unfoldPair | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| unfoldr | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| unfoldTrio | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| unfun | Conjure.Ingredient, Conjure |
| union | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| unionBy | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| uniqueCandidates | Conjure.Settings, Conjure.Engine, Conjure |
| uniqueCandidatesI | Conjure.Settings |
| unit | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| unlines | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| unsnoc | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| unwords | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| unzip | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| unzip3 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| unzip4 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| unzip5 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| unzip6 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| unzip7 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| updateAppAt | Conjure.Expr, Conjure.Defn |
| updateAt | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| useMatches | Conjure.Expr, Conjure.Defn |
| val | Conjure.Expr, Conjure.Defn, Conjure.Engine, Conjure |
| validApps | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| Value | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| value | Conjure.Expr, Conjure.Defn, Conjure.Engine, Conjure |
| values | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| valuesBFS | Conjure.Expr, Conjure.Defn |
| var | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| varAsTypeOf | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| variableNamesFromTemplate | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| vars | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| varToConst | Conjure.Expr, Conjure.Defn |
| words | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| xx | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| xx' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| xxs | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| yy | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| yys | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| zed | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| zee | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| zero | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| zip | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| zip3 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| zip4 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| zip5 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| zip6 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| zip7 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| zipWith | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| zipWith3 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| zipWith4 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| zipWith5 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| zipWith6 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| zipWith7 | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| zz | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| zzs | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| \\ | Conjure.Utils, Conjure.Expr, Conjure.Defn |