Form.Field

text :

Field

error

(Maybe String)

data

Input

{ required : ()

, plainText : ()

, wasMapped : No

, initial : String

, minlength : ()

, maxlength : ()

}

checkbox :

Field

error

Bool

data

Input

{ required : ()

, initial : Bool

}

int :

{ invalid : String -> error }

-> Field

error

(Maybe Int)

data

Input

{ min : Int

, max : Int

, required : ()

, wasMapped : No

, step : Int

, initial : Int

}

float :

{ invalid : String -> error }

-> Field

error

(Maybe Float)

data

Input

{ min : Float

, max : Float

, required : ()

, wasMapped : No

, initial : Float

}

select :

List ( String, option )

-> (String -> error)

-> Field

error

(Maybe option)

data

(Options option)

{ required : ()

, wasMapped : No

}

range :

{ min : Value valueType

, max : Value valueType

, initial : data -> Value valueType

, missing : error

, invalid : OutsideRange -> error

}

-> Field

error

(Maybe valueType)

data

kind

{ constraints

| required : ()

, initial : valueType

, min : valueType

, max : valueType

, wasMapped : No

}

-> Field

error

valueType

data

Input

{ constraints | wasMapped : No }

type OutsideRange

= AboveRange

| BelowRange

date :

{ invalid : String -> error }

-> Field

error

(Maybe Date)

data

Input

{ min : Date

, max : Date

, required : ()

, wasMapped : No

, initial : Date

}

time :

{ invalid : String -> error }

-> Field

error

(Maybe TimeOfDay)

data

Input

{ required : ()

, wasMapped : No

}

https://developer.mozilla.org/en-US/docs/Web/HTML/Element/input/time

type alias TimeOfDay =

{ hours : Int

, minutes : Int

}

type Field error parsed data kind constraints

= Field (FieldInfo error parsed data) kind

type alias FieldInfo error parsed data =

{ initialValue : Maybe (data -> String)

, decode : Maybe String -> ( Maybe parsed, List error )

, properties : List ( String, Value )

}

exactValue :

String

-> error

-> Field

error

String

data

Input

{ required : ()

, plainText : ()

, wasMapped : No

, initial : String

}

required :

error

-> Field

error

(Maybe parsed)

data

kind

{ constraints | required : (), wasMapped : No }

-> Field error parsed data kind { constraints | wasMapped : No }

withClientValidation :

(parsed -> ( Maybe mapped, List error ))

-> Field error parsed data kind constraints

-> Field error mapped data kind { constraints | wasMapped : Yes }

withInitialValue :

(data -> Value valueType)

-> Field

error

value

data

kind

{ constraints | initial : valueType }

-> Field error value data kind constraints

map :

(parsed -> mapped)

-> Field error parsed data kind constraints

-> Field error mapped data kind { constraints | wasMapped : Yes }

email :