Barbies.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.

data LensB b a

A pair of a getter and a setter Not van Laarhoven to avoid dictionary passing

Constructors

LensB

Fields

• viewB :: forall h. b h -> h a
• setB :: forall h. h a -> b h -> b h

getLensB :: Functor f => LensB b a -> (h a -> f (h a)) -> b h -> f (b h)

class AccessorsB b where

Methods

baccessors :: b (LensB b)

A collection of lenses (getter-setter pairs)

declareBareB :: DecsQ -> DecsQ

Transform a regular Haskell record declaration into HKD form. BareB, FieldNamesB, FunctorB, DistributiveB, TraversableB, ApplicativeB and ConstraintsB 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 }