Validations.Tutorial

Contents

• validations** is a Haskell library that provides a flexible,
• digestive-functors** solves the multiple validations problem. Our formlet could look like:
• validations** is based around 4 different data types. First, a *Checker* is

Synopsis

• eitherToResult :: Either a b -> Result a b
• data User = User {
  • _firstName :: Text
  • _lastName :: Text
  • _emailAddress :: Text
  }
• notEmpty :: (Monoid a, Eq a) => a -> Either Text a
• startsWith :: Text -> Text -> Either Text Text
• confirms :: Eq a => a -> a -> Either Text a
• user :: Text -> Text -> Text -> Text -> Either Text User
• userForm :: Monad m => Form Text m User
• nonEmpty :: (Monoid a, Eq a) => Checker Text a a
• data Account = Account {
  • _name :: Text
  • _accountNumber :: Text
  }
• name :: Lens Text Account
• accountNumber :: Lens Text Account
• nameField :: Text
• confirmNameField :: Text
• accountNumberField :: Text
• accountForm :: Monad m => Form Text m (Text, Text, Text)
• lengthIs :: Int -> Checker Text Text Text
• accountValidation :: Monad m => (Text, Text, Text) -> Validation [(Text, Text)] m Account Account
• posted :: Monad m => m (View Text, Maybe (Text, Text, Text))
• validatedPosted :: Monad m => m (View Text, Maybe Account)

Documentation

validations** is a Haskell library that provides a flexible,

digestive-functors** solves the multiple validations problem. Our formlet could look like:

validations** is based around 4 different data types. First, a *Checker* is