Polyform.Dual.Generic.Variant

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

Members

• gDualV :: Alt (p i) => Functor (p i) => Proxy dl -> (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)

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 :: 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)