Module

Polyform.Dual.Generic

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

Re-exports from Polyform.Dual.Generic.Sum

#GDualSum Source

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

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

#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

Re-exports from Polyform.Dual.Generic.Variant

#GDualVariant Source

class GDualVariant p s i dl d v | dl -> d p s i v

Instances

(IsSymbol l, Cons l a () v, Cons l (Dual p s i a) () d) => GDualVariant p s i (Cons l (Dual p s i a) Nil) d v
(IsSymbol l, Cons l a () x, Union vt x v, Cons l a vt v, Lacks l dt, Cons l (Dual p s i a) dt d, GDualVariant p s i dlt dt vt) => GDualVariant p s i (Cons l (Dual p s i a) dlt) d v

#variant Source

variant :: forall d dl p i v s. RowToList d dl => Alt (p i) => Functor (p i) => GDualVariant p s i dl d v => (forall a l. IsSymbol l => Proxy l -> Dual p s i a -> Dual p s i a) -> Record d -> Dual p s i (Variant v)