Module

Polyform.Validator.Dual.Generic

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

#sum Source

sum :: forall a m e i rep r s. Monad m => Semigroup e => Generic a rep => GDualSum (Validator m e) s i rep r => (forall x l. IsSymbol l => Proxy l -> Dual (Validator m e) s i x -> Dual (Validator m e) s i x) -> Record r -> Dual (Validator m e) s i a

#variant Source

variant :: forall e i d dl m s v. Monad m => RowToList d dl => Semigroup e => GDualVariant (Validator m e) s i dl d v => (forall a l. IsSymbol l => Proxy l -> Dual (Validator m e) s i a -> Dual (Validator m e) s i a) -> Record d -> Dual (Validator m e) s i (Variant v)