Contents
Index
type-equality-0.1.2: Type equality, coercion/cast and other operations.
Index
:=:
Data.Type.Equality
coerce
Data.Type.Equality
cong
Data.Type.Equality
cong2
Data.Type.Equality
cong3
Data.Type.Equality
EqT
Data.Type.Equality
eqT
Data.Type.Equality
EqT2
Data.Type.Equality
eqT2
Data.Type.Equality
EqT3
Data.Type.Equality
eqT3
Data.Type.Equality
Refl
Data.Type.Equality
subst
Data.Type.Equality
subst2
Data.Type.Equality
sym
Data.Type.Equality
trans
Data.Type.Equality