Contents
Index
type-equality-0.1.0.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
sym
Data.Type.Equality
trans
Data.Type.Equality