Module

Data.Validation.Jaws

Package
purescript-jaws
Repository
paluh/purescript-jaws

#addField Source

addField :: forall b e i i' l m tok v v'. IsSymbol l => Monad m => RowCons l (Either e b) i i' => RowCons l b v v' => RowLacks l i => RowLacks l v => Functor m => SProxy l -> CoproductValidation m e tok b -> ProductValidation m tok (Record i) (Record i') (Record v) (Record v')

#buildRecord Source

buildRecord :: forall i m v tok. Monad m => ProductValidation m tok (Record ()) (Record i) (Record ()) (Record v) -> CoproductValidation m (Record i) tok (Record v)

#buildRecord' Source

buildRecord' :: forall i l m v r r' tok. Monad m => IsSymbol l => RowCons l (Record i) r r' => SProxy l -> ProductValidation m tok (Record ()) (Record i) (Record ()) (Record v) -> CoproductValidation m (Variant r') tok (Record v)