Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Lens.Barlow.Types

Documentation

data Tag Source #

Constructors

Tag'Dot
Tag'QuestionMark
Tag'RightArrow
Tag'LeftArrow
Tag'Plus
Tag'ExclamationMark
Tag'PercentageName Symbol
Tag'PercentageNumber Nat
Tag'Name Symbol

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 #

data TagVal Source #

Constructors

TagVal'Dot
TagVal'QuestionMark
TagVal'RightArrow
TagVal'LeftArrow
TagVal'Plus
TagVal'ExclamationMark
TagVal'PercentageName String
TagVal'PercentageNumber Natural
TagVal'Name String

Instances

Instances details

Show TagVal Source #
Instance details Defined in Data.Lens.Barlow.Types Methods showsPrec :: Int -> TagVal -> ShowS # show :: TagVal -> String # showList :: [TagVal] -> ShowS #
Eq TagVal Source #
Instance details Defined in Data.Lens.Barlow.Types Methods (==) :: TagVal -> TagVal -> Bool # (/=) :: TagVal -> TagVal -> Bool #