copilot-core-2.2.0: An intermediate representation for Copilot.

Safe HaskellSafe
LanguageHaskell2010

Copilot.Core.Type.Equality

Documentation

data Equal :: * -> * -> * where Source

Constructors

Refl :: Equal a a 

class EqualType t where Source

Methods

(=~=) :: t a -> t b -> Maybe (Equal a b) Source

Instances

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