An input validator. A function which checks whether an input is valid and transforms that input.
The type of the input.
The type of the output (the transformed input).
An input validator. A function which checks whether an input is valid and transforms that input.