multirec-0.2: Generic programming with systems of recursive datatypes Source code Contents Index

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

Description

Generic function that returns the constructor names available in a system of datatypes.

Documentation

class ConNames f where Source

Methods hconNames :: f s r ix -> [String] Source Instances ConNames U ConNames (K x) ConNames (I a) Constructor c => ConNames (C c f) ConNames f => ConNames (f :>: ix) ConNames (f :*: g) (ConNames f, ConNames g) => ConNames (f :+: g)

conNames :: forall s ix. (Ix s ix, ConNames (PF s)) => s ix -> [String] Source

Produced by Haddock version 2.4.2