free-theorems-0.3.2.0: Automatic generation of free theorems. (Index - R)

free-theorems-0.3.2.0: Automatic generation of free theorems.

A
B
C
D
E
F
G
I
L
N
O
P
R
S
T
U
V
W
All

Index - R

rawDeclaration	Language.Haskell.FreeTheorems.ValidSyntax, Language.Haskell.FreeTheorems
rawSignature	Language.Haskell.FreeTheorems.ValidSyntax, Language.Haskell.FreeTheorems
RelAbs	Language.Haskell.FreeTheorems.Theorems
Relation	Language.Haskell.FreeTheorems.Theorems
RelationInfo
1 (Type/Class)	Language.Haskell.FreeTheorems.Theorems
2 (Data Constructor)	Language.Haskell.FreeTheorems.Theorems
relationInfo	Language.Haskell.FreeTheorems.Theorems
relationLanguageSubset	Language.Haskell.FreeTheorems.Theorems
relationLeftType	Language.Haskell.FreeTheorems.Theorems
relationNameStore	Language.Haskell.FreeTheorems.NameStores
relationRightType	Language.Haskell.FreeTheorems.Theorems
RelationVariable	Language.Haskell.FreeTheorems.Theorems
relationVariables	Language.Haskell.FreeTheorems
RelBasic	Language.Haskell.FreeTheorems.Theorems
RelFun	Language.Haskell.FreeTheorems.Theorems
RelFunLab	Language.Haskell.FreeTheorems.Theorems
RelLift	Language.Haskell.FreeTheorems.Theorems
RelVar	Language.Haskell.FreeTheorems.Theorems
RespectsClasses	Language.Haskell.FreeTheorems.Theorems
Restriction	Language.Haskell.FreeTheorems.Theorems
runChecks	Language.Haskell.FreeTheorems
RVar	Language.Haskell.FreeTheorems.Theorems