Generics.MultiRec.ConNames

Description

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

Documentation

class ConNames f where Source

Methods

Instances

ConNames U Source
ConNames (K x) Source
ConNames (I a) Source
Constructor c => ConNames (C c f) Source
ConNames ((:.:) f g) Source
ConNames f => ConNames ((:>:) f ix) Source
ConNames ((:*:) f g) Source
(ConNames f, ConNames g) => ConNames ((:+:) f g) Source

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