Text.Formlets
- input' :: (String -> String -> xml) -> Maybe String -> Form xml String
- fmapFst :: (t -> t2) -> (t, t1) -> (t2, t1)
- check :: Form xml a -> (a -> Failing b) -> Form xml b
- ensure :: Show a => (a -> Bool) -> String -> a -> Failing a
- ensures :: Show a => [(a -> Bool, String)] -> a -> Failing a
- runFormState :: Env -> Form xml a -> (Collector (Failing a), xml)
- xml :: xml -> Form xml ()
- plug :: Plus xml => (xml -> xml) -> Form xml a -> Form xml a
- type Env = [(String, String)]
- data Form xml a
- class Plus a where
Documentation
input' :: (String -> String -> xml) -> Maybe String -> Form xml StringSource
Helper function for genereting input components based forms.
check :: Form xml a -> (a -> Failing b) -> Form xml bSource
Add additional validation to an already validated component
Arguments
| :: Show a | |
| => (a -> Bool) | The predicate |
| -> String | The error message, in case the predicate fails |
| -> a | The value |
| -> Failing a |
Apply a predicate to a value and return Success or Failure as appropriate
Arguments
| :: Show a | |
| => [(a -> Bool, String)] | List of predicate functions and error messages, in case the predicate fails |
| -> a | The value |
| -> Failing a |
Apply multiple predicates to a value, return Success or all the Failure messages