typerbole-0.0.0.5: A typeystems library with exaggerated claims (Index - S)

typerbole-0.0.0.5: A typeystems library with exaggerated claims

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
/
<
=
\
_
All

Index - S

sf	Calculi.Lambda.Cube.TH
SFNotKnownErr	Compiler.Typesystem.SystemF
SFSimpleTypeErr	Compiler.Typesystem.SystemF
SFSubsErr	Compiler.Typesystem.SystemF
SimpleType	Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube
SimpleTypeErr	Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube
SimpleTypingContext
1 (Type/Class)	Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube
2 (Data Constructor)	Calculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube
SimplyTyped	Compiler.Typesystem.SimplyTyped
SimplyTypedErr	Compiler.Typesystem.SimplyTyped
stlc	Calculi.Lambda.Cube.TH
stlcctx	Compiler.Typesystem.SystemF
STNotKnownErr	Compiler.Typesystem.SimplyTyped
STSimpleTypeErr	Compiler.Typesystem.SimplyTyped
SubsContext
1 (Type/Class)	Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube
2 (Data Constructor)	Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube
SubsContext'	Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube
SubsErr	Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube
subsMade	Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube
SubsMismatch	Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube
Substitution
1 (Type/Class)	Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube
2 (Data Constructor)	Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube
substitutionGraph	Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube
substitutionGraphGr	Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube
substitutionGraphM	Calculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube
substitutions	Calculi.Lambda.Cube.Polymorphic, Calculi.Lambda.Cube
SystemF	Compiler.Typesystem.SystemF
SystemFContext
1 (Type/Class)	Compiler.Typesystem.SystemF
2 (Data Constructor)	Compiler.Typesystem.SystemF
SystemFErr	Compiler.Typesystem.SystemF
SystemFOmega	Compiler.Typesystem.SystemFOmega