Data.Comp.Equality

Documentation

class PEq a where

Methods

peq :: a i -> a j -> Fresh Bool

Instances

PEq (Name :: k -> Type)

Defined in Data.Comp.Equality

Methods

peq :: Name i -> Name j -> Fresh Bool

Eq a => PEq (Const a :: k -> Type)

Defined in Data.Comp.Equality

Methods

peq :: Const a i -> Const a j -> Fresh Bool

(EqH f, PEq a) => PEq (Cxt h f (Name :: k -> Type) a :: k -> Type)

Defined in Data.Comp.Term

Methods

peq :: Cxt h f Name a i -> Cxt h f Name a j -> Fresh Bool

class EqH f where

Methods

eqH :: PEq a => f Name a i -> f Name a j -> Fresh Bool

Instances

EqH f => EqH (Cxt h f :: (k -> Type) -> (k -> Type) -> k -> Type)

Defined in Data.Comp.Term

Methods

eqH :: PEq a => Cxt h f Name a i -> Cxt h f Name a j -> Fresh Bool