Yesod.Form.Generic

Documentation

newtype GForm w m a

Constructors

GForm

Fields

unGForm :: (HandlerSite m, [Text]) -> Maybe (Env, FileEnv) -> Ints -> m (FormResult a, w, Ints, Enctype)

Instances

Monad m => Functor (GForm w m)

(Monad m, Monoid w) => Applicative (GForm w m)

mghelper

Arguments

:: MonadHandler m

=> Enctype

-> ([Text] -> [FileInfo] -> m (FormResult a))

parser

-> (Text -> [Text] -> FormResult a -> w)

function for building output, needs name and vals

-> MForm m (FormResult a, w)

ghelper

Arguments

:: MonadHandler m

=> Enctype

-> ([Text] -> [FileInfo] -> m (FormResult a))

parser

-> (Text -> [Text] -> FormResult a -> w)

function for building output, needs name

-> GForm w m a

formToGForm :: (HandlerSite m ~ site, Monad m) => MForm m (FormResult a, w) -> GForm w m a

gFormToForm :: (Monad m, HandlerSite m ~ site) => GForm w m a -> MForm m (FormResult a, w)

monoidToGForm :: Monad m => w -> GForm w m ()