transformations-0.2.0.0: Generic representation of tree transformations

Safe HaskellSafe-Inferred
LanguageHaskell98

Generics.MultiRec.ShallowEq

Documentation

class SEq phi f where Source

Methods

shallowEq :: phi ix -> f r ix -> f r ix -> Bool Source

Instances

SEq phi U 
Eq a => SEq phi (K a) 
SEq phi (I xi) 
(Traversable t, Eq (t ()), SEq phi f) => SEq phi ((:.:) t f) 
SEq phi f => SEq phi (C c f) 
SEq phi f => SEq phi ((:>:) f ix) 
(SEq phi f, SEq phi g) => SEq phi ((:*:) f g) 
(SEq phi f, SEq phi g) => SEq phi ((:+:) f g)