- newFormIdent :: Monad m => Form msg m Text
- askParams :: Monad m => Form msg m (Maybe Env)
- askFiles :: Monad m => Form msg m (Maybe FileEnv)
- formToAForm :: Monad m => Form msg m (FormResult a, xml) -> AForm ([xml] -> [xml]) msg m a
- aFormToForm :: Monad m => AForm xml msg m a -> Form msg m (FormResult a, xml)
- mreq :: (Monad m, RenderMessage master msg, RenderMessage master msg2, RenderMessage master FormMessage) => Field xml msg a -> FieldSettings msg2 -> Maybe a -> Form master (GGHandler sub master m) (FormResult a, FieldView xml)
- mopt :: (Monad m, RenderMessage master msg, RenderMessage master msg2) => Field xml msg a -> FieldSettings msg2 -> Maybe (Maybe a) -> Form master (GGHandler sub master m) (FormResult (Maybe a), FieldView xml)
- areq :: (Monad m, RenderMessage master msg1, RenderMessage master msg2, RenderMessage master FormMessage) => Field xml msg1 a -> FieldSettings msg2 -> Maybe a -> AForm ([FieldView xml] -> [FieldView xml]) master (GGHandler sub master m) a
- aopt :: (Monad m, RenderMessage master msg1, RenderMessage master msg2) => Field xml msg1 a -> FieldSettings msg2 -> Maybe (Maybe a) -> AForm ([FieldView xml] -> [FieldView xml]) master (GGHandler sub master m) (Maybe a)
- runFormPost :: RenderMessage master FormMessage => (Html -> Form master (GHandler sub master) (FormResult a, xml)) -> GHandler sub master ((FormResult a, xml), Enctype)
- runFormPostNoNonce :: (Html -> Form master (GHandler sub master) (FormResult a, xml)) -> GHandler sub master ((FormResult a, xml), Enctype)
- runFormGet :: Monad m => (Html -> Form master (GGHandler sub master m) a) -> GGHandler sub master m (a, Enctype)
- type FormRender master msg m a = AForm ([FieldView (GGWidget master m ())] -> [FieldView (GGWidget master m ())]) msg m a -> Html -> Form msg m (FormResult a, GGWidget master m ())
- renderTable :: Monad m => FormRender master msg m a
- renderDivs :: Monad m => FormRender master msg m a
Running in Form monad
newFormIdent :: Monad m => Form msg m TextSource
Get a unique identifier.
Applicative/Monadic conversion
formToAForm :: Monad m => Form msg m (FormResult a, xml) -> AForm ([xml] -> [xml]) msg m aSource
aFormToForm :: Monad m => AForm xml msg m a -> Form msg m (FormResult a, xml)Source
Fields to Forms
mreq :: (Monad m, RenderMessage master msg, RenderMessage master msg2, RenderMessage master FormMessage) => Field xml msg a -> FieldSettings msg2 -> Maybe a -> Form master (GGHandler sub master m) (FormResult a, FieldView xml)Source
mopt :: (Monad m, RenderMessage master msg, RenderMessage master msg2) => Field xml msg a -> FieldSettings msg2 -> Maybe (Maybe a) -> Form master (GGHandler sub master m) (FormResult (Maybe a), FieldView xml)Source
areq :: (Monad m, RenderMessage master msg1, RenderMessage master msg2, RenderMessage master FormMessage) => Field xml msg1 a -> FieldSettings msg2 -> Maybe a -> AForm ([FieldView xml] -> [FieldView xml]) master (GGHandler sub master m) aSource
aopt :: (Monad m, RenderMessage master msg1, RenderMessage master msg2) => Field xml msg1 a -> FieldSettings msg2 -> Maybe (Maybe a) -> AForm ([FieldView xml] -> [FieldView xml]) master (GGHandler sub master m) (Maybe a)Source
Run a form
runFormPost :: RenderMessage master FormMessage => (Html -> Form master (GHandler sub master) (FormResult a, xml)) -> GHandler sub master ((FormResult a, xml), Enctype)Source
runFormPostNoNonce :: (Html -> Form master (GHandler sub master) (FormResult a, xml)) -> GHandler sub master ((FormResult a, xml), Enctype)Source
runFormGet :: Monad m => (Html -> Form master (GGHandler sub master m) a) -> GGHandler sub master m (a, Enctype)Source
Rendering
type FormRender master msg m a = AForm ([FieldView (GGWidget master m ())] -> [FieldView (GGWidget master m ())]) msg m a -> Html -> Form msg m (FormResult a, GGWidget master m ())Source
renderTable :: Monad m => FormRender master msg m aSource
renderDivs :: Monad m => FormRender master msg m aSource