Safe Haskell	None
Language	Haskell2010

Haspara.Internal.Money

Synopsis

data Money (s :: Nat)
- = MoneySome Date Currency (Quantity s)
- | MoneyZero
- | MoneyFail String
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
convertWithQuote :: (KnownNat s, KnownNat k) => Money s -> FXQuote k -> Money s

Documentation

data Money (s :: Nat) Source #

Constructors

MoneySome Date Currency (Quantity s)
MoneyZero
MoneyFail String

Instances

Instances details

Eq (Money s) Source #
Instance details Defined in Haspara.Internal.Money Methods (==) :: Money s -> Money s -> Bool # (/=) :: Money s -> Money s -> Bool #
Ord (Money s) Source #
Instance details 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) Source #
Instance details Defined in Haspara.Internal.Money Methods showsPrec :: Int -> Money s -> ShowS # show :: Money s -> String # showList :: [Money s] -> ShowS #
KnownNat s => ToJSON (Money s) Source #	`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\"}"
Instance details 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) Source #	`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")
Instance details 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 Source #

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

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

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

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

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

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 Source #

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