Index
| $$ | QuickSpec.Internal.Term |
| $+$ | QuickSpec.Internal.Term |
| :$: | QuickSpec.Internal.Term |
| :+: | QuickSpec.Internal.Term |
| :- | QuickSpec |
| :@: | QuickSpec.Internal.Term |
| <#> | QuickSpec.Internal.Term |
| <+> | QuickSpec.Internal.Term |
| ==> | QuickSpec.Internal, QuickSpec |
| =~= | QuickSpec |
| A | QuickSpec.Internal.Type, QuickSpec |
| addBackground | QuickSpec.Internal |
| addInstances | QuickSpec.Internal |
| ANSICode | QuickSpec.Internal.Term |
| Apply | QuickSpec.Internal.Type |
| apply | QuickSpec.Internal.Type |
| applyType | QuickSpec.Internal.Type |
| Arbitrary | QuickSpec |
| arith | QuickSpec.Internal, QuickSpec |
| Arity | QuickSpec.Internal.Type |
| arity | QuickSpec.Internal.Type |
| Arrow | QuickSpec.Internal.Type |
| arrowType | QuickSpec.Internal.Type |
| B | QuickSpec.Internal.Type, QuickSpec |
| background | QuickSpec.Internal, QuickSpec |
| bold | QuickSpec.Internal.Term |
| bools | QuickSpec.Internal, QuickSpec |
| braces | QuickSpec.Internal.Term |
| brackets | QuickSpec.Internal.Term |
| bringFunctor | QuickSpec.Internal.Type |
| C | QuickSpec.Internal.Type, QuickSpec |
| canApply | QuickSpec.Internal.Type |
| canonicalise | QuickSpec.Internal.Term |
| canonicaliseType | QuickSpec.Internal.Type |
| cast | QuickSpec.Internal.Type |
| cat | QuickSpec.Internal.Term |
| char | QuickSpec.Internal.Term |
| Chr | QuickSpec.Internal.Term |
| ClassA | QuickSpec.Internal.Type |
| ClassB | QuickSpec.Internal.Type |
| ClassC | QuickSpec.Internal.Type |
| ClassD | QuickSpec.Internal.Type |
| ClassE | QuickSpec.Internal.Type |
| ClassF | QuickSpec.Internal.Type |
| colon | QuickSpec.Internal.Term |
| comma | QuickSpec.Internal.Term |
| compareFuns | QuickSpec.Internal.Term |
| con | QuickSpec.Internal, QuickSpec |
| Context | |
| 1 (Type/Class) | QuickSpec.Internal |
| 2 (Data Constructor) | QuickSpec.Internal |
| curried | QuickSpec.Internal.Term |
| customConstant | QuickSpec.Internal |
| D | QuickSpec.Internal.Type, QuickSpec |
| defaultTo | |
| 1 (Function) | QuickSpec.Internal.Type |
| 2 (Function) | QuickSpec.Internal, QuickSpec |
| depth | QuickSpec.Internal.Term |
| Dict | |
| 1 (Data Constructor) | QuickSpec |
| 2 (Type/Class) | QuickSpec |
| dictArity | QuickSpec.Internal.Type |
| Doc | QuickSpec.Internal.Term |
| double | QuickSpec.Internal.Term |
| doubleQuotes | QuickSpec.Internal.Term |
| E | QuickSpec.Internal.Type, QuickSpec |
| eliminateId | QuickSpec.Internal.Term |
| equals | QuickSpec.Internal.Term |
| EqualsBonus | QuickSpec.Internal.Term |
| evalTerm | QuickSpec.Internal.Term |
| fcat | QuickSpec.Internal.Term |
| first | QuickSpec.Internal.Term |
| fixedArity | QuickSpec.Internal.Term |
| flatMapFun | QuickSpec.Internal.Term |
| float | QuickSpec.Internal.Term |
| ForHumans | QuickSpec |
| ForQuickCheck | QuickSpec |
| forValue | QuickSpec.Internal.Type |
| freeVar | QuickSpec.Internal.Term |
| fromTyCon | QuickSpec.Internal.Type |
| fromTypeRep | QuickSpec.Internal.Type |
| fromValue | QuickSpec.Internal.Type |
| fsep | QuickSpec.Internal.Term |
| fullRender | QuickSpec.Internal.Term |
| Fun | QuickSpec.Internal.Term |
| funs | |
| 1 (Function) | QuickSpec.Internal.Term |
| 2 (Function) | QuickSpec.Internal, QuickSpec |
| generator | QuickSpec.Internal, QuickSpec |
| getApp | QuickSpec.Internal.Term |
| getDictionary | QuickSpec.Internal.Type |
| green | QuickSpec.Internal.Term |
| hang | QuickSpec.Internal.Term |
| hcat | QuickSpec.Internal.Term |
| highlight | QuickSpec.Internal.Term |
| HighlightedTerm | |
| 1 (Data Constructor) | QuickSpec.Internal.Term |
| 2 (Type/Class) | QuickSpec.Internal.Term |
| hsep | QuickSpec.Internal.Term |
| Id | QuickSpec.Internal.Term |
| implicitArguments | QuickSpec.Internal.Term |
| In | QuickSpec.Internal.Type |
| infixStyle | QuickSpec.Internal.Term |
| Inl | QuickSpec.Internal.Term |
| Inr | QuickSpec.Internal.Term |
| inst | QuickSpec.Internal, QuickSpec |
| instanceOf | QuickSpec.Internal, QuickSpec |
| instFun | QuickSpec.Internal |
| int | QuickSpec.Internal.Term |
| integer | QuickSpec.Internal.Term |
| invisible | QuickSpec.Internal.Term |
| isArrowType | QuickSpec.Internal.Type |
| isDictionary | QuickSpec.Internal.Type |
| isEmpty | QuickSpec.Internal.Term |
| isTypeVar | QuickSpec.Internal.Type |
| lbrace | QuickSpec.Internal.Term |
| lbrack | QuickSpec.Internal.Term |
| LeftMode | QuickSpec.Internal.Term |
| liftC | QuickSpec.Internal, QuickSpec |
| Linear | QuickSpec |
| lineLength | QuickSpec.Internal.Term |
| lists | QuickSpec.Internal, QuickSpec |
| lparen | QuickSpec.Internal.Term |
| mapFun | QuickSpec.Internal.Term |
| mapValue | QuickSpec.Internal.Type |
| mapVar | QuickSpec.Internal.Term |
| match | QuickSpec.Internal.Term |
| matchType | QuickSpec.Internal.Type |
| maybeBraces | QuickSpec.Internal.Term |
| maybeBrackets | QuickSpec.Internal.Term |
| maybeDoubleQuotes | QuickSpec.Internal.Term |
| maybeHighlight | QuickSpec.Internal.Term |
| maybeParens | QuickSpec.Internal.Term |
| maybeQuotes | QuickSpec.Internal.Term |
| Measure | QuickSpec.Internal.Term |
| measure | QuickSpec.Internal.Term |
| MeasureFuns | |
| 1 (Type/Class) | QuickSpec.Internal.Term |
| 2 (Data Constructor) | QuickSpec.Internal.Term |
| Mode | QuickSpec.Internal.Term |
| mode | QuickSpec.Internal.Term |
| mono | QuickSpec.Internal, QuickSpec |
| monoObserve | QuickSpec.Internal, QuickSpec |
| monoObserveVars | QuickSpec.Internal, QuickSpec |
| monoType | QuickSpec.Internal, QuickSpec |
| monoTypeObserve | QuickSpec.Internal, QuickSpec |
| monoTypeObserveWithVars | QuickSpec.Internal, QuickSpec |
| monoTypeWithVars | QuickSpec.Internal, QuickSpec |
| monoVars | QuickSpec.Internal, QuickSpec |
| nest | QuickSpec.Internal.Term |
| NotId | QuickSpec.Internal.Term |
| Observe | QuickSpec |
| observe | QuickSpec |
| occ | QuickSpec.Internal.Term |
| occVar | QuickSpec.Internal.Term |
| ofValue | QuickSpec.Internal.Type |
| OneLineMode | QuickSpec.Internal.Term |
| oneTypeVar | QuickSpec.Internal.Type |
| OrId | QuickSpec.Internal.Term |
| otherTypesDL | QuickSpec.Internal.Type |
| PageMode | QuickSpec.Internal.Term |
| pairValues | QuickSpec.Internal.Type |
| parens | QuickSpec.Internal.Term |
| Poly | QuickSpec.Internal.Type |
| poly | QuickSpec.Internal.Type |
| polyApply | QuickSpec.Internal.Type |
| polyFunctionMgu | QuickSpec.Internal.Type |
| polyList | QuickSpec.Internal.Type |
| polyMgu | QuickSpec.Internal.Type |
| polyPair | QuickSpec.Internal.Type |
| polyRename | QuickSpec.Internal.Type |
| polyTyp | QuickSpec.Internal.Type |
| postfix | QuickSpec.Internal.Term |
| pPrint | QuickSpec.Internal.Term |
| pPrintEmpty | QuickSpec.Internal.Term |
| pPrintList | QuickSpec.Internal.Term |
| pPrintPrec | QuickSpec.Internal.Term |
| pPrintSet | QuickSpec.Internal.Term |
| pPrintTerm | QuickSpec.Internal.Term |
| pPrintTuple | QuickSpec.Internal.Term |
| pPrintType | QuickSpec.Internal.Type |
| predicate | QuickSpec.Internal, QuickSpec |
| predicateGen | QuickSpec.Internal, QuickSpec |
| prefix | QuickSpec.Internal.Term |
| prelude | QuickSpec.Internal, QuickSpec |
| Pretty | QuickSpec.Internal.Term |
| PrettyLevel | |
| 1 (Data Constructor) | QuickSpec.Internal.Term |
| 2 (Type/Class) | QuickSpec.Internal.Term |
| prettyNormal | QuickSpec.Internal.Term |
| prettyParen | QuickSpec.Internal.Term |
| prettyPrint | QuickSpec.Internal.Term |
| prettyShow | QuickSpec.Internal.Term |
| PrettyTerm | QuickSpec.Internal.Term |
| PrintStyle | QuickSpec |
| properSubterms | QuickSpec.Internal.Term |
| properSubtermsFO | QuickSpec.Internal.Term |
| Proxy | |
| 1 (Data Constructor) | QuickSpec |
| 2 (Type/Class) | QuickSpec |
| PStr | QuickSpec.Internal.Term |
| ptext | QuickSpec.Internal.Term |
| punctuate | QuickSpec.Internal.Term |
| quickSpec | QuickSpec.Internal, QuickSpec |
| quickSpecResult | QuickSpec.Internal |
| quotes | QuickSpec.Internal.Term |
| rational | QuickSpec.Internal.Term |
| rbrace | QuickSpec.Internal.Term |
| rbrack | QuickSpec.Internal.Term |
| reduceDoc | QuickSpec.Internal.Term |
| render | QuickSpec.Internal.Term |
| renderStyle | QuickSpec.Internal.Term |
| reunwrap | QuickSpec.Internal.Type |
| ribbonsPerLine | QuickSpec.Internal.Term |
| rparen | QuickSpec.Internal.Term |
| runSig | QuickSpec.Internal |
| semi | QuickSpec.Internal.Term |
| sep | QuickSpec.Internal.Term |
| series | QuickSpec.Internal, QuickSpec |
| Sig | |
| 1 (Type/Class) | QuickSpec.Internal, QuickSpec |
| 2 (Data Constructor) | QuickSpec.Internal |
| Signature | QuickSpec.Internal, QuickSpec |
| signature | QuickSpec.Internal, QuickSpec |
| size | QuickSpec.Internal.Term |
| Sized | QuickSpec.Internal.Term |
| sizedText | QuickSpec.Internal.Term |
| skolemiseTypeVars | QuickSpec.Internal.Type |
| space | QuickSpec.Internal.Term |
| splitConstrainedType | QuickSpec.Internal.Type |
| Str | QuickSpec.Internal.Term |
| String | QuickSpec.Internal.Type |
| Style | |
| 1 (Data Constructor) | QuickSpec.Internal.Term |
| 2 (Type/Class) | QuickSpec.Internal.Term |
| style | QuickSpec.Internal.Term |
| Sub | QuickSpec |
| subst | QuickSpec.Internal.Term |
| subterms | QuickSpec.Internal.Term |
| subtermsFO | QuickSpec.Internal.Term |
| supply | QuickSpec.Internal.Term |
| SymA | QuickSpec.Internal.Type |
| Symbolic | QuickSpec.Internal.Term |
| Term | QuickSpec.Internal.Term |
| terms | QuickSpec.Internal.Term |
| termsDL | QuickSpec.Internal.Term |
| TermStyle | |
| 1 (Data Constructor) | QuickSpec.Internal.Term |
| 2 (Type/Class) | QuickSpec.Internal.Term |
| termStyle | QuickSpec.Internal.Term |
| text | QuickSpec.Internal.Term |
| TextDetails | QuickSpec.Internal.Term |
| toPolyValue | QuickSpec.Internal.Type |
| toValue | QuickSpec.Internal.Type |
| tryApply | QuickSpec.Internal.Type |
| tupleStyle | QuickSpec.Internal.Term |
| TyCon | |
| 1 (Type/Class) | QuickSpec.Internal.Type |
| 2 (Data Constructor) | QuickSpec.Internal.Type |
| tyCon | QuickSpec.Internal.Type |
| typ | QuickSpec.Internal.Type |
| Type | QuickSpec.Internal.Type |
| Typeable | QuickSpec.Internal.Type, QuickSpec |
| typeArgs | QuickSpec.Internal.Type |
| typeArity | QuickSpec.Internal.Type |
| Typed | QuickSpec.Internal.Type |
| typeDrop | QuickSpec.Internal.Type |
| typeFromTyCon | QuickSpec.Internal.Type |
| typeOf | QuickSpec.Internal.Type |
| typeRep | QuickSpec.Internal.Type |
| typeRes | QuickSpec.Internal.Type |
| typesDL | QuickSpec.Internal.Type |
| typeSubst | QuickSpec.Internal.Type |
| typeSubst_ | QuickSpec.Internal.Type |
| typeVar | QuickSpec.Internal.Type |
| TypeView | |
| 1 (Type/Class) | QuickSpec.Internal.Type |
| 2 (Data Constructor) | QuickSpec.Internal.Type |
| tyVars | QuickSpec.Internal.Type |
| uncurried | QuickSpec.Internal.Term |
| unify | QuickSpec.Internal.Term |
| unpackArrow | QuickSpec.Internal.Type |
| unPoly | QuickSpec.Internal.Type |
| unSig | QuickSpec.Internal |
| unTypeView | QuickSpec.Internal.Type |
| unwrap | QuickSpec.Internal.Type |
| unwrapFunctor | QuickSpec.Internal.Type |
| Unwrapped | QuickSpec.Internal.Type |
| UpTo | QuickSpec |
| V | QuickSpec.Internal.Term |
| Value | QuickSpec.Internal.Type |
| valueType | QuickSpec.Internal.Type |
| Var | |
| 1 (Type/Class) | QuickSpec.Internal.Term |
| 2 (Data Constructor) | QuickSpec.Internal.Term |
| VariableUse | QuickSpec |
| variableUse | QuickSpec.Internal, QuickSpec |
| vars | |
| 1 (Function) | QuickSpec.Internal.Term |
| 2 (Function) | QuickSpec.Internal, QuickSpec |
| var_id | QuickSpec.Internal.Term |
| var_ty | QuickSpec.Internal.Term |
| vcat | QuickSpec.Internal.Term |
| withConsistencyCheck | QuickSpec.Internal, QuickSpec |
| withFixedSeed | QuickSpec.Internal, QuickSpec |
| withInferInstanceTypes | QuickSpec.Internal, QuickSpec |
| withMaxCommutativeSize | QuickSpec.Internal |
| withMaxFunctions | QuickSpec.Internal, QuickSpec |
| withMaxTermSize | QuickSpec.Internal, QuickSpec |
| withMaxTests | QuickSpec.Internal, QuickSpec |
| withMaxTestSize | QuickSpec.Internal, QuickSpec |
| without | QuickSpec.Internal, QuickSpec |
| withPrintFilter | QuickSpec.Internal |
| withPrintStyle | QuickSpec.Internal, QuickSpec |
| withPruningDepth | QuickSpec.Internal, QuickSpec |
| withPruningTermSize | QuickSpec.Internal, QuickSpec |
| withValue | QuickSpec.Internal.Type |
| wrap | QuickSpec.Internal.Type |
| wrapFunctor | QuickSpec.Internal.Type |
| Wrapper | |
| 1 (Type/Class) | QuickSpec.Internal.Type |
| 2 (Data Constructor) | QuickSpec.Internal.Type |
| zeroWidthText | QuickSpec.Internal.Term |
| ZigZagMode | QuickSpec.Internal.Term |