Polyform.Validation

data V e a

Constructors

• Invalid e
• Valid e a

Instances

• Functor (V e)
• Bifunctor V
• (Semigroup e) => Apply (V e)
• (Eq e, Eq a) => Eq (V e a)
• (Ord e, Ord a) => Ord (V e a)
• (Show e, Show a) => Show (V e a)
• (Monoid e) => Applicative (V e)
• (Semigroup e) => Alt (V e)

  This instance uses first valid value and accumulates our semigroup.

  pure (Valid e1 a1) <|> pure (Invalid e2) = Valid (e1 <> e2) a1 pure (Valid e1 a1) <|> pure (Valid e2 a2) = Valid (e1 <> e2) a1

  If you need opposite strategy just use apply which "prefers" invalid results:

  pure (Valid e1 a1) > pure (Invalid e2) = Invalid (e1 <> e2) pure (Invalid e1) > pure (Valid e2 a2) = Invalid (e1 <> e2) pure (Valid e1 a1) *> pure (Valid e2 a2) = Valid e2 a2

  If you find not accumulative instances useful please provide a PR with related tests.

• (Semigroup err, Semigroup a) => Semigroup (V err a)

  Defaul Semigroup instance appends valid and invalid parts of our V.

• (Monoid e, Monoid a) => Monoid (V e a)

isValid :: forall e a. V e a -> Boolean

fromEither :: forall e a. Either e a -> V (Either e a) a

newtype Validation m e a b

Constructors

• Validation (a -> m (V e b))

Instances

• Newtype (Validation m e a b) _
• (Functor m) => Functor (Validation m e a)
• (Semigroup e, Monad m) => Apply (Validation m e a)
• (Monoid e, Monad m) => Applicative (Validation m e a)
• (Monoid e, Monad m) => Alt (Validation m e a)
• (Semigroup (m (V e b))) => Semigroup (Validation m e a b)
• (Applicative m, Monoid e, Monoid b, Semigroup (m (V e b))) => Monoid (Validation m e a b)
• (Monad m, Semigroup e) => Semigroupoid (Validation m e)
• (Monad m, Monoid e) => Category (Validation m e)
• (Monad m, Monoid e) => Profunctor (Validation m e)
• (Monad m, Monoid e) => Choice (Validation m e)

runValidation :: forall m e b a. Validation m e a b -> (a -> m (V e b))

ask :: forall m e a. Monad m => Monoid e => Validation m e a a

hoistFn :: forall m b e a. Monad m => Monoid e => (a -> b) -> Validation m e a b

hoistFnV :: forall m b e a. Monad m => Monoid e => (a -> V e b) -> Validation m e a b

hoistFnMV :: forall m b e a. Monad m => Monoid e => (a -> m (V e b)) -> Validation m e a b

newtype BifunctorValidation m a e b

Provides access to validation result so you can bimap over e and b type in resulting V e b.

Constructors

• BifunctorValidation (Validation m e a b)

Instances

• Newtype (BifunctorValidation m a e b) _
• (Monad m) => Bifunctor (BifunctorValidation m a)

bimapValidation :: forall m e' e b' b a. Monad m => (e -> e') -> (b -> b') -> Validation m e a b -> Validation m e' a b'