digestive-functors-0.0.1: A general way to consume input using applicative functors

Text.Digestive.Common

Description

Functions to construct common forms

Documentation

inputSource

Arguments

:: (Monad m, Functor m) 
=> (Bool -> Maybe String -> d -> s)

Get the viewed result

-> (Maybe String -> FormRange -> Result e a)

Get the returned result

-> (FormId -> s -> v)

View constructor

-> d

Default value

-> Form m String e v a

Resulting form

inputStringSource

Arguments

:: (Monad m, Functor m) 
=> (FormId -> Maybe String -> v)

View constructor

-> Maybe String

Default value

-> Form m String e v String

Resulting form

inputReadSource

Arguments

:: (Monad m, Functor m, Read a, Show a) 
=> (FormId -> Maybe String -> v)

View constructor

-> e

Error when no read

-> Maybe a

Default input

-> Form m String e v a

Resulting form

inputBoolSource

Arguments

:: (Monad m, Functor m) 
=> (FormId -> Bool -> v)

View constructor

-> Bool

Default input

-> Form m String e v Bool

Resulting form

inputChoiceSource

Arguments

:: (Monad m, Functor m, Monoid v, Eq a) 
=> (FormId -> String -> Bool -> a -> v)

Choice constructor

-> a

Default option

-> [a]

Choices

-> Form m String e v a

Resulting form

label :: Monad m => (FormId -> v) -> Form m i e v ()Source

errors :: Monad m => ([e] -> v) -> Form m i e v ()Source

childErrors :: Monad m => ([e] -> v) -> Form m i e v ()Source