Module
Generic.Optic.Ctor.Internal
- Package
- purescript-generics-rep-optics
- Repository
- LiamGoodacre/purescript-generics-rep-optics
#repCtor' Source
repCtor' :: forall p a s ctor. GenericCtor p ctor s a => SProxy ctor -> p a a -> p s s#GenericCtor Source
class GenericCtor p ctor rep a | ctor rep -> a whereMembers
_GenericCtor :: SProxy ctor -> p a a -> p rep rep
Instances
(Choice p, GenericCtorArg ctor p arg a) => GenericCtor p ctor (Sum (Constructor ctor arg) r) a(Choice p, GenericCtor p ctor r a) => GenericCtor p ctor (Sum l r) a(Profunctor p, GenericCtorArg ctor p arg a) => GenericCtor p ctor (Constructor ctor arg) a(Fail (Beside (Beside (Text "No constructors found called `") (Text ctor)) (Text "`"))) => GenericCtor p ctor (Constructor other b) a
#GenericCtorArg Source
class GenericCtorArg ctor p arg a | arg -> a whereMembers
_GenericCtorArg :: SProxy ctor -> p a a -> p arg arg
Instances
(Profunctor p) => GenericCtorArg ctor p (Argument a) a(Profunctor p) => GenericCtorArg ctor p NoArguments Unit(Fail (Beside (Beside (Text "Multiple arguments found for constructor `") (Text ctor)) (Text "`"))) => GenericCtorArg ctor p (Product l r) a