Form.Validation

Validations

type alias Combined error parsed =
Validation error parsed Never Never
type alias Field error parsed kind =
Validation error parsed kind { field : kind }
type alias Validation error parsed kind constraints =
Validation error parsed kind constraints
Validation error a named1 constraints1
-> Validation error (a -> b) named2 constraints2
-> Combined error b
(parsed -> Validation error mapped named1 constraints1)
-> Validation error parsed named2 constraints2
-> Combined error mapped
fail : error -> Field error parsed1 field -> Combined error parsed
fromMaybe : Maybe parsed -> Combined error parsed
fromResult : Field error (Result error parsed) kind -> Combined error parsed
map :
(parsed -> mapped)
-> Validation error parsed named constraint
-> Validation error mapped named constraint
(a -> b -> c)
-> Validation error a named1 constraints1
-> Validation error b named2 constraints2
-> Combined error c
parseWithError : parsed -> ( String, error ) -> Combined error parsed
succeed : parsed -> Combined error parsed
succeed2 : parsed -> Validation error parsed kind constraints
Field error parsed1 field
-> error
-> Validation error parsed2 named constraints
-> Validation error parsed2 named constraints
Bool
-> Field error ignored field
-> error
-> Validation error parsed named constraints
-> Validation error parsed named constraints
parsed
-> Validation error parsed named constraints
-> Validation error parsed named constraints

Field Metadata

value : Validation error parsed named constraint -> Maybe parsed
fieldName : Field error parsed kind -> String
fieldStatus : Field error parsed kind -> FieldStatus

Mapping

(a1 -> a2 -> a3 -> a4)
-> Validation error a1 named1 constraints1
-> Validation error a2 named2 constraints2
-> Validation error a3 named3 constraints3
-> Combined error a4
(a1 -> a2 -> a3 -> a4 -> a5)
-> Validation error a1 named1 constraints1
-> Validation error a2 named2 constraints2
-> Validation error a3 named3 constraints3
-> Validation error a4 named4 constraints4
-> Combined error a5
(a1 -> a2 -> a3 -> a4 -> a5 -> a6)
-> Validation error a1 named1 constraints1
-> Validation error a2 named2 constraints2
-> Validation error a3 named3 constraints3
-> Validation error a4 named4 constraints4
-> Validation error a5 named5 constraints5
-> Combined error a6
(a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7)
-> Validation error a1 named1 constraints1
-> Validation error a2 named2 constraints2
-> Validation error a3 named3 constraints3
-> Validation error a4 named4 constraints4
-> Validation error a5 named5 constraints5
-> Validation error a6 named6 constraints6
-> Combined error a7
(a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8)
-> Validation error a1 named1 constraints1
-> Validation error a2 named2 constraints2
-> Validation error a3 named3 constraints3
-> Validation error a4 named4 constraints4
-> Validation error a5 named5 constraints5
-> Validation error a6 named6 constraints6
-> Validation error a7 named7 constraints7
-> Combined error a8
(a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9)
-> Validation error a1 named1 constraints1
-> Validation error a2 named2 constraints2
-> Validation error a3 named3 constraints3
-> Validation error a4 named4 constraints4
-> Validation error a5 named5 constraints5
-> Validation error a6 named6 constraints6
-> Validation error a7 named7 constraints7
-> Validation error a8 named8 constraints8
-> Combined error a9
(a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10)
-> Validation error a1 named1 constraints1
-> Validation error a2 named2 constraints2
-> Validation error a3 named3 constraints3
-> Validation error a4 named4 constraints4
-> Validation error a5 named5 constraints5
-> Validation error a6 named6 constraints6
-> Validation error a7 named7 constraints7
-> Validation error a8 named8 constraints8
-> Validation error a9 named9 constraints9
-> Combined error a10

Global Validation

global : Field error () Never

Temporary?

(parsed -> mapped)
-> Validation error parsed named constraint
-> Validation error mapped Never Never