This library provides a datatype to model and validate input field data.
To use this data type, let's say that you need a sign up form that has a requried name field, a required email field, and an age field that must be between 18 & 100 that you need to send to your server after it's validated.
First, you can import the package and create the fields in your model
... other imports
import Field as F
import Field.Int as FInt
import Field.String as FStr
type alias Model =
{ name : FStr.Field
, email : FStr.Field
, age : FInt.Field
}
init : ( Model, Cmd Msg )
init =
{ name = F.init ""
, email = F.init ""
, age = F.init 0
}
! []Then, you add a few messages to update the fields, and one to submit your form
type Msg
= SetNameField String
| SetEmailField String
| SetAgeField String
| SubmitNext, you add logic to set & validate the fields to your update function
update : Msg -> Model -> ( Model, Cmd Msg )
update msg model =
case msg of
SetNameField value ->
{ model
| name =
value
|> F.resetValue model.name
|> validateName
}
! []
SetEmailField value ->
{ model
| email =
value
|> F.resetValue model.email
|> validateEmail
}
! []
SetAgeField value ->
{ model
| age =
value
|> (String.toInt >> Result.withDefault 0)
|> F.resetValue model.age
|> validateAge
}
! []
Submit ->
let
name =
validateName model.name
email =
validateEmail model.email
age =
validateAge model.age
cmds =
case ( F.toResult name, F.toResult email, F.toResult age ) of
( Ok nameValue, Ok emailValue, Ok ageValue ) ->
[ ... some command ... ]
_ ->
[]
in
{ model
| name = name
, email = email
, age = age
}
! cmds
validateName : FStr.ValidationFunc
validateName =
FStr.notEmpty
validateEmail : FStr.ValidationFunc
validateEmail =
FStr.notEmpty >> FStr.email
validateAge : FInt.ValidationFunc
validateAge =
FInt.greaterThanOrEqual 18 >> FInt.lessThan 100Finally, wire it into the view!
view : Model -> Html Msg
view model =
Html.div []
[ Html.h1 [] [ Html.text "Sign Up!" ]
, F.view (stringFieldConfig "Name" SetNameField) model.name
, F.view (stringFieldConfig "Email" SetEmailField) model.email
, F.view (intFieldConfig "Age" SetAgeField) model.age
, Html.button [ Html.Events.onClick Submit ]
[ Html.span [] [ Html.text "Submit" ] ]
]
stringFieldConfig : String -> (String -> msg) -> FStr.ViewConfig msg
stringFieldConfig title toMsg =
{ valid =
\meta value ->
Html.div []
[ Html.input
[ Html.Events.onInput toMsg
, Html.Attributes.value value
, Html.Attributes.disabled meta.disabled
]
[]
]
, invalid =
\meta value errorMessage ->
Html.div []
[ Html.input
[ Html.Events.onInput toMsg
, Html.Attributes.value value
, Html.Attributes.disabled meta.disabled
]
[]
, Html.span []
[ Html.text errorMessage ]
]
}
intFieldConfig : String -> (String -> msg) -> FInt.ViewConfig msg
intFieldConfig title toMsg =
{ valid =
\meta value ->
Html.div []
[ Html.input
[ Html.Events.onInput toMsg
, Html.Attributes.value (toString value)
, Html.Attributes.type_ "number"
, Html.Attributes.disabled meta.disabled
]
[]
]
, invalid =
\meta value errorMessage ->
Html.div []
[ Html.input
[ Html.Events.onInput toMsg
, Html.Attributes.value (toString value)
, Html.Attributes.type_ "number"
, Html.Attributes.disabled meta.disabled
]
[]
, Html.span []
[ Html.text errorMessage ]
]
}In this example, we only use the built-in validators, but it's pretty simple to create your own validators too! Take a look at an example to see a similar example to the one above but with a custom validator.
A type to reperesent various bits of data about any individiual field. You can get this record
from a field with extractMetadata, and set this record with resetMetadata
A mapping from different field statuses to Html
Takes a ViewConfig and a field and uses the different possible Html based on the field's status
Create a new field with the given value that is in a valid status
Reset a field with a new value, and set it to the valid status
Extract the metadata from a field, regardless of the field's status
Reset a field with new metadata
Extract the value from a field, regardless of the field's status
Return the value of a field if it is in a valid status, otherwise get the default value provided
Convert a field to a Maybe. This discards the error.
Convert a field to a Result
Returns true if the field in currently in a valid state, false otherwise
Returns true if the field in currently in a invalid state, false otherwise
Type alias that takes a field, and returns a field
Test a field against the provided function. If the field passes then return the field the exact same, otherwise return a field marked as invalid with the provided error. If the field is already invalid, then this function just returns the field as it got it. This is to keep the exisitng error, so you can chain together validation functions easily.
Look to the Field.String, Field.Int and Field.Float modules in this package. for pre-created validation functions.
The field type, it represents all the possible state that a field can be in. It has take parameters of an error type and a value type.
Unless you're trying to model some unique data you probably won't be using this type, but one with the
valueanderrorarguements already applied. Take a look at theField.String,Field.IntandField.Floatmodules to see some common types already appplied and for examples to modeling your own data.