formlets-0.1: Formlets implemented in Haskell Source code Contents Index

Text.Formlets

Synopsis

module Text.Formlets.Form input :: Maybe String -> Form String password :: Maybe String -> Form String inputF :: Maybe String -> FailingForm String passwordF :: Maybe String -> FailingForm String ensure :: Show a => (a -> Bool) -> String -> a -> Failing a type FailingForm a = (Form :+: Failing) a validate :: Form a -> FailingForm a runFormState :: Env -> FailingForm a -> FormState -> ((Collector (Failing a), Xml), FormState) inputIntegerF :: Maybe Integer -> FailingForm Integer check :: FailingForm a -> (a -> Failing b) -> FailingForm b liftForm :: (Form (f a) -> Form (f a)) -> (Form :+: f) a -> (Form :+: f) a

Documentation

module Text.Formlets.Form

input :: Maybe String -> Form String Source

Component: an input field with an optional value

password :: Maybe String -> Form String Source

Component: a password field with an optional value

inputF :: Maybe String -> FailingForm String Source

A trivially validated input component

passwordF :: Maybe String -> FailingForm String Source

A trivially validated password component

ensure Source

:: 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

type FailingForm a = (Form :+: Failing) a Source

A form whose output may fail

validate :: Form a -> FailingForm a Source

Lift a form component to a failing form component

runFormState Source

:: => Env A previously filled environment (may be empty) -> FailingForm a The form -> FormState Initial form state -> ((Collector (Failing a), Xml), FormState)

inputIntegerF :: Maybe Integer -> FailingForm Integer Source

A validated integer component

check :: FailingForm a -> (a -> Failing b) -> FailingForm b Source

Add additional validation to an already validated component

liftForm :: (Form (f a) -> Form (f a)) -> (Form :+: f) a -> (Form :+: f) a Source

Lifts a function on a Form to a function on a composed form.

Produced by Haddock version 2.3.0