Generics.MultiRec.ConNames

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

Documentation

class ConNames f where

Methods

hconNames :: f r ix -> [String]

Instances

ConNames U

ConNames (K x)

ConNames (I a)

Constructor c => ConNames (C c f)

ConNames ((:.:) f g)

ConNames f => ConNames ((:>:) f ix)

ConNames ((:*:) f g)

(ConNames f, ConNames g) => ConNames ((:+:) f g)

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