An international bank account number in its electronic form - no spaces, upper case. Parsing proves two things and no more: the number fits the ISO 13616 structure its country registers, and it passes the ISO 7064 MOD 97-10 check. It does not prove the account exists, and an IBAN is not a source of bank or branch identity, so nothing here decomposes one. Values are Id[IBAN].
A literal validated while compiling, emitted already canonical. Non-constant input goes to parse, as do schemes whose rules carry code, which cannot run at compile time.
A literal validated while compiling, emitted already canonical. Non-constant input goes to parse, as do schemes whose rules carry code, which cannot run at compile time.
Attributes
Inherited from:
Scheme
final def parse(raw: String): Either[Invalid, Id[this.type]]
Parses and canonicalises input under this scheme's rules - normalisation, row selection, structure, then check arithmetic - failing with the first violated tier's reason. The result is typed to this scheme whether it was named statically or selected at runtime.
Parses and canonicalises input under this scheme's rules - normalisation, row selection, structure, then check arithmetic - failing with the first violated tier's reason. The result is typed to this scheme whether it was named statically or selected at runtime.