package safemoney

You can search for identifiers within the package.

in-package search v0.2.0

package safemoney

safemoney
- Safemoney_lib
  - Discrete
    
    Make
    
    Qv
    
    S
    
    Scale
    
    Zv
    
    S
  - Exchange
    
    Make
    
    Qv
    
    S
  - Predefined
    
    Crypto_ADA
    
    Crypto_BNB
    
    Crypto_BTC
    
    Crypto_DOGE
    
    Crypto_DOT
    
    Crypto_ETH
    
    Crypto_LTC
    
    Crypto_SHIB
    
    Crypto_SOL
    
    Crypto_USDT
    
    Crypto_XMR
    
    Crypto_XRP
    
    Crypto_XTZ
    
    ISO4217_AED
    
    ISO4217_AFN
    
    ISO4217_ALL
    
    ISO4217_AMD
    
    ISO4217_ANG
    
    ISO4217_AOA
    
    ISO4217_ARS
    
    ISO4217_AUD
    
    ISO4217_AWG
    
    ISO4217_AZN
    
    ISO4217_BAM
    
    ISO4217_BBD
    
    ISO4217_BDT
    
    ISO4217_BGN
    
    ISO4217_BHD
    
    ISO4217_BIF
    
    ISO4217_BMD
    
    ISO4217_BND
    
    ISO4217_BOB
    
    ISO4217_BOV
    
    ISO4217_BRL
    
    ISO4217_BSD
    
    ISO4217_BTN
    
    ISO4217_BWP
    
    ISO4217_BYN
    
    ISO4217_BZD
    
    ISO4217_CAD
    
    ISO4217_CDF
    
    ISO4217_CHE
    
    ISO4217_CHF
    
    ISO4217_CLF
    
    ISO4217_CLP
    
    ISO4217_CNY
    
    ISO4217_COP
    
    ISO4217_COU
    
    ISO4217_CRC
    
    ISO4217_CUC
    
    ISO4217_CUP
    
    ISO4217_CVE
    
    ISO4217_CZK
    
    ISO4217_DJF
    
    ISO4217_DKK
    
    ISO4217_DOP
    
    ISO4217_DZD
    
    ISO4217_EGP
    
    ISO4217_ERN
    
    ISO4217_ETB
    
    ISO4217_EUR
    
    ISO4217_FJD
    
    ISO4217_FKP
    
    ISO4217_GBP
    
    ISO4217_GEL
    
    ISO4217_GHS
    
    ISO4217_GIP
    
    ISO4217_GMD
    
    ISO4217_GNF
    
    ISO4217_GTQ
    
    ISO4217_GYD
    
    ISO4217_HKD
    
    ISO4217_HNL
    
    ISO4217_HTG
    
    ISO4217_HUF
    
    ISO4217_IDR
    
    ISO4217_ILS
    
    ISO4217_INR
    
    ISO4217_IQD
    
    ISO4217_IRR
    
    ISO4217_ISK
    
    ISO4217_JMD
    
    ISO4217_JOD
    
    ISO4217_JPY
    
    ISO4217_KES
    
    ISO4217_KGS
    
    ISO4217_KHR
    
    ISO4217_KMF
    
    ISO4217_KPW
    
    ISO4217_KRW
    
    ISO4217_KWD
    
    ISO4217_KYD
    
    ISO4217_KZT
    
    ISO4217_LAK
    
    ISO4217_LBP
    
    ISO4217_LKR
    
    ISO4217_LRD
    
    ISO4217_LSL
    
    ISO4217_LYD
    
    ISO4217_MAD
    
    ISO4217_MDL
    
    ISO4217_MGA
    
    ISO4217_MKD
    
    ISO4217_MMK
    
    ISO4217_MNT
    
    ISO4217_MOP
    
    ISO4217_MUR
    
    ISO4217_MVR
    
    ISO4217_MWK
    
    ISO4217_MXN
    
    ISO4217_MXV
    
    ISO4217_MYR
    
    ISO4217_NAD
    
    ISO4217_NGN
    
    ISO4217_NIO
    
    ISO4217_NOK
    
    ISO4217_NPR
    
    ISO4217_NZD
    
    ISO4217_OMR
    
    ISO4217_PAB
    
    ISO4217_PEN
    
    ISO4217_PGK
    
    ISO4217_PHP
    
    ISO4217_PKR
    
    ISO4217_PLN
    
    ISO4217_PYG
    
    ISO4217_QAR
    
    ISO4217_RON
    
    ISO4217_RSD
    
    ISO4217_RUB
    
    ISO4217_RWF
    
    ISO4217_SAR
    
    ISO4217_SBD
    
    ISO4217_SCR
    
    ISO4217_SDG
    
    ISO4217_SEK
    
    ISO4217_SGD
    
    ISO4217_SHP
    
    ISO4217_SLE
    
    ISO4217_SLL
    
    ISO4217_SOS
    
    ISO4217_SRD
    
    ISO4217_SSP
    
    ISO4217_STN
    
    ISO4217_SVC
    
    ISO4217_SYP
    
    ISO4217_SZL
    
    ISO4217_THB
    
    ISO4217_TJS
    
    ISO4217_TMT
    
    ISO4217_TND
    
    ISO4217_TOP
    
    ISO4217_TRY
    
    ISO4217_TTD
    
    ISO4217_TWD
    
    ISO4217_TZS
    
    ISO4217_UAH
    
    ISO4217_UGX
    
    ISO4217_USD
    
    ISO4217_USN
    
    ISO4217_UYI
    
    ISO4217_UYU
    
    ISO4217_UYW
    
    ISO4217_UZS
    
    ISO4217_VED
    
    ISO4217_VES
    
    ISO4217_VND
    
    ISO4217_VUV
    
    ISO4217_WST
    
    ISO4217_XAF
    
    ISO4217_XAG
    
    ISO4217_XAU
    
    ISO4217_XBA
    
    ISO4217_XBB
    
    ISO4217_XBC
    
    ISO4217_XBD
    
    ISO4217_XCD
    
    ISO4217_XDR
    
    ISO4217_XOF
    
    ISO4217_XPD
    
    ISO4217_XPF
    
    ISO4217_XPT
    
    ISO4217_XSU
    
    ISO4217_XUA
    
    ISO4217_XXX
    
    ISO4217_YER
    
    ISO4217_ZAR
    
    ISO4217_ZMW
    
    ISO4217_ZWL
  - Quotient
    
    Make
    
    Qv
    
    S
  - Qv
    
    S
  - Qv_intf
    
    S
    
    S
  - Safemoney
    
    Custom
    
    Discrete
    
    Scale
    
    Exchange
    
    Quotient
  - Utils
    
    Separator
  - Zv
    
    S
  - Zv_intf
    
    S
    
    S

Legend:
Library
Module
Module type
Parameter
Class
Class type

Discrete Representation

Currency operates on discrete integer types with a scale setting

module Make (Qv : Qv_intf.S) (Zv : Zv_intf.S) : sig ... end