transformations-0.2.0.0: Generic representation of tree transformations

Safe HaskellSafe-Inferred
LanguageHaskell98

Generics.MultiRec.CountIs

Documentation

class CountIs f where Source

Methods

countIs :: f r ix -> Int Source

Instances

CountIs U 
CountIs (I ix) 
CountIs (K a) 
(CountIs f, CountIs g) => CountIs ((:+:) f g) 
(CountIs f, CountIs g) => CountIs ((:*:) f g) 
CountIs f => CountIs ((:>:) f ix) 
CountIs ((:.:) t f) 
CountIs f => CountIs (C c f)