Haspara.Accounting.Ledger

This module provides data definitions and functions for ledgers and postings.

Documentation

newtype GeneralLedger (precision :: Nat) account event

Data definition for a general ledger.

Constructors

GeneralLedger

Fields

• generalLedgerLedgers :: [Ledger precision account event]

Instances

(KnownNat precision, FromJSON account, FromJSON event) => FromJSON (GeneralLedger precision account event)

Defined in Haspara.Accounting.Ledger

Methods

parseJSON :: Value -> Parser (GeneralLedger precision account event)

parseJSONList :: Value -> Parser [GeneralLedger precision account event]

(KnownNat precision, ToJSON account, ToJSON event) => ToJSON (GeneralLedger precision account event)

Defined in Haspara.Accounting.Ledger

Methods

toJSON :: GeneralLedger precision account event -> Value

toEncoding :: GeneralLedger precision account event -> Encoding

toJSONList :: [GeneralLedger precision account event] -> Value

toEncodingList :: [GeneralLedger precision account event] -> Encoding

Generic (GeneralLedger precision account event)

Defined in Haspara.Accounting.Ledger

Associated Types

type Rep (GeneralLedger precision account event) :: Type -> Type

Methods

from :: GeneralLedger precision account event -> Rep (GeneralLedger precision account event) x

to :: Rep (GeneralLedger precision account event) x -> GeneralLedger precision account event

(KnownNat precision, Show account, Show event) => Show (GeneralLedger precision account event)

Defined in Haspara.Accounting.Ledger

Methods

showsPrec :: Int -> GeneralLedger precision account event -> ShowS

show :: GeneralLedger precision account event -> String

showList :: [GeneralLedger precision account event] -> ShowS

(Eq account, Eq event) => Eq (GeneralLedger precision account event)

Defined in Haspara.Accounting.Ledger

Methods

(==) :: GeneralLedger precision account event -> GeneralLedger precision account event -> Bool

(/=) :: GeneralLedger precision account event -> GeneralLedger precision account event -> Bool

type Rep (GeneralLedger precision account event)

Defined in Haspara.Accounting.Ledger

type Rep (GeneralLedger precision account event) = D1 ('MetaData "GeneralLedger" "Haspara.Accounting.Ledger" "haspara-0.0.0.8-83lIPqySeX32MZXT98KoZ2" 'True) (C1 ('MetaCons "GeneralLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "generalLedgerLedgers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Ledger precision account event])))

data Ledger (precision :: Nat) account event

Data definition for a ledger.

Constructors

Ledger

Fields

• ledgerAccount :: !(Account account)
• ledgerOpening :: !(Balance precision)
• ledgerRunning :: ![LedgerEntry precision event]

Instances

(KnownNat precision, FromJSON account, FromJSON event) => FromJSON (Ledger precision account event)

Defined in Haspara.Accounting.Ledger

Methods

parseJSON :: Value -> Parser (Ledger precision account event)

parseJSONList :: Value -> Parser [Ledger precision account event]

(KnownNat precision, ToJSON account, ToJSON event) => ToJSON (Ledger precision account event)

Defined in Haspara.Accounting.Ledger

Methods

toJSON :: Ledger precision account event -> Value

toEncoding :: Ledger precision account event -> Encoding

toJSONList :: [Ledger precision account event] -> Value

toEncodingList :: [Ledger precision account event] -> Encoding

Generic (Ledger precision account event)

Defined in Haspara.Accounting.Ledger

Associated Types

type Rep (Ledger precision account event) :: Type -> Type

Methods

from :: Ledger precision account event -> Rep (Ledger precision account event) x

to :: Rep (Ledger precision account event) x -> Ledger precision account event

(KnownNat precision, Show account, Show event) => Show (Ledger precision account event)

Defined in Haspara.Accounting.Ledger

Methods

showsPrec :: Int -> Ledger precision account event -> ShowS

show :: Ledger precision account event -> String

showList :: [Ledger precision account event] -> ShowS

(Eq account, Eq event) => Eq (Ledger precision account event)

Defined in Haspara.Accounting.Ledger

Methods

(==) :: Ledger precision account event -> Ledger precision account event -> Bool

(/=) :: Ledger precision account event -> Ledger precision account event -> Bool

type Rep (Ledger precision account event)

Defined in Haspara.Accounting.Ledger

type Rep (Ledger precision account event) = D1 ('MetaData "Ledger" "Haspara.Accounting.Ledger" "haspara-0.0.0.8-83lIPqySeX32MZXT98KoZ2" 'False) (C1 ('MetaCons "Ledger" 'PrefixI 'True) (S1 ('MetaSel ('Just "ledgerAccount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Account account)) :*: (S1 ('MetaSel ('Just "ledgerOpening") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Balance precision)) :*: S1 ('MetaSel ('Just "ledgerRunning") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [LedgerEntry precision event]))))

ledgerClosing :: KnownNat precision => Ledger precision account event -> Balance precision

Returns the closing balance of a ledger.

data LedgerEntry (precision :: Nat) event

Type encoding of a ledger item.

Constructors

LedgerEntry

Fields

• ledgerEntryDate :: !Day
• ledgerEntryAmount :: !(Amount precision)
• ledgerEntryDescription :: !Text
• ledgerEntryEvent :: !event
• ledgerEntryPostingId :: !Text
• ledgerEntryBalance :: !(Balance precision)

Instances

(KnownNat precision, FromJSON event) => FromJSON (LedgerEntry precision event)

Defined in Haspara.Accounting.Ledger

Methods

parseJSON :: Value -> Parser (LedgerEntry precision event)

parseJSONList :: Value -> Parser [LedgerEntry precision event]

(KnownNat precision, ToJSON event) => ToJSON (LedgerEntry precision event)

Defined in Haspara.Accounting.Ledger

Methods

toJSON :: LedgerEntry precision event -> Value

toEncoding :: LedgerEntry precision event -> Encoding

toJSONList :: [LedgerEntry precision event] -> Value

toEncodingList :: [LedgerEntry precision event] -> Encoding

Generic (LedgerEntry precision event)

Defined in Haspara.Accounting.Ledger

Associated Types

type Rep (LedgerEntry precision event) :: Type -> Type

Methods

from :: LedgerEntry precision event -> Rep (LedgerEntry precision event) x

to :: Rep (LedgerEntry precision event) x -> LedgerEntry precision event

(KnownNat precision, Show event) => Show (LedgerEntry precision event)

Defined in Haspara.Accounting.Ledger

Methods

showsPrec :: Int -> LedgerEntry precision event -> ShowS

show :: LedgerEntry precision event -> String

showList :: [LedgerEntry precision event] -> ShowS

Eq event => Eq (LedgerEntry precision event)

Defined in Haspara.Accounting.Ledger

Methods

(==) :: LedgerEntry precision event -> LedgerEntry precision event -> Bool

(/=) :: LedgerEntry precision event -> LedgerEntry precision event -> Bool

type Rep (LedgerEntry precision event)

Defined in Haspara.Accounting.Ledger

type Rep (LedgerEntry precision event) = D1 ('MetaData "LedgerEntry" "Haspara.Accounting.Ledger" "haspara-0.0.0.8-83lIPqySeX32MZXT98KoZ2" 'False) (C1 ('MetaCons "LedgerEntry" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ledgerEntryDate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Day) :*: (S1 ('MetaSel ('Just "ledgerEntryAmount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Amount precision)) :*: S1 ('MetaSel ('Just "ledgerEntryDescription") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text))) :*: (S1 ('MetaSel ('Just "ledgerEntryEvent") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 event) :*: (S1 ('MetaSel ('Just "ledgerEntryPostingId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "ledgerEntryBalance") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Balance precision))))))

initLedger :: KnownNat precision => Account account -> Ledger precision account event

Initializes an empty ledger for a given account.

initLedgerWithOpeningBalance :: KnownNat precision => Account account -> Balance precision -> Ledger precision account event

Initializes a ledger with the given opening balance.

initLedgerWithOpeningValue :: KnownNat precision => Account account -> (Maybe (Quantity 12), Quantity precision) -> Ledger precision account event

Initializes a ledger with the given opening value.

See amountFromValue for the meaning of the concept of value.

initLedgerWithOpeningQuantity :: KnownNat precision => Account account -> (Maybe (Quantity 12), Quantity precision) -> Ledger precision account event

Initializes a ledger with the given opening quantity.

See amountFromQuantity for the meaning of the concept of quantity.

postEntries :: KnownNat precision => Eq account => Ord account => GeneralLedger precision account event -> [JournalEntry precision account event] -> GeneralLedger precision account event

Posts a given list of journal entries to the given general ledger and returns the new general ledger.

postEntry :: KnownNat precision => Eq account => Ord account => GeneralLedger precision account event -> JournalEntry precision account event -> GeneralLedger precision account event

Posts a given journal entry to the given general ledger and returns the new general ledger.

postEntryItem :: KnownNat precision => Eq account => Ord account => GeneralLedger precision account event -> JournalEntry precision account event -> JournalEntryItem precision account event -> GeneralLedger precision account event

Posts a given journal entry item of a given journal entry to the given general ledger and returns the new general ledger.

postItem :: KnownNat precision => Ledger precision account event -> Day -> Amount precision -> Text -> event -> Text -> Maybe (JournalEntryItemInventoryEvent account event) -> (Maybe (JournalEntry precision account event), Ledger precision account event)

Performs a posting to the given ledger.

histItemToJournalEntryItem :: KnownNat precision => event -> Account account -> Account account -> InventoryHistoryItem 8 12 precision -> [JournalEntryItem precision account event]

Creates 2 journal entry items for the captured non-zero PnL.