Data.Lens.Barlow.Construction

Documentation

class ConstructBarlow (path :: [Tag]) p f s t a b | path s -> a, path t -> b where

Methods

constructBarlow :: Optic p f s t a b

Instances

ConstructBarlow ('[] :: [Tag]) p f s t s t

Defined in Data.Lens.Barlow.Construction

Methods

constructBarlow :: Optic p f s t s t

(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

Defined in Data.Lens.Barlow.Construction

Methods

constructBarlow :: Optic p f s t a b

(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

Defined in Data.Lens.Barlow.Construction

Methods

constructBarlow :: Optic p f s t a b

(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

Defined in Data.Lens.Barlow.Construction

Methods

constructBarlow :: Optic p f s t a b

(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

Defined in Data.Lens.Barlow.Construction

Methods

constructBarlow :: Optic p f s t a b

(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

Defined in Data.Lens.Barlow.Construction

Methods

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

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

Defined in Data.Lens.Barlow.Construction

Methods

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

(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

Defined in Data.Lens.Barlow.Construction

Methods

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

(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

Defined in Data.Lens.Barlow.Construction

Methods

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