Module

Polyform.Duals.Validator.Generic

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

#sum Source

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

#variant Source

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

Modules: Polyform.Dual; Polyform.Dual.Generic; Polyform.Dual.Generic.Sum; Polyform.Dual.Generic.Variant; Polyform.Dual.Record; Polyform.Dual.Variant; Polyform.Duals.Validator; Polyform.Duals.Validator.Generic; Polyform.Duals.Validator.Pure; Polyform.Exceptor; Polyform.Parser; Polyform.StarExceptT; Polyform.Validator; Polyform.Validator.Par; Polyform.Validator.Pure; Polyform.Validator.Record