v_validator.purs

import Data.Validation.Semigroup

type Person = {name :: String, age :: Int, email :: String}

validateName :: String -> V (Array String) String
validateName name = if null name
                  then invalid ["Name shouldn't be empty"]
                  else pure name 

validateAge :: Int -> V (Array String) Int
validateAge age = if age < 0
                  then invalid ["Age shouldn't be less than 0"]
                  else pure age 


validateEmail :: String -> V (Array String) String
validateEmail email = if contains (Pattern "@") email
                  then pure email 
                  else invalid ["Email ID should have @"]

validatePerson :: Person -> V (Array String) Person
validatePerson person = ado
       name <- validateName person.name
       age <- validateAge person.age
       email <- validateEmail person.email
       in  {name, age, email}