SimpleForm.Validation

Documentation

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

Minimal complete definition

vdef

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 URI

DefaultValidation LocalTime

DefaultValidation ZonedTime

DefaultValidation TimeOfDay

DefaultValidation UTCTime

DefaultValidation Day

DefaultValidation a => DefaultValidation [a]

Integral a => DefaultValidation (Ratio a)

DefaultValidation a => DefaultValidation (Maybe a)

HasResolution a => DefaultValidation (Fixed a)

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

Read a => DefaultValidation (ShowRead a)

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

Validations

bool :: Validation Bool

Text-like

text :: Validation Text

textLength :: Int -> Validation Text

read :: Read a => Validation a

email :: Validation EmailAddress

uri :: Validation URI

absoluteUri :: Validation URI

Dates and times

dateFormat :: ParseTime a => String -> Validation a

date :: ParseTime a => Validation a

time :: ParseTime a => Validation a

datetime :: ParseTime a => Validation a

datetime_local :: ParseTime 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

includes :: GroupedCollection' a -> Validation a

multi_includes :: GroupedCollection' a -> Validation [a]

Helpers

pmap :: (a -> Maybe b) -> Validation a -> Validation b

Map over a Validation with a partial function

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

Derive a collection from an enumerable type

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

Derive an indexed collection from an enumerable type

enumIdx :: (Show a, Bounded a, Enum a) => (GroupedCollection' a -> Validation a) -> Validation a

Feed a collection Validation from an enumerable type

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

Feed a multi-select collection Validation from an enumerable type

multiEnumIdx :: (Show a, Bounded a, Enum a) => (GroupedCollection' a -> Validation [a]) -> Validation [a]

Feed a multi-select collection Validation from an enumerable type

group_ :: Collection' a -> GroupedCollection' a

Push any Collection' to a trivial GroupedCollection'

viewGroupedCollection :: GroupedCollection' a -> GroupedCollection

Convert a GroupedCollection' to a GroupedCollection for use in a view