$$ | 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 |