Data.Extensible.TH

Documentation

mkField :: String -> DecsQ

Generate fields using itemAssoc. mkField "foo bar" defines:

foo :: FieldOptic "foo"
foo = itemAssoc (Proxy :: Proxy "foo")
bar :: FieldOptic "bar"
bar = itemAssoc (Proxy :: Proxy "bar")

decFields :: DecsQ -> DecsQ

Generate newtype wrappers and lenses from type synonyms.

decFields [d|type Foo = Int|]

Generates:

newtype Foo = Foo Int
foo :: (Foo ∈ xs) => Lens' (AllOf xs) Int
foo = accessing Foo

decFieldsDeriving :: [Name] -> DecsQ -> DecsQ

decFields with additional deriving clauses