multirec-0.3: Generic programming for families of recursive datatypes Source code Contents Index

Generics.MultiRec.Eq Portability non-portable Stability experimental Maintainer generics@haskell.org

Contents Generic equality

Description

Generic equality.

Synopsis

class HEq phi f where heq :: (forall ix. phi ix -> r ix -> r ix -> Bool) -> phi ix -> f r ix -> f r ix -> Bool eq :: (Fam phi, HEq phi (PF phi)) => phi ix -> ix -> ix -> Bool

Generic equality

class HEq phi f where Source

Methods heq :: (forall ix. phi ix -> r ix -> r ix -> Bool) -> phi ix -> f r ix -> f r ix -> Bool Source Instances HEq phi U Eq a => HEq phi (K a) El phi xi => HEq phi (I xi) (Constructor c, HEq phi f) => HEq phi (C c f) HEq phi f => HEq phi (f :>: ix) (HEq phi f, HEq phi g) => HEq phi (f :*: g) (HEq phi f, HEq phi g) => HEq phi (f :+: g)

eq :: (Fam phi, HEq phi (PF phi)) => phi ix -> ix -> ix -> Bool Source

Produced by Haddock version 2.4.2