copilot-core-0.2.1: An intermediate representation for Copilot.
Copilot.Core.Type.Equality
data Equal whereSource
Constructors
class EqualType t whereSource
Methods
(=~=) :: t a -> t b -> Maybe (Equal a b)Source
Instances
coerce :: Equal a b -> a -> bSource
refl :: Equal a aSource
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