model-0.4.2: Derive a model of a data type using Generics (Index - T)

model-0.4.2: Derive a model of a data type using Generics

A
C
D
E
F
G
H
I
K
L
M
N
P
Q
R
S
T
U
V
W
:
*
+
<
^
-
All

Index - T

Text	Type.ANat, Type.Analyse
to	Data.Model.Types, Data.Model
to1	Data.Model.Types, Data.Model
toErrors	Data.Model.Util, Data.Model
transitiveClosure	Data.Model.Util, Data.Model
Typ	Type.Analyse
Type	Data.Model.Types, Data.Model
typeA	Data.Model.Types, Data.Model
typeADTs	Data.Model.Types, Data.Model
TypeApp	Data.Model.Types, Data.Model
TypeCon	Data.Model.Types, Data.Model
TypeEnv	Data.Model.Types, Data.Model
typeEnv	Data.Model.Types, Data.Model
TypeError	Type.ANat, Type.Analyse
TypeModel
1 (Type/Class)	Data.Model.Types, Data.Model
2 (Data Constructor)	Data.Model.Types, Data.Model
typeModel	Data.Model.Class, Data.Model
TypeN
1 (Type/Class)	Data.Model.Types, Data.Model
2 (Data Constructor)	Data.Model.Types, Data.Model
typeN	Data.Model.Types, Data.Model
typeName	Data.Model.Types, Data.Model
TypeRef	Data.Model.Types, Data.Model
TypRef	Data.Model.Types, Data.Model
TypVar	Data.Model.Types, Data.Model