{-# LANGUAGE RecordWildCards #-}
module Main where
import Data.Menshen
data Body = Body
{ name :: String
, age :: Int
} deriving Show
verifyBody :: Validator Body
verifyBody = vcvt $ Body{..} -> Body
<$> name ?: mark "name" . pattern "^[a-z]{3,6}$"
<*> age ?: mark "age" . minInt 1 . maxInt 150
makeBody :: String -> Int -> Either String Body
makeBody name age = Body{..} ?: verifyBody
main = do
print $ makeBody "daniel" 15
This repository has been archived by the owner on Jan 27, 2021. It is now read-only.