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

Data.Lens.Barlow.Classes

Documentation

class KnownTag (a :: Tag) where Source #

Methods

tagVal :: TagVal Source #

Instances

Instances details
KnownTag 'Tag'ExclamationMark Source # 
Instance details

Defined in Data.Lens.Barlow.Classes

Methods

tagVal :: TagVal Source #

KnownTag 'Tag'LeftArrow Source # 
Instance details

Defined in Data.Lens.Barlow.Classes

Methods

tagVal :: TagVal Source #

KnownTag 'Tag'Plus Source # 
Instance details

Defined in Data.Lens.Barlow.Classes

Methods

tagVal :: TagVal Source #

KnownTag 'Tag'QuestionMark Source # 
Instance details

Defined in Data.Lens.Barlow.Classes

Methods

tagVal :: TagVal Source #

KnownTag 'Tag'RightArrow Source # 
Instance details

Defined in Data.Lens.Barlow.Classes

Methods

tagVal :: TagVal Source #

KnownSymbol a => KnownTag ('Tag'Name a) Source # 
Instance details

Defined in Data.Lens.Barlow.Classes

Methods

tagVal :: TagVal Source #

KnownSymbol a => KnownTag ('Tag'PercentageName a) Source # 
Instance details

Defined in Data.Lens.Barlow.Classes

Methods

tagVal :: TagVal Source #

KnownNat a => KnownTag ('Tag'PercentageNumber a) Source # 
Instance details

Defined in Data.Lens.Barlow.Classes

Methods

tagVal :: TagVal Source #

class KnownTags (a :: [Tag]) where Source #

Methods

tagVals :: [TagVal] Source #

Instances

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

Defined in Data.Lens.Barlow.Classes

Methods

tagVals :: [TagVal] Source #

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

Defined in Data.Lens.Barlow.Classes

Methods

tagVals :: [TagVal] Source #

class KnownSymbolTags (s :: Symbol) where Source #

Methods

symbolTagVals :: [TagVal] Source #

Instances

Instances details
KnownTags (Parse s) => KnownSymbolTags s Source # 
Instance details

Defined in Data.Lens.Barlow.Classes

Methods

symbolTagVals :: [TagVal] Source #