Data.DeepLenses

Documentation

class DeepLenses s s' where

Methods

deepLens :: Lens' s s'

data Field

Constructors

Field

Fields

• fieldName :: Name
• fieldType :: Type

Instances

Show Field

Defined in Data.DeepLenses

Methods

showsPrec :: Int -> Field -> ShowS

show :: Field -> String

showList :: [Field] -> ShowS

data DT

Constructors

DT

Fields

• dtName :: Name
• dtFields :: [Field]

Instances

Show DT

Defined in Data.DeepLenses

Methods

showsPrec :: Int -> DT -> ShowS

show :: DT -> String

showList :: [DT] -> ShowS

dataType :: Name -> Q DT

mkHoist :: TypeQ -> TypeQ -> BodyQ -> DecQ

deepLensesInstance :: TypeQ -> TypeQ -> BodyQ -> DecQ

idLenses :: Name -> DecQ

eligibleForDeepError :: Name -> Q Bool

modName :: NameFlavour -> Maybe ModName

sameModule :: NameFlavour -> NameFlavour -> Bool

lensName :: Name -> Name -> ExpQ

fieldLenses :: Name -> [Name] -> Field -> DecsQ

dataLenses :: Name -> [Name] -> Name -> DecsQ

dataLensesIfEligible :: Name -> [Name] -> Name -> DecsQ

lensesForMainData :: Name -> DecsQ

deepLenses :: Name -> DecsQ