Data.Lens.Barlow.Types

Documentation

data Tag

Constructors

Tag'Dot

Tag'QuestionMark

Tag'RightArrow

Tag'LeftArrow

Tag'Plus

Tag'ExclamationMark

Tag'PercentageName Symbol

Tag'PercentageNumber Nat

Tag'Name Symbol

Instances

KnownTags ('[] :: [Tag])

Defined in Data.Lens.Barlow.Classes

Methods

tagVals :: [TagVal]

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

Defined in Data.Lens.Barlow.Construction

Methods

constructBarlow :: Optic p f s t s t

(KnownTag x, KnownTags xs) => KnownTags (x ': xs)

Defined in Data.Lens.Barlow.Classes

Methods

tagVals :: [TagVal]

(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

data TagVal

Constructors

TagVal'Dot

TagVal'QuestionMark

TagVal'RightArrow

TagVal'LeftArrow

TagVal'Plus

TagVal'ExclamationMark

TagVal'PercentageName String

TagVal'PercentageNumber Natural

TagVal'Name String

Instances

Show TagVal

Defined in Data.Lens.Barlow.Types

Methods

showsPrec :: Int -> TagVal -> ShowS

show :: TagVal -> String

showList :: [TagVal] -> ShowS

Eq TagVal

Defined in Data.Lens.Barlow.Types

Methods

(==) :: TagVal -> TagVal -> Bool

(/=) :: TagVal -> TagVal -> Bool