This module have all the types needed to interact with the main IBAN module
type IBAN = IBAN Country CheckCode BBAN
Main IBAN type, that the information decomposed into different chunks
of information
String
Simple alias for a string that represent the CheckCode
String
Simple alias for a string that represent the BBAN
type Error = IBANLengthError Country ({ actual : Basics.Int, expected : Basics.Int })
| InvalidCharacter
| SanityCheckFailed
| UnknownCountryCode String
This types can be use in case of error to serialize into specific text
messages on the interface
type Format = Textual
| Electronic
This type is needed to transform and `IBAN
type Country = Albania
| Algeria
| Andorra
| Angola
| Austria
| Azerbaijan
| Bahrain
| Benin
| Belarus
| Belgium
| BosniaHerzegovina
| Brazil
| BritishVirginIslands
| Bulgaria
| BurkinaFaso
| Burundi
| Cameroon
| CapeVerde
| CostaRica
| Croatia
| Cyprus
| CzechRepublic
| Denmark
| DominicanRepublic
| EastTimor
| ElSalvador
| Estonia
| FaroeIslands
| Finland
| France
| Georgia
| Germany
| Gibraltar
| Greece
| Greenland
| Guatemala
| Hungary
| Iceland
| Iran
| Iraq
| Ireland
| Israel
| Italy
| IvoryCoast
| Jordan
| Kazakhstan
| Kosovo
| Kuwait
| Latvia
| Lebanon
| Liechtenstein
| Lithuania
| Luxembourg
| Macedonia
| Madagascar
| Mali
| Malta
| Mauritania
| Mauritius
| Monaco
| Moldova
| Montenegro
| Mozambique
| Netherlands
| Norway
| Pakistan
| PalestinianTerritories
| Poland
| Portugal
| Qatar
| Romania
| SaintLucia
| SanMarino
| SaoTomeAndPrincipe
| SaudiArabia
| Senegal
| Serbia
| Seychelles
| Slovakia
| Slovenia
| Spain
| Sweden
| Switzerland
| Tunisia
| Turkey
| Ukraine
| UnitedArabEmirates
| UnitedKingdom
List of countries with IBAN
type into a string
```