Polyform.Dual.Generic

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

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

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

class GDualVariant p i (dl :: RowList) (d :: Row Type) (v :: Row Type) | dl -> d p i v

Instances

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

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