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

Safe HaskellSafe

Copilot.Core.Type.Equality

Documentation

data Equal whereSource

Constructors

Refl :: Equal a a 

class EqualType t whereSource

Methods

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

Instances

coerce :: Equal a b -> a -> bSource

trans :: Equal a b -> Equal b c -> Equal a cSource

symm :: Equal a b -> Equal b aSource

cong :: Equal a b -> Equal (f a) (f b)Source