A datatype for checkboxes that require them to be true.
This is useful for a checkbox that needs to be checked before submitting a form,
for example a terms and conditions checkbox.
The base context provides general information about the environment.
Props for the
Button component.
Props for the
Cols component.
A date without a time.
A date and time.
Important note: This type does not support time zones.
To ensure that you are working with the clients timezone, you can
use the local_utc_offset field in the MetaData to translate this
PrimitiveDateTime to an OffsetDateTime with the correct offset.
Props for the
Dialog component.
A datatype representing an email address.
A unique identifier for a file.
Contains information about a file, but not the file contents itself.
Contains arbitrary form data in a serialized form.
Props for the
Group component.
Props for the
Icon component.
Props for the
Input component.
The metadata of the form.
This contains useful information about the client environment.
The locale identifies the language of the client.
The local_utc_offset identifies the timezone of the client.
Props for the
Modal component.
A datatype representing a non-empty string.
A datatype that represents an optional value.
Props for the
Page component.
Props for the
Pages component.
Used to bind a form input element to a form data element.
Props for the
Radio component.
The context that is used to render the form.
This context is only available in the backend.
Props for the
Select component.
A datatype representing a telephone number.
A time without a date.
Important note: This type does not support time zones.
To ensure that you are working with the clients timezone, you can
use the local_utc_offset field in the MetaData to translate this
PrimitiveDateTime to an OffsetDateTime with the correct offset.
Serialized arguments for the [upload_file] server function.
Serialized arguments for the [zip_service] server function.
The error type for the Accept datatype.
This error is returned when the input is not accepted and can be used to display an error message by providing a custom translation.
The error type for the DateTime datatype.
This error is returned when the input is not a valid date and time and can be used to display an error message by providing a custom translation.
The kind of dialog to display.
There are four kinds of dialogs: success, info, warn, and error.
The error type for the Email datatype.
This error is returned when the input is not a valid email address and can be used to display an error message by providing a custom translation.
The error type for the NonEmptyString datatype.
This error is returned when the input is an empty string and can be used to display an error message by providing a custom translation.
Possible errors that can occur when submitting a form.
The current state of the form submission.
The error type for the Telephone datatype.
This error is returned when the input is not a valid telephone number and can be used to display an error message by providing a custom translation.
Can be used to provide custom translations.
If not provided, the default english translations will be used.
A button that only contains an icon.
A button that only contains an icon.
A component that renders a checkbox.
A component renders multiple columns.
A component creates a colspan over multiple columns.
A dialog component.
A component that allows users to upload files.
The files are automatically uploaded to the server and stored in the FileStore.
A component that binds all of its contents to a part of the form data.
Required Props
A component that renders an input field.
It takes a datatype as a type parameter and automatically handles parsing and validation.
A modal dialog.
Creates a new nova form.
The form will automatically handle validation, serialization, and submission.
This implicitly creates a HTML form tag that contains your entire form.
It also provides a toolbar with a page select, locale select, preview button, and submit button.
A container for a form.
Adds a header with a logo, title, and subtitle, as well as a footer with the title.
Creates a new page in the form.
Creates a new page in the form.
Required Props
Only renders the children when printing to PDF.
A component that renders radio buttons from an enum.
Creates a repeatable group of items.
Only renders the children when printing to PDF.
A component that renders a select field from an enum.
Required Props
Required Props
Required Props
Adds custom translations to a type T.
This is useful for adding custom error messages to error enums or other elements.
Provides a service to get the city for a given swiss zip code.
This uses the swiss postal service address checker API (https://service.post.ch/zopa/app/api/addresschecker/v1/zips).
Returns a tuple that contains a function which takes an input event, and a signal that contains the city name.
The function taking an input event can be added to a input field and triggers the service call when the input field changes.
The response of the service call is stored in the signal.