Module

Polyform.Validator.Record

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

#Builder Source

newtype Builder m e i o o'

Constructors

Builder (Validator m e i (Builder o o'))

Instances

(Semigroup i, Semigroup e, Monad m) => Semigroupoid (Builder m e i)
(Monoid i, Semigroup e, Monad m) => Category (Builder m e i)

#insert Source

insert :: forall a e i o o' n m. Cons' n a o o' => Semigroup e => Applicative m => Proxy n -> Validator m e i a -> Builder m e i (Record o) (Record o')

#build Source

build :: forall e i m o. Applicative m => Semigroup e => Builder m e i (Record ()) (Record o) -> Validator m e i (Record o)