Safe Haskell	None
Language	Haskell2010

Haspara.Monetary

Description

This module provides definitions for modeling and working with monetary values.

Synopsis

data Money (s :: Nat) = Money {
- moneyDate :: !Day
- moneyCurrency :: !Currency
- moneyQuantity :: !(Quantity s)
}
class MonadThrow m => Monetary m where
- convertM :: HasCallStack => KnownNat s => Currency -> Money s -> m (Money s)
- convertAsofM :: HasCallStack => KnownNat s => Day -> Currency -> Money s -> m (Money s)
convert :: HasCallStack => MonadThrow m => KnownNat s => KnownNat k => Money s -> FxQuote k -> m (Money s)
data MonetaryException where
- IncompatibleCurrenciesException :: HasCallStack => Currency -> Currency -> MonetaryException
- IncompatibleDatesException :: HasCallStack => Day -> Day -> MonetaryException
- InconsistentFxQuoteException :: forall (s :: Nat). (HasCallStack, KnownNat s) => FxQuote s -> MonetaryException

Documentation

data Money (s :: Nat) Source #

Type encoding for dated monetary values.

A dated monetary value is a 3-tuple of:

a date when the monetary value is effective as of,
the currency of the monetary value, and
the quantity of the monetary value.

Constructors

Money
Fields moneyDate :: !Day moneyCurrency :: !Currency moneyQuantity :: !(Quantity s)

Instances

Instances details

Eq (Money s) Source #
Instance details Defined in Haspara.Monetary Methods (==) :: Money s -> Money s -> Bool # (/=) :: Money s -> Money s -> Bool #
Ord (Money s) Source #
Instance details Defined in Haspara.Monetary 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.Monetary Methods showsPrec :: Int -> Money s -> ShowS # show :: Money s -> String # showList :: [Money s] -> ShowS #
Generic (Money s) Source #
Instance details Defined in Haspara.Monetary Associated Types type Rep (Money s) :: Type -> Type # Methods from :: Money s -> Rep (Money s) x # to :: Rep (Money s) x -> Money s #
KnownNat s => ToJSON (Money s) Source #
Instance details Defined in Haspara.Monetary Methods toJSON :: Money s -> Value # toEncoding :: Money s -> Encoding # toJSONList :: [Money s] -> Value # toEncodingList :: [Money s] -> Encoding #
KnownNat s => FromJSON (Money s) Source #
Instance details Defined in Haspara.Monetary Methods parseJSON :: Value -> Parser (Money s) # parseJSONList :: Value -> Parser [Money s] #
type Rep (Money s) Source #
Instance details Defined in Haspara.Monetary type Rep (Money s) = D1 ('MetaData "Money" "Haspara.Monetary" "haspara-0.0.0.4-91kyQ1gsJrx6JOOKY5ajCi" 'False) (C1 ('MetaCons "Money" 'PrefixI 'True) (S1 ('MetaSel ('Just "moneyDate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Day) :: (S1 ('MetaSel ('Just "moneyCurrency") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Currency) :: S1 ('MetaSel ('Just "moneyQuantity") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Quantity s)))))

class MonadThrow m => Monetary m where Source #

Type encoding of a monetary context.

Minimal complete definition

convertM

Methods

convertM :: HasCallStack => KnownNat s => Currency -> Money s -> m (Money s) Source #

Converts the given monetary value in one currency to another currency.

Note that the conversion is performed with an FX rate quotation as of the date of the given monetary value.

convertAsofM :: HasCallStack => KnownNat s => Day -> Currency -> Money s -> m (Money s) Source #

Converts the given monetary value in one currency to another currency as of the given date.

The rule is:

convertAsofM DATE2 CCY2 (Money DATE1 CCY1 QTY1) === convertM CCY2 (Money DATE2 CCY1 QTY1)

convert :: HasCallStack => MonadThrow m => KnownNat s => KnownNat k => Money s -> FxQuote k -> m (Money s) Source #

Attempts to convert the given Money to another using the given FxQuote value.

This function runs some guards before attempting to do the conversion:

Base currency of the FX rate quotation should be the same as the currency of the monetary value, throws IncompatibleCurrenciesException otherwise.
Date of the FX rate quotation should be equal to or greater than the date of the monetary value, throws IncompatibleDatesException otherwise.
Rate of the FX rate quotation should be 1 if the base and quote quotation are same, throws InconsistentFxQuoteException otherwise.

data MonetaryException where Source #

Type encoding of exceptions thrown by the Monetary module.

Constructors

IncompatibleCurrenciesException	Indicates that we received a currency other than the expected currency.
Fields :: HasCallStack => Currency Expected currency -> Currency Received currency -> MonetaryException
IncompatibleDatesException	Indicates that we received a currency other than the expected currency.
Fields :: HasCallStack => Day Date on and onwards of interest -> Day Date received -> MonetaryException
InconsistentFxQuoteException	Indicates that we received a currency other than the expected currency.
Fields :: forall (s :: Nat). (HasCallStack, KnownNat s) => FxQuote s FX rate quotation that is interpreted as inconsistent. -> MonetaryException

Instances

Instances details

Show MonetaryException Source #
Instance details Defined in Haspara.Monetary Methods showsPrec :: Int -> MonetaryException -> ShowS # show :: MonetaryException -> String # showList :: [MonetaryException] -> ShowS #
Exception MonetaryException Source #
Instance details Defined in Haspara.Monetary Methods toException :: MonetaryException -> SomeException # fromException :: SomeException -> Maybe MonetaryException # displayException :: MonetaryException -> String #