SimpleForm

Forms that configure themselves based on type

This module is for constructing forms that only output to Html. For forms that also parse input, see SimpleForm.Combined

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 Input

Representation of an input widget in HTML

Constructors

Input Html

MultiInput [Html]

SelfLabelInput Html

Instances

Monoid Input

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

hidden :: Widget Text

checkbox :: Widget Bool

file :: Widget Text

Text-like

text :: Widget Text

textarea :: Widget Text

password :: Widget Text

search :: Widget Text

email :: Widget Text

uri :: Widget Text

tel :: Widget Text

Numbers

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

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

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

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

Dates and times

date :: FormatTime a => Widget a

time :: FormatTime a => Widget a

datetime :: FormatTime a => Widget a

datetime_local :: FormatTime a => Widget a

Collections

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

Collection of items for the user to choose from, with optional grouping

A trivial GroupedCollection (with just one, blankly-named group) should be treated by Widgets as if it were just a Collection

type Collection = [(Text, Text)]

Collection of items for the user to choose from

select :: GroupedCollection -> Widget Text

multi_select :: GroupedCollection -> Widget [Text]

radio_buttons :: GroupedCollection -> Widget Text

checkboxes :: GroupedCollection -> Widget [Text]

Helpers

input_tag

Arguments

:: Text

name

-> Maybe Text

textual value

-> Text

type

-> [[(Text, Text)]]

Extra default attributes

-> InputOptions

Attributes from options override defaults

-> Html

<input />

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

Derive a collection from an enumerable type

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

Feed a collection Widget from an enumerable type

group_ :: Collection -> GroupedCollection

Push any Collection to a trivial GroupedCollection

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

Feed a multi-select collection Widget from an enumerable type

humanize :: Text -> Text

Format identifiers nicely for humans to read

maybeCons :: Bool -> a -> [a] -> [a]

applyAttrs

Arguments

:: [(Text, Text)]

Defaults

-> [(Text, Text)]

User overrides

-> Html

Apply attributes to this Html

-> Html

Apply a list of default attributes and user overrides to some Html