$$ | 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 |
A | QuickSpec.Internal.Type, QuickSpec |
addBackground | QuickSpec.Internal |
addInstances | QuickSpec.Internal |
Apply | QuickSpec.Internal.Type |
apply | QuickSpec.Internal.Type |
applyType | QuickSpec.Internal.Type |
Arbitrary | QuickSpec |
arith | QuickSpec.Internal, QuickSpec |
Arity | QuickSpec.Internal.Term |
arity | QuickSpec.Internal.Term |
Arrow | QuickSpec.Internal.Type |
arrowType | QuickSpec.Internal.Type |
B | QuickSpec.Internal.Type, QuickSpec |
background | QuickSpec.Internal, QuickSpec |
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 |
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 |
equals | QuickSpec.Internal.Term |
EqualsBonus | QuickSpec.Internal.Term |
evalTerm | QuickSpec.Internal.Term |
fcat | QuickSpec.Internal.Term |
first | QuickSpec.Internal.Term |
fixedArity | QuickSpec.Internal.Term |
float | QuickSpec.Internal.Term |
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 |
getApp | QuickSpec.Internal.Term |
getDictionary | QuickSpec.Internal.Type |
hang | QuickSpec.Internal.Term |
hcat | QuickSpec.Internal.Term |
hsep | 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 |
lineLength | QuickSpec.Internal.Term |
lists | QuickSpec.Internal, QuickSpec |
lparen | QuickSpec.Internal.Term |
mapValue | QuickSpec.Internal.Type |
mapVar | QuickSpec.Internal.Term |
matchType | QuickSpec.Internal.Type |
maybeBraces | QuickSpec.Internal.Term |
maybeBrackets | QuickSpec.Internal.Term |
maybeDoubleQuotes | 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 |
monoType | QuickSpec.Internal, QuickSpec |
monoTypeObserve | QuickSpec.Internal, QuickSpec |
monoTypeWithVars | QuickSpec.Internal, QuickSpec |
nest | 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 |
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 |
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 |
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 |
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 |
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 |
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 |
withFixedSeed | QuickSpec.Internal, QuickSpec |
withInferInstanceTypes | QuickSpec.Internal, QuickSpec |
withMaxCommutativeSize | QuickSpec.Internal |
withMaxTermSize | QuickSpec.Internal, QuickSpec |
withMaxTests | QuickSpec.Internal, QuickSpec |
withMaxTestSize | QuickSpec.Internal, QuickSpec |
without | QuickSpec.Internal, QuickSpec |
withPrintFilter | QuickSpec.Internal |
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 |