compositional-data-0.1.0.0: Compositional Data Types
Data.Comp.Equality
class PEq a where Source #
Methods
peq :: a i -> a j -> Fresh Bool Source #
Defined in Data.Comp.Equality
peq :: Name i -> Name j -> Fresh Bool Source #
peq :: Const a i -> Const a j -> Fresh Bool Source #
Defined in Data.Comp.Term
peq :: Cxt h f Name a i -> Cxt h f Name a j -> Fresh Bool Source #
class EqH f where Source #
eqH :: PEq a => f Name a i -> f Name a j -> Fresh Bool Source #
eqH :: PEq a => Cxt h f Name a i -> Cxt h f Name a j -> Fresh Bool Source #