barlow-lens-0.1.0.0: lens via string literals
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Lens.Barlow.Types

Documentation

data Tag Source #

Instances

Instances details
KnownTags ('[] :: [Tag]) Source # 
Instance details

Defined in Data.Lens.Barlow.Classes

Methods

tagVals :: [TagVal] Source #

ConstructBarlow ('[] :: [Tag]) p f s t s t Source # 
Instance details

Defined in Data.Lens.Barlow.Construction

Methods

constructBarlow :: Optic p f s t s t Source #

(KnownTag x, KnownTags xs) => KnownTags (x ': xs) Source # 
Instance details

Defined in Data.Lens.Barlow.Classes

Methods

tagVals :: [TagVal] Source #

(Profunctor p, ConstructBarlow path p f q w a b, Functor f, Wrapped s t q w) => ConstructBarlow ('Tag'ExclamationMark ': path) p f s t a b Source # 
Instance details

Defined in Data.Lens.Barlow.Construction

Methods

constructBarlow :: Optic p f s t a b Source #

(p ~ (->), Functor f, ConstructBarlow path p f q w a b, HasField sym s t q w) => ConstructBarlow ('Tag'Name sym ': path) p f s t a b Source # 
Instance details

Defined in Data.Lens.Barlow.Construction

Methods

constructBarlow :: Optic p f s t a b Source #

(Choice p, ConstructBarlow path p f q w a b, AsConstructor ctor s t q w, Applicative f) => ConstructBarlow ('Tag'PercentageName ctor ': path) p f s t a b Source # 
Instance details

Defined in Data.Lens.Barlow.Construction

Methods

constructBarlow :: Optic p f s t a b Source #

(p ~ (->), Functor f, ConstructBarlow path p f q w a b, HasPosition pos s t q w) => ConstructBarlow ('Tag'PercentageNumber pos ': path) p f s t a b Source # 
Instance details

Defined in Data.Lens.Barlow.Construction

Methods

constructBarlow :: Optic p f s t a b Source #

(p ~ (->), Applicative f, ConstructBarlow path p f s t a b, Traversable tr) => ConstructBarlow ('Tag'Plus ': path) p f (tr s) (tr t) a b Source # 
Instance details

Defined in Data.Lens.Barlow.Construction

Methods

constructBarlow :: Optic p f (tr s) (tr t) a b Source #

(Choice p, ConstructBarlow path p f s t a b, Applicative f) => ConstructBarlow ('Tag'QuestionMark ': path) p f (Maybe s) (Maybe t) a b Source # 
Instance details

Defined in Data.Lens.Barlow.Construction

Methods

constructBarlow :: Optic p f (Maybe s) (Maybe t) a b Source #

(Choice p, ConstructBarlow path p f s t a b, Applicative f) => ConstructBarlow ('Tag'LeftArrow ': path) p f (Either s x) (Either t x) a b Source # 
Instance details

Defined in Data.Lens.Barlow.Construction

Methods

constructBarlow :: Optic p f (Either s x) (Either t x) a b Source #

(Choice p, ConstructBarlow path p f s t a b, Applicative f) => ConstructBarlow ('Tag'RightArrow ': path) p f (Either x s) (Either x t) a b Source # 
Instance details

Defined in Data.Lens.Barlow.Construction

Methods

constructBarlow :: Optic p f (Either x s) (Either x t) a b Source #