Module

Polyform.Dual.Generic.Sum

Package: purescript-polyform
Repository: purescript-polyform/polyform

#GDualSum Source

class GDualSum p s i rep r | rep -> r p i where

Members

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

Instances

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

#GDualCtr Source

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

Members

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

Instances

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

#sum Source

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

#noArgs Source

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

#noArgs' Source

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

#unit Source

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

#unit' Source

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