Module
Data.Lens.Barlow.Construction
- Package
- purescript-barlow-lens
- Repository
- sigma-andex/purescript-barlow-lens
#ConstructBarlowGeneric Source
class ConstructBarlowGeneric :: TList -> (Type -> Type -> Type) -> Type -> Type -> Type -> Type -> Constraintclass ConstructBarlowGeneric (lenses :: TList) p s t a b | lenses s -> t a b where
Members
constructBarlowGeneric :: Proxy lenses -> Optic p s t a b
Instances
(Strong p) => ConstructBarlowGeneric (TCons (Percentage sym) TNil) p (Constructor sym NoArguments) (Constructor sym NoArguments) Unit Unit(Profunctor p) => ConstructBarlowGeneric (TCons (Percentage sym) TNil) p (Constructor sym (Argument a)) (Constructor sym (Argument a)) a a(ConstructBarlow rest p restA restA a a, Profunctor p) => ConstructBarlowGeneric (TCons (Percentage sym) rest) p (Constructor sym (Argument restA)) (Constructor sym (Argument restA)) a a(ConstructBarlowGeneric rest p restA restA a a, Profunctor p) => ConstructBarlowGeneric (TCons (Percentage sym) rest) p (Constructor sym restA) (Constructor sym restA) a a(Choice p, Strong p) => ConstructBarlowGeneric (TCons (Percentage sym) TNil) p (Sum (Constructor sym NoArguments) r) (Sum (Constructor sym NoArguments) r) Unit Unit(Choice p) => ConstructBarlowGeneric (TCons (Percentage sym) TNil) p (Sum (Constructor sym (Argument a)) r) (Sum (Constructor sym (Argument a)) r) a a(ConstructBarlow rest p restA restA a a, Choice p) => ConstructBarlowGeneric (TCons (Percentage sym) rest) p (Sum (Constructor sym (Argument restA)) r) (Sum (Constructor sym (Argument restA)) r) a a(ConstructBarlowGeneric rest p restA restA a a, Choice p) => ConstructBarlowGeneric (TCons (Percentage sym) rest) p (Sum (Constructor sym restA) r) (Sum (Constructor sym restA) r) a a(Choice p, Strong p) => ConstructBarlowGeneric (TCons (Percentage sym) TNil) p (Sum l (Constructor sym NoArguments)) (Sum l (Constructor sym NoArguments)) Unit Unit(Choice p) => ConstructBarlowGeneric (TCons (Percentage sym) TNil) p (Sum l (Constructor sym (Argument a))) (Sum l (Constructor sym (Argument a))) a a(ConstructBarlow rest p restA restA a a, Choice p) => ConstructBarlowGeneric (TCons (Percentage sym) rest) p (Sum l (Constructor sym (Argument restA))) (Sum l (Constructor sym (Argument restA))) a a(ConstructBarlowGeneric (TCons (Percentage sym) rest) p restA restA a a, Choice p) => ConstructBarlowGeneric (TCons (Percentage sym) rest) p (Sum l restA) (Sum l restA) a a(Strong p) => ConstructBarlowGeneric (TCons (Percentage N1) TNil) p (Product (Argument a) r) (Product (Argument a) r) a a(ConstructBarlow rest p restA restA a a, Strong p) => ConstructBarlowGeneric (TCons (Percentage N1) rest) p (Product (Argument restA) r) (Product (Argument restA) r) a a(Profunctor p) => ConstructBarlowGeneric (TCons (Percentage N1) TNil) p (Argument a) (Argument a) a a(ConstructBarlow rest p restA restA a a, Profunctor p) => ConstructBarlowGeneric (TCons (Percentage N1) rest) p (Argument restA) (Argument restA) a a(ConstructBarlowGeneric (TCons (Percentage k) rest) p restA restA a a, Strong p) => ConstructBarlowGeneric (TCons (Percentage (S k)) rest) p (Product l restA) (Product l restA) a a
#ConstructBarlow Source
class ConstructBarlow :: TList -> (Type -> Type -> Type) -> Type -> Type -> Type -> Type -> Constraintclass ConstructBarlow (lenses :: TList) p s t a b | lenses s -> t a b where
Members
constructBarlow :: Proxy lenses -> Optic p s t a b
Instances
(Choice p) => ConstructBarlow (TCons QuestionMark TNil) p (Maybe a) (Maybe b) a b(Choice p) => ConstructBarlow (TCons RightArrow TNil) p (Either l a) (Either l b) a b(Choice p) => ConstructBarlow (TCons LeftArrow TNil) p (Either a r) (Either b r) a b(Wander p, Traversable t) => ConstructBarlow (TCons Plus TNil) p (t a) (t b) a b(Profunctor p, Newtype nt a) => ConstructBarlow (TCons ExclamationMark TNil) p nt nt a a(IsSymbol sym, Cons sym a rc x, Cons sym b rc y, Strong p) => ConstructBarlow (TCons (RecordField sym) TNil) p (Record x) (Record y) a b(ConstructBarlow rest p restA restB a b, Choice p) => ConstructBarlow (TCons QuestionMark rest) p (Maybe restA) (Maybe restB) a b(ConstructBarlow rest p restA restB a b, Choice p) => ConstructBarlow (TCons RightArrow rest) p (Either l restA) (Either l restB) a b(ConstructBarlow rest p restA restB a b, Choice p) => ConstructBarlow (TCons LeftArrow rest) p (Either restA r) (Either restB r) a b(ConstructBarlow rest p restA restB a b, Wander p, Traversable t) => ConstructBarlow (TCons Plus rest) p (t restA) (t restB) a b(ConstructBarlow rest p restA restA a a, Newtype nt restA, Profunctor p) => ConstructBarlow (TCons ExclamationMark rest) p nt nt a a(IsSymbol sym, ConstructBarlow rest p restA restB a b, Cons sym restA thru rx, Cons sym restB thru ry, Strong p) => ConstructBarlow (TCons (RecordField sym) rest) p (Record rx) (Record ry) a b(Generic s repS, ConstructBarlowGeneric tlist p repS repS a a, Profunctor p) => ConstructBarlow tlist p s s a a