Generic.Data.Function.Util.Generic

Handy generics utils.

Documentation

datatypeName' :: forall d. Datatype d => String

datatypeName without the value (only used as a proxy). Lets us push our undefineds into one place.

conName' :: forall c. Constructor c => String

conName without the value (only used as a proxy). Lets us push our undefineds into one place.

selName' :: forall s. Selector s => String

selName without the value (only used as a proxy). Lets us push our undefineds into one place.

selName'' :: forall s. Selector s => Maybe String

Get the record name for a selector if present.

On the type level, a 'Maybe Symbol' is stored for record names. But the reification is done using fromMaybe "". So we have to inspect the resulting string to determine whether the field uses record syntax or not. (Silly.)