Data.Type.Eq
Documentation
class TypeCast' t a b | t a -> b, t b -> a whereSource
Instances
TypeCast'' t a b => TypeCast' t a b |
class TypeCast'' t a b | t a -> b, t b -> a whereSource
Methods
typeCast'' :: t -> a -> bSource
Instances
TypeCast'' () a a |