cornea-0.3.0.0: classy optical monadic state

Safe HaskellNone
LanguageHaskell2010

Data.DeepLenses

Documentation

class DeepLenses s s' where Source #

Methods

deepLens :: Lens' s s' Source #

data Field Source #

Constructors

Field 

Fields

Instances
Show Field Source # 
Instance details

Defined in Data.DeepLenses

Methods

showsPrec :: Int -> Field -> ShowS #

show :: Field -> String #

showList :: [Field] -> ShowS #

data DT Source #

Constructors

DT 

Fields

Instances
Show DT Source # 
Instance details

Defined in Data.DeepLenses

Methods

showsPrec :: Int -> DT -> ShowS #

show :: DT -> String #

showList :: [DT] -> ShowS #

dataType :: Name -> Q DT Source #

mkHoist :: TypeQ -> TypeQ -> BodyQ -> DecQ Source #

deepLensesInstance :: TypeQ -> TypeQ -> BodyQ -> DecQ Source #

idLenses :: Name -> DecQ Source #

eligibleForDeepError :: Name -> Q Bool Source #

modName :: NameFlavour -> Maybe ModName Source #

sameModule :: NameFlavour -> NameFlavour -> Bool Source #

lensName :: Name -> Name -> ExpQ Source #

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

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

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

lensesForMainData :: Name -> DecsQ Source #

deepLenses :: Name -> DecsQ Source #