Trasa.Form

Documentation

reform

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)

reformQP

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)

reformPost

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)

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 e where

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

Associated Types

type ErrorInputType e :: Type

Methods

commonFormError :: CommonFormError (ErrorInputType e) -> e

Instances

FormError Text

Defined in Trasa.Form

Associated Types

type ErrorInputType Text :: Type

Methods

commonFormError :: CommonFormError (ErrorInputType Text) -> Text

Orphan instances

FormError Text

Associated Types

type ErrorInputType Text :: Type

Methods

commonFormError :: CommonFormError (ErrorInputType Text) -> Text