Formless.Types.Form

newtype InputField error input output

Constructors

• InputField input

Instances

• Newtype (InputField e i o) _
• (Eq i) => Eq (InputField e i o)

newtype OutputField error input output

Constructors

• OutputField output

Instances

• Newtype (OutputField e i o) _
• (Eq o) => Eq (OutputField e i o)
• (Show o) => Show (OutputField e i o)

data U e i o

Constructors

• U

newtype InputFunction error input output

Constructors

• InputFunction (input -> input)

Instances

• Newtype (InputFunction e i o) _

newtype FormField e i o

The type that we need to record state across the form

Constructors

• FormField (Record (FormFieldRow e i o))

Instances

• Newtype (FormField e i o) _
• (Eq e, Eq i, Eq o) => Eq (FormField e i o)

type FormFieldRow error input output = (input :: input, result :: FormFieldResult error output, touched :: Boolean)

The row used for the FormField newtype and in lens type signatures

type ErrorType error input output = error

type InputType error input output = input

type OutputType error input output = output