Tyyppi.Example.Value.validate
You're seeing just the function
validate
, go back to Tyyppi.Example.Value module for more information.
Specs
validate(t()) :: Tyyppi.Valuable.either()
This function is supposed to be overwritten in the implementation in cases when custom validation is required.
It would be called after all casts and type validations, if the succeeded