Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Lens.Barlow.Construction

Documentation

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

Methods

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

Instances

Instances details

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 #
(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 #