Text.Digestive.Forms

Documentation

class FormInput i f | i -> f where

Class which all backends should implement. i is here the type that is used to represent a value uploaded by the client in the request

Methods

getInputString :: i -> Maybe String

Parse the input into a string. This is used for simple text fields among other things

getInputText :: i -> Maybe Text

Parse the input value into Text. The default implementation uses 'T.pack . getInputString', a more efficient version may be implemented.

getInputFile :: i -> Maybe f

Get a file descriptor for an uploaded file

inputString

Arguments

:: (Monad m, Functor m, FormInput i f)

=> (FormId -> Maybe String -> v)

View constructor

-> Maybe String

Default value

-> Form m i e v String

Resulting form

inputRead

Arguments

:: (Monad m, Functor m, FormInput i f, Read a, Show a)

=> (FormId -> Maybe String -> v)

View constructor

-> e

Error when no read

-> Maybe a

Default input

-> Form m i e v a

Resulting form

inputBool

Arguments

:: (Monad m, Functor m, FormInput i f)

=> (FormId -> Bool -> v)

View constructor

-> Bool

Default input

-> Form m i e v Bool

Resulting form

inputChoice

Arguments

:: (Monad m, Functor m, FormInput i f, Monoid v, Eq a)

=> (FormId -> String -> Bool -> a -> v)

Choice constructor

-> a

Default option

-> [a]

Choices

-> Form m i e v a

Resulting form

inputFile

Arguments

:: (Monad m, Functor m, FormInput i f)

=> (FormId -> v)

View constructor

-> Form m i e v (Maybe f)

Resulting form