quickspec-2.1: Equational laws for free!

Index - T

TermQuickSpec.Term
termsQuickSpec.Term
termsDLQuickSpec.Term
TermStyle 
1 (Data Constructor)QuickSpec.Term
2 (Type/Class)QuickSpec.Term
termStyleQuickSpec.Term
textQuickSpec.Term
TextDetailsQuickSpec.Term
toPolyValueQuickSpec.Type
toValueQuickSpec.Type
tryApplyQuickSpec.Type
tupleStyleQuickSpec.Term
TyCon 
1 (Type/Class)QuickSpec.Type
2 (Data Constructor)QuickSpec.Type
tyConQuickSpec.Type
typQuickSpec.Type
TypeQuickSpec.Type
TypeableQuickSpec.Type, QuickSpec
typeArgsQuickSpec.Type
typeArityQuickSpec.Type
TypedQuickSpec.Type
typeDropQuickSpec.Type
typeFromTyConQuickSpec.Type
typeOfQuickSpec.Type
typeRepQuickSpec.Type
typeResQuickSpec.Type
typesDLQuickSpec.Type
typeSubstQuickSpec.Type
typeSubst_QuickSpec.Type
typeVarQuickSpec.Type
TypeView 
1 (Type/Class)QuickSpec.Type
2 (Data Constructor)QuickSpec.Type
tyVarsQuickSpec.Type