Polyform.Dual.Generic.Sum

class GDualSum p i rep (r :: Row Type) | rep -> r p i where

Members

• gDual :: Functor (p i) => Alt (p i) => (forall s a. IsSymbol s => SProxy s -> Dual p i a -> Dual p i a) -> Record r -> Dual p i rep

Instances

• (GDualSum p i a r, GDualSum p i b r) => GDualSum p i (Sum a b) r
• (IsSymbol sym, Cons sym (Dual p i a) rx r, GDualCtr p i a b) => GDualSum p i (Constructor sym b) r

class GDualCtr p i o o' | o -> o' where

Members

• gDualCtr :: Functor (p i) => Dual p i o -> Dual p i o'

Instances

• GDualCtr p i (Product a b) (Product a b)
• GDualCtr p i NoArguments NoArguments
• GDualCtr p i (Argument a) (Argument a)
• GDualCtr p i a (Argument a)

sum :: forall r rep p i a. Generic a rep => GDualSum p i rep r => Functor (p i) => Alt (p i) => Profunctor p => (forall s x. IsSymbol s => SProxy s -> Dual p i x -> Dual p i x) -> Record r -> Dual p i a

noArgs :: forall i p. Applicative (p i) => Monoid i => Dual p i NoArguments

noArgs' :: forall i p. Applicative (p i) => i -> Dual p i NoArguments

unit :: forall i p. Applicative (p i) => Monoid i => Dual p i Unit

unit' :: forall i p. Applicative (p i) => i -> Dual p i Unit