:=: | Data.Proof.EQ |
=:= | Data.Ty |
AsPairTy | Data.Ty |
asPairTy | Data.Ty |
commEq | Data.Proof.EQ |
IsTy | Data.IsTy, Data.Ty |
IsTy2 | Data.IsTy, Data.Ty |
IsTy2Constraint | Data.IsTy, Data.Ty |
IsTyConstraint | Data.IsTy, Data.Ty |
liftEq | Data.Proof.EQ |
liftEq2 | Data.Proof.EQ |
liftEq3 | Data.Proof.EQ |
liftEq4 | Data.Proof.EQ |
PairTy | Data.Ty |
Refl | Data.Proof.EQ |
transEq | Data.Proof.EQ |
Ty | Data.Ty |
ty | Data.Ty |
tyEq | Data.IsTy, Data.Ty |
tyEq2 | Data.IsTy, Data.Ty |
tyOf | Data.Ty |
tyOf1 | Data.Ty |
tyOf2 | Data.Ty |
Typeable | Data.Ty |
tyRep | Data.Ty |
Yes | Data.IsTy, Data.Ty |
Yes2 | Data.IsTy, Data.Ty |