Data.Comp.Equality

This module defines equality for signatures, which lifts to equality for terms and contexts.

Documentation

class EqF f where

Signature equality. An instance EqF f gives rise to an instance Eq (Term f).

Methods

eqF :: Eq a => f a -> f a -> Bool

eqMod :: (EqF f, Functor f, Foldable f) => f a -> f b -> Maybe [(a, b)]

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.