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

decEffects :: DecsQ -> DecsQ

Generate named effects from a GADT declaration.