Polyform.Input.Interpret.Record

class VariantFieldsType (rl :: RowList) (vo :: Row Type) a | rl a -> vo

Instances

• (VariantFieldsType rl vo' a, Cons sym Unit vo' vo) => VariantFieldsType (Cons sym a rl) vo a
• (VariantFieldsType rl vo a) => VariantFieldsType (Cons sym b rl) vo a
• VariantFieldsType Nil () a

onMatch :: forall v r rl a. RowToList r rl => VariantFieldsType rl v a => Record r -> Variant v -> a

handleInt :: forall ql q m n e. Monoid e => Monad m => RowToList q ql => VariantFieldsType ql n Int => (IntF (Variant n) e (Record q)) ~> m

handleString :: forall ql q m n err. Monoid err => Monad m => RowToList q ql => VariantFieldsType ql n String => (StringF (Variant n) err (Record q)) ~> m

handle :: forall ql q m n' n es ei. Monoid ei => Monoid es => Monad m => RowToList q ql => VariantFieldsType ql n String => VariantFieldsType ql n' Int => (VariantF (int :: FProxy (IntF (Variant n') ei (Record q)), string :: FProxy (StringF (Variant n) es (Record q)))) ~> m

interpret :: forall ql q m n' n e a. Monoid e => Monad m => RowToList q ql => VariantFieldsType ql n String => VariantFieldsType ql n' Int => Run (int :: FProxy (IntF (Variant n') e (Record q)), string :: FProxy (StringF (Variant n) e (Record q))) a -> m a