Yesod.Form.Types

Helpers

data Enctype

The encoding type required by a form. The ToHtml instance produces values that can be inserted directly into HTML.

Constructors

UrlEncoded

Multipart

Instances

Bounded Enctype

Enum Enctype

Eq Enctype

Monoid Enctype

ToHtml Enctype

data FormResult a

A form can produce three different results: there was no data available, the data was invalid, or there was a successful parse.

The Applicative instance will concatenate the failure messages in two FormResults.

Constructors

FormMissing

FormFailure [Text]

FormSuccess a

Instances

Functor FormResult

Applicative FormResult

Show a => Show (FormResult a)

Monoid m => Monoid (FormResult m)

type Env = Map Text [Text]

type FileEnv = Map Text FileInfo

data Ints

Constructors

IntCons Int Ints

IntSingle Int

Instances

Show Ints

Form

type Form sub master a = RWST (Maybe (Env, FileEnv), master, [Lang]) Enctype Ints (GGHandler sub master IO) a

newtype AForm sub master a

Constructors

AForm

Fields

unAForm :: (master, [Text]) -> Maybe (Env, FileEnv) -> Ints -> GGHandler sub master IO (FormResult a, [FieldView sub master] -> [FieldView sub master], Ints, Enctype)

Instances

Functor (AForm sub master)

Applicative (AForm sub master)

Monoid a => Monoid (AForm sub master a)

Build forms

data Field sub master a

Constructors

Field

Fields

fieldParse :: [Text] -> GGHandler sub master IO (Either (SomeMessage master) (Maybe a))

fieldView :: Text -> Text -> Either Text a -> Bool -> GWidget sub master ()

ID, name, (invalid text OR legimiate result), required?

data FieldSettings msg

Constructors

FieldSettings

Fields

fsLabel :: msg

fsTooltip :: Maybe msg

fsId :: Maybe Text

fsName :: Maybe Text

Instances

a ~ Text => IsString (FieldSettings a)

data FieldView sub master

Constructors

FieldView

Fields

fvLabel :: Html

fvTooltip :: Maybe Html

fvId :: Text

fvInput :: GWidget sub master ()

fvErrors :: Maybe Html

fvRequired :: Bool