multirec-0.1: Generic programming with systems 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 f where heq :: s ix -> (forall ix. Ix s ix => s ix -> r ix -> r ix -> Bool) -> f s r ix -> f s r ix -> Bool eq :: (Ix s ix, HEq (PF s)) => s ix -> ix -> ix -> Bool

Generic equality

class HEq f where Source

Methods heq :: s ix -> (forall ix. Ix s ix => s ix -> r ix -> r ix -> Bool) -> f s r ix -> f s r ix -> Bool Source Instances Eq x => HEq (K x) HEq (I xi) HEq f => HEq (f :>: ix) (HEq f, HEq g) => HEq (f :*: g) (HEq f, HEq g) => HEq (f :+: g)

eq :: (Ix s ix, HEq (PF s)) => s ix -> ix -> ix -> Bool Source

Produced by Haddock version 2.4.2