tests/Tests/Accounting.hs

   1 {-# LANGUAGE DeriveAnyClass #-}
   2 {-# LANGUAGE OverloadedLists #-}
   3
   4 module Tests.Accounting where
   5
   6 import Literate.Accounting
   7 import Literate.Accounting.PlanComptableGénéral qualified as PCG
   8 import Literate.Invoice
   9 import Literate.Organization
  10 import Literate.Prelude
  11 import Tests.Organization qualified as Orga
  12
  13 data Scope
  14   = Scope
  15   deriving (Eq, Ord, Show, Generic, NFData)
  16
  17 data Account = Account
  18   { accountOwner :: Maybe Orga.EntityId
  19   , accountScope :: Set (Set Scope)
  20   , accountPCG :: Maybe PCG.PCG
  21   }
  22   deriving (Eq, Ord, Show, Generic, NFData)
  23 account =
  24   Account
  25     { accountOwner = Nothing
  26     , accountScope = []
  27     , accountPCG = Nothing
  28     }
  29
  30 newtype Ors a = Ors {ors :: Set a}
  31   deriving (Eq, Ord, Show, Generic)
  32   deriving newtype (NFData)
  33 newtype Ands a = Ands {ands :: Set a}
  34   deriving (Eq, Ord, Show, Generic)
  35   deriving newtype (NFData)
  36 data Boolean a = BooleanTrue a | BooleanFalse a
  37   deriving (Eq, Ord, Show, Generic, NFData)
  38
  39 data Meta
  40   = Meta
  41   { metaCause :: Ands (Ors Cause)
  42   , metaOwner :: Set Cause
  43   }
  44   deriving (Eq, Ord, Show, Generic, NFData)
  45
  46 data Cause
  47   = Cause
  48   { causeEntity :: Maybe Orga.EntityId
  49   , causePeriod :: Maybe Period
  50   , causeInvoice :: Maybe (InvoiceId Orga.EntityId)
  51   }
  52   deriving (Eq, Ord, Show, Generic, NFData)
  53 cause =
  54   Cause
  55     { causeEntity = Nothing
  56     , causeInvoice = Nothing
  57     , causePeriod = Nothing
  58     }
  59
  60 data Amounts
  61   = Amounts
  62   { amountsEuro :: Amount 100 (UnitName "€")
  63   }
  64   deriving (Eq, Ord, Show, Generic, NFData)
  65 instance FromRational Amounts where
  66   fromRational r = Amounts{amountsEuro = fromRational r}
  67
  68 accounting :: [Movement Cause Account Amounts]
  69 accounting =
  70   [ Movement
  71       { moveDescription = ""
  72       , moveDate = "2026-01-27"
  73       , movePostings = equalPostings account{accountOwner = Just Orga.EntityUpwork} account{accountOwner = Just Orga.EntityJulmInfo} 174.30
  74       , moveMeta = []
  75       }
  76   , Movement
  77       { moveDescription = ""
  78       , moveDate = "2026-01-28"
  79       , movePostings = equalPostings account{accountOwner = Just Orga.EntityNixOSFoundationNGITeam} account{accountOwner = Just Orga.EntityJulmInfo} 2000.00
  80       , moveMeta = []
  81       }
  82   , Movement
  83       { moveDescription = ""
  84       , moveDate = "2026-01-29"
  85       , movePostings = equalPostings account{accountOwner = Just Orga.EntityNixOSFoundationNGITeam} account{accountOwner = Just Orga.EntityJulmInfo} 4643.75
  86       , moveMeta = []
  87       }
  88   , Movement
  89       { moveDescription = "Cotisation URSSAF"
  90       , moveMeta =
  91           [ cause
  92               { causeEntity = Just Orga.EntityUrssaf
  93               , causePeriod = Just Period{periodBeginning = "2026-01-01", periodEnd = "2026-01-31"}
  94               }
  95           ]
  96       , moveDate = "2026-02-01"
  97       , movePostings =
  98           [ Posting
  99               { postingAccount = account{accountOwner = Just Orga.EntityJulmInfo}
 100               , postingFlow = FlowOrigin 1691.00
 101               , postingMeta = []
 102               }
 103           , Posting
 104               { postingAccount = account{accountOwner = Just Orga.EntityUrssaf}
 105               , postingFlow = FlowTarget 1677.00
 106               , postingMeta = []
 107               }
 108           , Posting
 109               { postingAccount = account{accountOwner = Just Orga.EntityUrssaf}
 110               , postingFlow = FlowTarget 14.00
 111               , postingMeta = []
 112               }
 113           ]
 114       }
 115   ]