validations-0.1.0.2: A nice way to define field validations in Haskell.

Safe HaskellSafe-Inferred
LanguageHaskell2010

Validations.Tutorial

Documentation

eitherToResult :: Either a b -> Result a b Source

data User Source

Constructors

User 

Fields

_firstName :: Text
 
_lastName :: Text
 
_emailAddress :: Text
 

Instances

notEmpty :: (Monoid a, Eq a) => a -> Either Text a Source

startsWith :: Text -> Text -> Either Text Text Source

confirms :: Eq a => a -> a -> Either Text a Source

user :: Text -> Text -> Text -> Text -> Either Text User Source

userForm :: Monad m => Form Text m User Source

nonEmpty :: (Monoid a, Eq a) => Checker Text a a Source

data Account Source

Constructors

Account 

Fields

_name :: Text
 
_accountNumber :: Text
 

Instances

name :: Lens Text Account Source

accountNumber :: Lens Text Account Source

nameField :: Text Source

confirmNameField :: Text Source

accountNumberField :: Text Source

accountForm :: Monad m => Form Text m (Text, Text, Text) Source

lengthIs :: Int -> Checker Text Text Text Source

accountValidation :: Monad m => (Text, Text, Text) -> Validation [(Text, Text)] m Account Account Source

posted :: Monad m => m (View Text, Maybe (Text, Text, Text)) Source

validatedPosted :: Monad m => m (View Text, Maybe Account) Source