Copilot.Core.Type.Equality
data Equal :: * -> * -> * where Source #
Constructors
class EqualType t where Source #
Methods
(=~=) :: t a -> t b -> Maybe (Equal a b) Source #
Defined in Copilot.Core.Type
(=~=) :: Type a -> Type b -> Maybe (Equal a b) Source #
coerce :: Equal a b -> a -> b Source #
refl :: Equal a a Source #
trans :: Equal a b -> Equal b c -> Equal a c Source #
symm :: Equal a b -> Equal b a Source #
cong :: Equal a b -> Equal (f a) (f b) Source #