Data.Validation.Jaws.Product

newtype Builder m tok a b

This is really general type which is specialized below. I'm thinking of it here as a builder which extracts/validates product elements from given tok, "attaching" them to results from previous validation steps a. It is really close to categorical view of product - if we want to treat input data tok as product we have to be able to provide morphisms which extract elements of this product from it.

Constructors

• Builder (tok -> a -> m b)

Instances

• (Functor m) => Functor (Builder m tok a)
• (Monad m) => Apply (Builder m tok a)
• (Monad m) => Applicative (Builder m tok a)
• (Monad m) => Bind (Builder m tok a)

  This is just a Reader over Tuple tok a

• (Monad m) => Category (Builder m tok)
• (Bind m) => Semigroupoid (Builder m tok)
• (Monad m) => Profunctor (Builder m tok)
• (Monad m) => Choice (Builder m tok)
• (Monad m) => Strong (Builder m a)

data Result i v

This is our helper type which traces both (valid and invalid) values on it's "success branch", so if any further validation failure we can easily build error value.

Constructors

• Invalid i
• Valid i v

Instances

• Functor (Result i)
• Bifunctor Result

valid :: forall v i. v -> Result (Either i v) v

mapI :: forall v i' i. (i -> i') -> Result i v -> Result i' v

type ProductValidation m tok i i' v v' = Builder m tok (Result i v) (Result i' v')

tupleValidation :: forall v tok m i e b. Monad m => (tok -> m (Either e b)) -> ProductValidation m tok i (Tuple (Either e b) i) v (Tuple b v)

pureTupleValidation :: forall v tok m i e b. Monad m => (tok -> Either e b) -> ProductValidation m tok i (Tuple (Either e b) i) v (Tuple b v)

runTupleValidation :: forall v tok m i. Monad m => ProductValidation m tok Unit i Unit v -> (tok -> m (Either i v))

recordFieldValidation :: 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 -> (tok -> m (Either e b)) -> ProductValidation m tok (Record i) (Record i') (Record v) (Record v')

pureRecordFieldValidation :: 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 -> (tok -> Either e b) -> ProductValidation m tok (Record i) (Record i') (Record v) (Record v')

runRecordValidation :: forall v tok m i. Monad m => ProductValidation m tok (Record ()) (Record i) (Record ()) (Record v) -> (tok -> m (Either (Record i) (Record v)))