validate-input
Input validation combinator library
https://github.com/agrafix/validate-input
| LTS Haskell 22.39: | 0.5.0.0 |
| Stackage Nightly 2024-10-31: | 0.5.0.0 |
| Latest on Hackage: | 0.5.0.0 |
This version can be pinned in stack with:
validate-input-0.5.0.0@sha256:1470e59a618238e672cbd9ef98a69ae947005848e04f96e7058ba78fb951fc2a,1752Module documentation for 0.5.0.0
- Data
Depends on 8 packages(full list with versions):
validate-input
Intro
Hackage: validate-input Stackage: validate-input
Input validation combinator library
Library Usage Example
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE QuasiQuotes #-}
import Data.Validator
import qualified Data.Text as T
data Example
= Example
{ ex_username :: T.Text
, ex_dogs :: Int
, ex_friendName :: Maybe T.Text
} deriving (Show)
data ExampleChecked
= ExampleChecked
{ exc_username :: T.Text
, exc_dogs :: Int
, exc_friendName :: T.Text
} deriving (Show)
main :: IO ()
main =
do putStrLn "Check results:"
print example
checkUsername :: Monad m => ValidationRuleT String m T.Text
checkUsername =
lengthBetween 3 12 "Should between 3 and 12 chars"
>=> matchesRegex [re|^[A-za-z0-9]+$|] "only alpha num"
checkNumber :: Monad m => ValidationRuleT String m Int
checkNumber =
smallerThan 5 "No more than 5 dogs allowed"
checkExample :: Monad m => TransValidationRuleT String m Example ExampleChecked
checkExample e =
ExampleChecked
<$> checkUsername (ex_username e)
<*> checkNumber (ex_dogs e)
<*> requiredValue "You must provide a friend name!" (ex_friendName e)
example :: Either String ExampleChecked
example =
runValidator checkExample $
Example
{ ex_username = "alex"
, ex_dogs = 23
, ex_friendName = Nothing
}
Install
- Using cabal:
cabal install validate-input - Using Stack:
stack install validate-input - From Source (cabal):
git clone https://github.com/agrafix/validate-input.git && cd validate-input && cabal install - From Source (stack):
git clone https://github.com/agrafix/validate-input.git && cd validate-input && stack build
Misc
Supported GHC Versions
- 8.8.4
License
Released under the MIT license. (c) 2015-2021 Alexander Thiemann