Copyright	(c) Patrick Bahr, 2011
License	BSD3
Maintainer	Patrick Bahr <[email protected]>
Stability	experimental
Portability	non-portable (GHC Extensions)
Safe Haskell	None
Language	Haskell98

Data.Comp.Multi.Equality

Description

This module defines equality for (higher-order) signatures, which lifts to equality for (higher-order) terms and contexts. All definitions are generalised versions of those in Data.Comp.Equality.

Synopsis

Documentation

class EqHF f where Source

Signature equality. An instance EqHF f gives rise to an instance KEq (HTerm f).

Methods

eqHF :: KEq g => f g i -> f g j -> Bool Source

Instances

EqHF f => EqHF (Cxt h f)
(EqHF f, EqHF g) => EqHF ((:+:) * f g)	`EqF` is propagated through sums.

class KEq f where Source

Methods

keq :: f i -> f j -> Bool Source

Instances

Eq a => KEq (K a)
(EqHF f, KEq a) => KEq (Cxt h f a)

heqMod :: (EqHF f, HFunctor f, HFoldable f) => f a i -> f b i -> Maybe [(E a, E b)] Source

This function implements equality of values of type f a modulo the equality of a itself. If two functorial values are equal in this sense, eqMod returns a Just value containing a list of pairs consisting of corresponding components of the two functorial values.