Data.Validation.Jaws.Http.Form

data Form

This type is only used as html representation of validated values. Fully consitent and type safe values are additional result of validation.

Constructors

• Form (Array String) (Array Field)

Instances

• Generic Form _
• Show Form
• Semigroup Form
• Monoid Form

data FormValue a

Move to this representation

Constructors

• Err String String
• Val (Maybe a)

Instances

• Generic (FormValue a) _
• (Show a) => Show (FormValue a)

type Value = String

type Checked = Boolean

type Label = String

newtype Option

Constructors

• Option { checked :: Boolean, label :: String, value :: String }

Instances

• Newtype Option _
• Generic Option _
• Show Option

type Options = Array Option

option :: String -> Boolean -> String -> Option

data Field

Constructors

• Input { label :: String, name :: String, value :: FormValue String }
• Password { label :: String, name :: String, value :: FormValue String }
• Number { label :: String, name :: String, value :: FormValue Int }
• Select { label :: String, name :: String, options :: Array (Tuple String String), value :: FormValue String }
• Checkbox { label :: String, name :: String, value :: Either (Tuple String Options) Options }

Instances

• Generic Field _
• Show Field

type FormInit a = a -> Form

Just prototype of form library.

newtype FormValidation m query e a

Constructors

• FormValidation { init :: FormInit a, validation :: CoproductValidation m (Tuple Form e) query (Tuple Form a) }

inputFromRecordField :: forall t19137 t19136 t19135 t19134. IsSymbol t19135 => RowCons t19135 t19134 t19136 t19137 => SProxy t19135 -> (t19134 -> Maybe String) -> Record t19137 -> Form

numberFromRecordField :: forall t19062 t19061 t19060 t19059. IsSymbol t19060 => RowCons t19060 t19059 t19061 t19062 => SProxy t19060 -> (t19059 -> Maybe Int) -> Record t19062 -> Form

inputFromRecordFieldReq :: forall t19151 t19150 t19149. IsSymbol t19151 => RowCons t19151 String t19150 t19149 => SProxy t19151 -> Record t19149 -> Form

inputFromRecordFieldOpt :: forall t19143 t19142 t19141. IsSymbol t19143 => RowCons t19143 (Maybe String) t19142 t19141 => SProxy t19143 -> Record t19141 -> Form

numberFromRecordFieldReq :: forall t19076 t19075 t19074. IsSymbol t19076 => RowCons t19076 Int t19075 t19074 => SProxy t19076 -> Record t19074 -> Form

numberFromRecordFieldOpt :: forall t19068 t19067 t19066. IsSymbol t19068 => RowCons t19068 (Maybe Int) t19067 t19066 => SProxy t19068 -> Record t19066 -> Form

addOption' :: forall v' v tok m l form i' i e b. IsSymbol l => Monad m => RowCons l (Either _ _) i i' => RowCons l _ v v' => RowLacks l i => RowLacks l v => Functor m => SProxy l -> ProductValidation m _ (Tuple (Record i) _) (Tuple (Record i') _) (Tuple (Record v) _) (Tuple (Record v') _)

opts :: forall t19683 t19671 t19655 t19648. Monad t19648 => CoproductValidation t19648 (Tuple { first :: Either (Variant ("on/off" :: String, scalar :: Array String | t19655)) Boolean, second :: Either (Variant ("on/off" :: String, scalar :: Array String | t19671)) Boolean, third :: Either (Variant ("on/off" :: String, scalar :: Array String | t19683)) Boolean } (Array Option)) (Array String) (Tuple { first :: Boolean, second :: Boolean, third :: Boolean } (Array Option))

checkboxValue :: forall t19519 t19517. Monad t19519 => CoproductValidation t19519 (Variant ("on/off" :: String | t19517)) String Boolean

addOption :: forall m l e. IsSymbol l => Monad m => (SProxy l) -> CoproductValidation m (Tuple (Variant ("on/off" :: String, scalar :: Array String | e)) (Array Option)) (Array String) (Tuple Boolean (Array Option))

x :: String -> Form

y :: forall t265. { age :: Maybe Int, bio :: Maybe String, password :: String | t265 } -> Form

addFormFromQuery :: forall vr' vr ir' ir s m form e a. IsSymbol s => Semigroup form => Monad m => RowLacks s ir => RowCons s (Either e a) ir ir' => RowLacks s vr => RowCons s a vr vr' => SProxy s -> (String -> CoproductValidation m (Tuple e form) QueryField (Tuple a form)) -> ProductValidation m Query (Tuple (Record ir) form) (Tuple (Record ir') form) (Tuple (Record vr) form) (Tuple (Record vr') form)

recordFieldValidation :: forall v' v tok m l form i' i e b. IsSymbol l => Semigroup form => Monad m => RowCons l (Either e b) i i' => RowCons l b v v' => RowLacks l i => RowLacks l v => Functor m => SProxy l -> (tok -> m (Either (Tuple e form) (Tuple b form))) -> ProductValidation m tok (Tuple (Record i) form) (Tuple (Record i') form) (Tuple (Record v) form) (Tuple (Record v') form)

input :: forall m. Monad m => String -> String -> CoproductValidation m (Tuple _ Form) QueryField (Tuple _ Form)

password :: forall m. Monad m => String -> String -> CoproductValidation m (Tuple _ Form) QueryField (Tuple _ Form)

number :: forall m. Monad m => String -> String -> CoproductValidation m (Tuple _ Form) QueryField (Tuple _ Form)

runRecordValidation :: forall v tok m form i. Monad m => Monoid form => ProductValidation m tok (Tuple (Record ()) form) (Tuple (Record i) form) (Tuple (Record ()) form) (Tuple (Record v) form) -> (tok -> m (Either (Tuple (Record i) form) (Tuple (Record v) form)))

addForm :: forall v' v tok m l form i' i e b. IsSymbol l => Monoid form => Monad m => RowCons l (Either e b) i i' => RowCons l b v v' => RowLacks l i => RowLacks l v => Functor m => SProxy l -> CoproductValidation m (Tuple e form) tok (Tuple b form) -> ProductValidation m tok (Tuple (Record i) form) (Tuple (Record i') form) (Tuple (Record v) form) (Tuple (Record v') form)

buildRecord :: forall tok v m form i. Monad m => Monoid form => ProductValidation m tok (Tuple (Record ()) form) (Tuple (Record i) form) (Tuple (Record ()) form) (Tuple (Record v) form) -> CoproductValidation m (Tuple (Record i) form) tok (Tuple (Record v) form)