Module

Data.ValidationSelective

Package: purescript-selective
Repository: anttih/purescript-selective

#VS Source

newtype VS e a

Instances

(Eq e, Eq a) => Eq (VS e a)
(Eq e) => Eq1 (VS e)
(Ord e, Ord a) => Ord (VS e a)
(Ord e) => Ord1 (VS e)
(Show err, Show result) => Show (VS err result)
Functor (VS e)
(Semigroup e) => Apply (VS e)
(Semigroup e) => Applicative (VS e)
(Semigroup e) => Selective (VS e)

#invalid Source

invalid :: forall result err. err -> VS err result

Fail with a validation error.

#isValid Source

isValid :: forall result err. VS err result -> Boolean

Test whether validation was successful or not.

Modules: Control.Selective; Data.ValidationSelective