SimpleForm.Combined

Forms that configure themselves based on type

The Combined module both renders to Html and also parses input.

Documentation

type Widget a = Maybe a -> Maybe Text -> Text -> InputOptions -> Input

The type of a widget renderer

class DefaultWidget a where

Infer a Widget based on type

Methods

wdef :: Widget a

wdefList :: Widget [a]

Instances

DefaultWidget Bool

DefaultWidget Char

DefaultWidget Double

DefaultWidget Float

DefaultWidget Int

DefaultWidget Integer

DefaultWidget Text

DefaultWidget EmailAddress

DefaultWidget LocalTime

DefaultWidget ZonedTime

DefaultWidget TimeOfDay

DefaultWidget UTCTime

DefaultWidget Day

DefaultWidget URI

DefaultWidget a => DefaultWidget [a]

(Integral a, Show a) => DefaultWidget (Ratio a)

DefaultWidget a => DefaultWidget (Maybe a)

(Show a, Read a, Bounded a, Enum a) => DefaultWidget (SelectEnum a)

(Show a, Read a) => DefaultWidget (ShowRead a)

(DefaultWidget a, DefaultWidget b) => DefaultWidget (a, b)

data Validation a

Either try to parse the submitted values, or have a list of allowed values

Constructors

Check ([Text] -> Maybe a)

Includes (GroupedCollection' a)

Instances

Functor Validation

class DefaultValidation a where

Methods

vdef :: Validation a

vdefList :: Validation [a]

Instances

DefaultValidation Bool

DefaultValidation Char

DefaultValidation Double

DefaultValidation Float

DefaultValidation Int

DefaultValidation Integer

DefaultValidation Text

DefaultValidation EmailAddress

DefaultValidation LocalTime

DefaultValidation ZonedTime

DefaultValidation TimeOfDay

DefaultValidation UTCTime

DefaultValidation Day

DefaultValidation URI

DefaultValidation a => DefaultValidation [a]

Integral a => DefaultValidation (Ratio a)

DefaultValidation a => DefaultValidation (Maybe a)

(Show a, Read a, Bounded a, Enum a) => DefaultValidation (SelectEnum a)

Read a => DefaultValidation (ShowRead a)

Options

data InputOptions

The setup for rendering an input. Blank is mempty

Constructors

InputOptions

Fields

label :: Maybe Label

hint :: Maybe Text

required :: Bool

disabled :: Bool

input_html :: [(Text, Text)]

label_html :: [(Text, Text)]

error_html :: [(Text, Text)]

hint_html :: [(Text, Text)]

wrapper_html :: [(Text, Text)]

Instances

Eq InputOptions

Show InputOptions

Monoid InputOptions

data Label

A block label, inline label, or implied value label

Constructors

Label Text

InlineLabel Text

DefaultLabel

Instances

Eq Label

Show Label

IsString Label

Wrappers

newtype ShowRead a

Wrapper for types that should be rendered using show

Constructors

ShowRead a

Instances

Eq a => Eq (ShowRead a)

Ord a => Ord (ShowRead a)

Read a => Read (ShowRead a)

(Show a, Read a) => Show (ShowRead a)

(Show a, Read a) => DefaultWidget (ShowRead a)

Read a => DefaultValidation (ShowRead a)

unShowRead :: ShowRead a -> a

newtype SelectEnum a

Wrapper for select boxes on enumerable types

Constructors

SelectEnum a

Instances

Bounded a => Bounded (SelectEnum a)

Enum a => Enum (SelectEnum a)

Eq a => Eq (SelectEnum a)

Ord a => Ord (SelectEnum a)

Read a => Read (SelectEnum a)

(Show a, Read a) => Show (SelectEnum a)

(Show a, Read a, Bounded a, Enum a) => DefaultWidget (SelectEnum a)

(Show a, Read a, Bounded a, Enum a) => DefaultValidation (SelectEnum a)

unSelectEnum :: SelectEnum a -> a

Widgets

button :: (Widget Text, Validation Text)

hidden :: (Widget Text, Validation Text)

checkbox :: (Widget Bool, Validation Bool)

file :: (Widget Text, Validation Text)

Text-like

text :: (Widget Text, Validation Text)

textarea :: (Widget Text, Validation Text)

password :: (Widget Text, Validation Text)

search :: (Widget Text, Validation Text)

email :: (Widget EmailAddress, Validation EmailAddress)

uri :: (Widget URI, Validation URI)

tel :: (Widget Text, Validation Text)

Numbers

number :: (Num a, Show a, Read a) => (Widget a, Validation a)

integral :: (Integral a, Show a, Read a) => (Widget a, Validation a)

boundedNumber :: (Bounded a, Num a, Show a, Read a) => (Widget a, Validation a)

boundedIntegral :: (Bounded a, Integral a, Show a, Read a) => (Widget a, Validation a)

Dates and times

date :: (FormatTime a, ParseTime a) => (Widget a, Validation a)

time :: (FormatTime a, ParseTime a) => (Widget a, Validation a)

datetime :: (FormatTime a, ParseTime a) => (Widget a, Validation a)

datetime_local :: (FormatTime a, ParseTime a) => (Widget a, Validation a)

Collections

type GroupedCollection' a = [(Text, [(a, (Text, Text))])]

GroupedCollection including the parsed value

type Collection' a = [(a, (Text, Text))]

Collection including the parsed value

select :: GroupedCollection' a -> (Widget Text, Validation a)

multi_select :: GroupedCollection' a -> (Widget [Text], Validation [a])

radio_buttons :: GroupedCollection' a -> (Widget Text, Validation a)

buttons :: GroupedCollection' a -> (Widget Text, Validation a)

checkboxes :: GroupedCollection' a -> (Widget [Text], Validation [a])

Helpers

selectEnum :: (Show a, Read a, Bounded a, Enum a) => Collection' a

Derive a collection from an enumerable type

enum :: (Show a, Read a, Bounded a, Enum a) => (GroupedCollection' a -> (Widget Text, Validation a)) -> (Widget a, Validation a)

Feed a collection Widget and Validation from an enumerable type

group_ :: Collection' a -> GroupedCollection' a

Push any Collection' to a trivial GroupedCollection'

multiEnum :: (Show a, Read a, Bounded a, Enum a) => (GroupedCollection' a -> (Widget [Text], Validation [a])) -> (Widget [a], Validation [a])

Feed a multi-select collection Widget and Validation from an enumerable type

humanize :: Text -> Text

Format identifiers nicely for humans to read