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