Module

Data.Lens.Barlow.Construction

Package: purescript-barlow-lens
Repository: sigma-andex/purescript-barlow-lens

#ConstructBarlowGeneric Source

class ConstructBarlowGeneric (attributes :: TList) p input output | attributes input -> output where

Members

constructBarlowGeneric :: Proxy attributes -> Optic' p input output

Instances

(Strong p) => ConstructBarlowGeneric (TCons (Percentage sym) TNil) p (Constructor sym NoArguments) Unit
(Profunctor p) => ConstructBarlowGeneric (TCons (Percentage sym) TNil) p (Constructor sym (Argument output)) output
(ConstructBarlow rest p restR output, Profunctor p) => ConstructBarlowGeneric (TCons (Percentage sym) rest) p (Constructor sym (Argument restR)) output
(ConstructBarlowGeneric rest p restR output, Profunctor p) => ConstructBarlowGeneric (TCons (Percentage sym) rest) p (Constructor sym restR) output
(Choice p, Strong p) => ConstructBarlowGeneric (TCons (Percentage sym) TNil) p (Sum (Constructor sym NoArguments) r) Unit
(Choice p) => ConstructBarlowGeneric (TCons (Percentage sym) TNil) p (Sum (Constructor sym (Argument output)) r) output
(ConstructBarlow rest p restR output, Choice p) => ConstructBarlowGeneric (TCons (Percentage sym) rest) p (Sum (Constructor sym (Argument restR)) r) output
(ConstructBarlowGeneric rest p restR output, Choice p) => ConstructBarlowGeneric (TCons (Percentage sym) rest) p (Sum (Constructor sym restR) r) output
(Choice p, Strong p) => ConstructBarlowGeneric (TCons (Percentage sym) TNil) p (Sum l (Constructor sym NoArguments)) Unit
(Choice p) => ConstructBarlowGeneric (TCons (Percentage sym) TNil) p (Sum l (Constructor sym (Argument output))) output
(ConstructBarlow rest p restR output, Choice p) => ConstructBarlowGeneric (TCons (Percentage sym) rest) p (Sum l (Constructor sym (Argument restR))) output
(ConstructBarlowGeneric (TCons (Percentage sym) rest) p restR output, Choice p) => ConstructBarlowGeneric (TCons (Percentage sym) rest) p (Sum l restR) output
(Strong p) => ConstructBarlowGeneric (TCons (Percentage N1) TNil) p (Product (Argument output) r) output
(ConstructBarlow rest p restR output, Strong p) => ConstructBarlowGeneric (TCons (Percentage N1) rest) p (Product (Argument restR) r) output
(Profunctor p) => ConstructBarlowGeneric (TCons (Percentage N1) TNil) p (Argument output) output
(ConstructBarlow rest p restR output, Profunctor p) => ConstructBarlowGeneric (TCons (Percentage N1) rest) p (Argument restR) output
(ConstructBarlowGeneric (TCons (Percentage k) rest) p restR output, Strong p) => ConstructBarlowGeneric (TCons (Percentage (S k)) rest) p (Product l restR) output

#ConstructBarlow Source

class ConstructBarlow (attributes :: TList) p input output | attributes input -> output where

Members

constructBarlow :: Proxy attributes -> Optic' p input output

Instances

(Choice p) => ConstructBarlow (TCons QuestionMark TNil) p (Maybe output) output
(Choice p) => ConstructBarlow (TCons RightArrow TNil) p (Either l output) output
(Choice p) => ConstructBarlow (TCons LeftArrow TNil) p (Either output r) output
(Wander p, Traversable t) => ConstructBarlow (TCons Plus TNil) p (t output) output
(Profunctor p, Newtype nt output) => ConstructBarlow (TCons ExclamationMark TNil) p nt output
(IsSymbol sym, Cons sym output rc x, Strong p) => ConstructBarlow (TCons (RecordField sym) TNil) p (Record x) output
(ConstructBarlow rest p restR output, Choice p) => ConstructBarlow (TCons QuestionMark rest) p (Maybe restR) output
(ConstructBarlow rest p restR output, Choice p) => ConstructBarlow (TCons RightArrow rest) p (Either l restR) output
(ConstructBarlow rest p restR output, Choice p) => ConstructBarlow (TCons LeftArrow rest) p (Either restR r) output
(ConstructBarlow rest p restR output, Wander p, Traversable t) => ConstructBarlow (TCons Plus rest) p (t restR) output
(ConstructBarlow rest p restR output, Newtype nt restR, Profunctor p) => ConstructBarlow (TCons ExclamationMark rest) p nt output
(IsSymbol sym, ConstructBarlow rest p restR output, Cons sym restR rb rl, Strong p) => ConstructBarlow (TCons (RecordField sym) rest) p (Record rl) output
(Generic input rep, ConstructBarlowGeneric tlist p rep output, Profunctor p) => ConstructBarlow tlist p input output

Modules: Data.Lens.Barlow; Data.Lens.Barlow.Construction; Data.Lens.Barlow.Generic; Data.Lens.Barlow.Parser; Data.Lens.Barlow.Types