Data.Validation.Jaws

addField :: forall v' v tok m l i' i e b. 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 :: forall tok v m i. Monad m => ProductValidation m tok (Record ()) (Record i) (Record ()) (Record v) -> CoproductValidation m (Record i) tok (Record v)

buildRecord' :: forall tok r' r v m l i. 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)