Formless.Types.Query

data Query form

The component query type. See Formless.Query for helpers related to constructing and using these queries.

Constructors

• Modify (form Variant InputFunction)
• Validate (form Variant U)
• ModifyValidate (Maybe Milliseconds) (form Variant InputFunction)
• Reset (form Variant InputFunction)
• SetAll (form Record InputField)
• ModifyAll (form Record InputFunction)
• ResetAll
• ValidateAll
• Submit
• LoadForm (form Record InputField)
• AndThen (Query form) (Query form)

type State form m = Record (StateRow form (internal :: InternalState form m))

The component local state

type PublicState form = Record (StateRow form ())

The component's public state

type StateRow form r = (dirty :: Boolean, errors :: Int, form :: form Record FormField, submitAttempts :: Int, submitting :: Boolean, validity :: ValidStatus | r)

The component's public state

newtype InternalState form m

A newtype to make easier type errors for end users to read by hiding internal fields

Constructors

• InternalState { allTouched :: Boolean, initialInputs :: form Record InputField, validators :: form Record (Validation form m) }

Instances

• Newtype (InternalState form m) _

data ValidStatus

A type to represent a running debouncer A type to represent validation status

Constructors

• Invalid
• Incomplete
• Valid

Instances

• Generic ValidStatus _
• Eq ValidStatus
• Ord ValidStatus
• Show ValidStatus

initFormState :: forall m fs is form ixs. RowToList is ixs => InputFieldsToFormFields ixs is fs => Newtype (form Record InputField) (Record is) => Newtype (form Record FormField) (Record fs) => form Record InputField -> form Record (Validation form m) -> State form m

Initialise the form state with default values. Passing in the initial inputs, and the validations.