Polyform.Dual.Generic.Variant

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

Members

• gDualV :: Alt (p i) => Functor (p i) => RLProxy dl -> (forall s a. IsSymbol s => SProxy s -> Dual p i a -> Dual p i a) -> Record d -> Dual p i (Variant 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)