Safe Haskell	None
Language	Haskell2010

Trasa.Form

Contents

Synopsis

reform :: (MonadIO m, Monoid view) => ([(Text, Text)] -> view -> view) -> Text -> Form (TrasaT m) Text err view a -> TrasaT m (Result err a, view)
reformQP :: (MonadIO m, Monoid view) => ([(Text, Text)] -> view -> view) -> Text -> Form (TrasaT m) QueryParam err view a -> TrasaT m (Result err a, view)
reformPost :: (MonadIO m, Monoid view) => ([(Text, Text)] -> view -> view) -> Text -> ByteString -> Form (TrasaT m) QueryParam err view a -> TrasaT m (Result err a, view)
liftParser :: (Text -> Either Text a) -> QueryParam -> Either Text a
type TrasaForm a = Form (TrasaT IO) QueryParam Text (Html ()) a
type TrasaSimpleForm a = Form (TrasaT IO) Text Text (Html ()) a
class FormError input err where
- commonFormError :: CommonFormError input -> err

Documentation

Arguments

:: (MonadIO m, Monoid view)
=> ([(Text, Text)] -> view -> view)	wrap raw form html inside a form tag
-> Text	form name prefix
-> Form (TrasaT m) Text err view a	the formlet
-> TrasaT m (Result err a, view)

Arguments

:: (MonadIO m, Monoid view)
=> ([(Text, Text)] -> view -> view)	wrap raw form html inside a form tag
-> Text	form name prefix
-> Form (TrasaT m) QueryParam err view a	the formlet
-> TrasaT m (Result err a, view)

Arguments

:: (MonadIO m, Monoid view)
=> ([(Text, Text)] -> view -> view)	wrap raw form html inside a form tag
-> Text	form name prefix
-> ByteString
-> Form (TrasaT m) QueryParam err view a	the formlet
-> TrasaT m (Result err a, view)

class FormError input err where #

A Class to lift a CommonFormError into an application-specific error type

Methods

Instances

FormError Text Text
Instance details Defined in Ditto.Backend Methods commonFormError :: CommonFormError Text -> Text #
FormError QueryParam Text Source #
Instance details Defined in Trasa.Form Methods commonFormError :: CommonFormError QueryParam -> Text #

Orphan instances

FormInput QueryParam Source #
Instance details Associated Types type FileType QueryParam :: Type # Methods getInputString :: FormError QueryParam err => QueryParam -> Either err String # getInputStrings :: QueryParam -> [String] # getInputText :: FormError QueryParam err => QueryParam -> Either err Text # getInputTexts :: QueryParam -> [Text] # getInputFile :: FormError QueryParam err => QueryParam -> Either err (FileType QueryParam) #
FormError QueryParam Text Source #
Instance details Methods commonFormError :: CommonFormError QueryParam -> Text #