Formless.Types.Form

data FormProxy (form :: (Row Type -> Type) -> (Type -> Type -> Type -> Type) -> Type)

Create a proxy for your form type, for use with functions that generate records from form proxies.

Constructors

• FormProxy

newtype InputField error input output

A wrapper to represent only the input type. Requires that eq is defined for the input type in order to track dirty states.

Constructors

• InputField input

Instances

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

newtype OutputField error input output

A wrapper to represent only the output type. Used to represent form results at the end of validation.

Constructors

• OutputField output

Instances

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

data U e i o

Represents a unit value with the correct number of arguments; largely for internal use.

Constructors

• U

newtype InputFunction error input output

Represents modifications to input fields

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

A type synonym that lets you pick out just the error type from your form row.

type InputType error input output = input

A type synonym that lets you pick out just the input type from your form row.

type OutputType error input output = output

A type synonym that lets you pick out just the output type from your form row.

type InputForm form = form Record InputField

A type synonym that represents a record with the input fields of a form.

type OutputForm form = form Record OutputField

A type synonym that represents a record with the output fields of a form.