Polyform.Field.Html5

type RangeInputErr e = Variant (max :: Int, min :: Int | e)

RangeInput can be used to represent type="range" and type="number" of Integer values

data RangeInputType

Constructors

• RangeInput
• NumberInput

Instances

• Generic RangeInputType _

showRangeInputType :: RangeInputType -> String

_min :: SProxy "min"

_max :: SProxy "max"

type RangeInputBase err attrs name value = { max :: Maybe Int, min :: Maybe Int, name :: name, step :: Int, type :: RangeInputType, value :: V (Array (RangeInputErr err)) value | attrs }

type RangeInput err attrs name = RangeInputBase err attrs (SProxy name) Int

type OptRangeInput err attrs name = RangeInputBase err attrs (SProxy name) (Maybe Int)

check' :: forall m a. Monad m => (a -> Boolean) -> Validation m (Array a) a a

checkAndTag' :: forall n m e' e a. Monad m => RowCons n a e' e => IsSymbol n => SProxy n -> (a -> Boolean) -> Validation m (Array (Variant e)) a a

rangeInputValidation :: forall m name err attrs. Monad m => RangeInput err attrs name -> Validation m (Array (Variant (max :: Int, min :: Int | err))) Int Int

type TextInputErr err = (maxlength :: String, minlength :: String | err)

type TextInputBase (type_ :: Symbol) attrs name err value = Input (maxlength :: Maybe Int, minlength :: Maybe Int | attrs) name (Array (Variant (TextInputErr err))) value

type EmailInput attrs name err = TextInputBase "email" attrs name err String

All these input types share same attributes... but email. Email has additional "multiple" attribute but this will be handled by separate field for handling list of emails. XXX: Provide email validation

type OptEmailInput attrs name err = TextInputBase "email" attrs name err (Maybe String)

type SearchInput attrs name err = TextInputBase "search" attrs name err String

type OptSearchInput attrs name err = TextInputBase "search" attrs name err (Maybe String)

type PasswordInput attrs name err = TextInputBase "password" attrs name err String

type OptPasswordInput attrs name err = TextInputBase "password" attrs name err (Maybe String)

type TelInput attrs name err = TextInputBase "tel" attrs name err String

type OptTelInput attrs name err = TextInputBase "tel" attrs name err (Maybe String)

type TextInput attrs name err = TextInputBase "text" attrs name err String

type OptTextInput attrs name err = TextInputBase "text" attrs name err (Maybe String)

type UrlInput attrs name err = TextInputBase "url" attrs name err String

XXX: Provide url validation

type OptUrlInput attrs name err = TextInputBase "url" attrs name err (Maybe String)

textInputType :: forall value type_ name err attrs. IsSymbol type_ => TextInputBase type_ attrs name err value -> String

_maxlength :: SProxy "maxlength"

_minlength :: SProxy "minlength"

textInputValidation :: forall m err attrs. Monad m => { maxlength :: Maybe Int, minlength :: Maybe Int | attrs } -> Validation m (Array (Variant (TextInputErr err))) String String