Data.Barbie.TH

Documentation

class FieldNamesB b where

barbies doesn't care about field names, but they are useful in many use cases

Methods

bfieldNames :: IsString a => b (Const a)

A collection of field names.

declareBareB :: DecsQ -> DecsQ

Transform a regular Haskell record declaration into HKD form. BareB, FieldNamesB, FunctorB, TraversableB, ProductB, ConstraintsB and ProductBC instances are derived.

For example,

declareBareB [d|data User = User { uid :: Int, name :: String}|]

becomes

data User t f = User { uid :: Wear t f Int, name :: Wear t f String }