{-# LANGUAGE NoMonomorphismRestriction #-}
+{-# LANGUAGE UndecidableInstances #-}
-- | Symantics.
module Hcompta.LCC.Sym
( module Hcompta.LCC.Sym
, module Hcompta.LCC.Sym.Account
, module Hcompta.LCC.Sym.Addable
, module Hcompta.LCC.Sym.Amount
+ , module Hcompta.LCC.Sym.Compta
, module Hcompta.LCC.Sym.Date
, module Hcompta.LCC.Sym.FileSystem
, module Hcompta.LCC.Sym.Journal
import Hcompta.LCC.Sym.Account
import Hcompta.LCC.Sym.Addable
import Hcompta.LCC.Sym.Amount
+import Hcompta.LCC.Sym.Compta
import Hcompta.LCC.Sym.Date
import Hcompta.LCC.Sym.FileSystem
import Hcompta.LCC.Sym.Journal
import Hcompta.LCC.Account (Account)
import Hcompta.LCC.Amount (Amounts, Quantity, Unit)
import Hcompta.LCC.Journal (Journal, PathFile)
+import Hcompta.LCC.Compta (Compta)
import Hcompta.LCC.Posting (Posting, Date)
import Hcompta.LCC.Transaction (Transaction)
import Hcompta.Quantity (Addable, Negable, Subable)
, Proxy Traversable
, Proxy Unit
, Proxy Zipper
+ -- , Proxy (Compta () (SymsFix FixSS))
]
type SRC = ()
x0 ::
IO ( ( Either (P.ParseError Char P.Dec)
- (S.Either [At SRC (Error_Journal SRC)] (CanonFile, Journal [Transaction]))
+ (S.Either [At SRC (Error_Compta SRC)] (CanonFile, Journal [Transaction]))
, Context_Read SRC [Transaction] )
, Context_Sym SRC SS )
x0 = readJournal @SS "./Hcompta/LCC/Journal/02.jnl" (:)