Haspara.Internal.Money

Documentation

data Money (s :: Nat)

Constructors

MoneySome Date Currency (Quantity s)

MoneyZero

MoneyFail String

Instances

Eq (Money s)

Defined in Haspara.Internal.Money

Methods

(==) :: Money s -> Money s -> Bool

(/=) :: Money s -> Money s -> Bool

Ord (Money s)

Defined in Haspara.Internal.Money

Methods

compare :: Money s -> Money s -> Ordering

(<) :: Money s -> Money s -> Bool

(<=) :: Money s -> Money s -> Bool

(>) :: Money s -> Money s -> Bool

(>=) :: Money s -> Money s -> Bool

max :: Money s -> Money s -> Money s

min :: Money s -> Money s -> Money s

KnownNat s => Show (Money s)

Defined in Haspara.Internal.Money

Methods

showsPrec :: Int -> Money s -> ShowS

show :: Money s -> String

showList :: [Money s] -> ShowS

KnownNat s => ToJSON (Money s)

ToJSON instance for Money.

>>> Aeson.encode (MoneySome (read "2021-01-01") ("USD" :: Currency) (42 :: Quantity 0))
"{\"qty\":42,\"ccy\":\"USD\",\"date\":\"2021-01-01\"}"
>>> Aeson.encode (MoneyZero :: Money 2)
"0"
>>> Aeson.encode (MoneyFail "oops" :: Money 2)
"{\"error\":\"oops\"}"

Defined in Haspara.Internal.Money

Methods

toJSON :: Money s -> Value

toEncoding :: Money s -> Encoding

toJSONList :: [Money s] -> Value

toEncodingList :: [Money s] -> Encoding

KnownNat s => FromJSON (Money s)

FromJSON instance for Money.

>>> Aeson.decode "{\"qty\":42,\"ccy\":\"USD\",\"date\":\"2021-01-01\"}" :: Maybe (Money 2)
Just (MoneySome 2021-01-01 USD 42.00)
>>> Aeson.decode "0" :: Maybe (Money 2)
Just MoneyZero
>>> Aeson.decode "{\"error\": \"oops\"}" :: Maybe (Money 2)
Just (MoneyFail "oops")

Defined in Haspara.Internal.Money

Methods

parseJSON :: Value -> Parser (Money s)

parseJSONList :: Value -> Parser [Money s]

mkMoney :: KnownNat s => Date -> Currency -> Quantity s -> Money s

mkMoneyFromScientific :: KnownNat s => Date -> Currency -> Scientific -> Money s

moneyDate :: KnownNat s => Money s -> Maybe Date

moneyCurrency :: KnownNat s => Money s -> Maybe Currency

moneyQuantity :: KnownNat s => Money s -> Maybe (Quantity s)

convert :: (KnownNat s, KnownNat k) => Money s -> Currency -> Quantity k -> Money s

Converts the given Money value to another given currency with the given rate.

>>> import Haspara
>>> let eur = either error id $ currency "EUR"
>>> let usd = either error id $ currency "USD"
>>> let date = read "2021-01-01" :: Date
>>> let eurmoney = mkMoney date eur (quantity 0.42 :: Quantity 2) :: Money 2
>>> convert eurmoney eur (quantity 1 :: Quantity 4)
MoneySome 2021-01-01 EUR 0.42
>>> convert eurmoney usd (quantity 1 :: Quantity 4)
MoneySome 2021-01-01 USD 0.42
>>> convert eurmoney usd (quantity 1.1516 :: Quantity 4)
MoneySome 2021-01-01 USD 0.48

convertWithQuote :: (KnownNat s, KnownNat k) => Money s -> FXQuote k -> Money s

Converts the given Money value to another currency with the given FXQuote.