multirec-0.7.9: Generic programming for families of recursive datatypes

Copyright(c) 2008--2010 Universiteit Utrecht
LicenseBSD3
Maintainergenerics@haskell.org
Stabilityexperimental
Portabilitynon-portable
Safe HaskellSafe
LanguageHaskell2010

Generics.MultiRec.ConNames

Description

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

Documentation

class ConNames (f :: (* -> *) -> * -> *) where Source #

Methods

hconNames :: f r ix -> [String] Source #

Instances
ConNames U Source # 
Instance details

Defined in Generics.MultiRec.ConNames

Methods

hconNames :: U r ix -> [String] Source #

ConNames (K x) Source # 
Instance details

Defined in Generics.MultiRec.ConNames

Methods

hconNames :: K x r ix -> [String] Source #

ConNames (I a) Source # 
Instance details

Defined in Generics.MultiRec.ConNames

Methods

hconNames :: I a r ix -> [String] Source #

Constructor c => ConNames (C c f) Source # 
Instance details

Defined in Generics.MultiRec.ConNames

Methods

hconNames :: C c f r ix -> [String] Source #

ConNames (f :.: g) Source # 
Instance details

Defined in Generics.MultiRec.ConNames

Methods

hconNames :: (f :.: g) r ix -> [String] Source #

ConNames f => ConNames (f :>: ix) Source # 
Instance details

Defined in Generics.MultiRec.ConNames

Methods

hconNames :: (f :>: ix) r ix0 -> [String] Source #

ConNames (f :*: g) Source # 
Instance details

Defined in Generics.MultiRec.ConNames

Methods

hconNames :: (f :*: g) r ix -> [String] Source #

(ConNames f, ConNames g) => ConNames (f :+: g) Source # 
Instance details

Defined in Generics.MultiRec.ConNames

Methods

hconNames :: (f :+: g) r ix -> [String] Source #

conNames :: forall phi ix. ConNames (PF phi) => phi ix -> [String] Source #