-- | 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.FileSystem
 , module Hcompta.LCC.Sym.Journal
 , module Hcompta.LCC.Sym.Negable
 , module Hcompta.LCC.Sym.Posting
 , module Hcompta.LCC.Sym.Quantity
 , module Hcompta.LCC.Sym.Subable
 , module Hcompta.LCC.Sym.Transaction
 , module Hcompta.LCC.Sym.Unit
 , module Hcompta.LCC.Sym.Zipper
 ) where

import Hcompta.LCC.Sym.Account
import Hcompta.LCC.Sym.Addable
import Hcompta.LCC.Sym.Amount
import Hcompta.LCC.Sym.Date
import Hcompta.LCC.Sym.FileSystem
import Hcompta.LCC.Sym.Journal
import Hcompta.LCC.Sym.Negable
import Hcompta.LCC.Sym.Posting
import Hcompta.LCC.Sym.Quantity
import Hcompta.LCC.Sym.Subable
import Hcompta.LCC.Sym.Transaction
import Hcompta.LCC.Sym.Unit
import Hcompta.LCC.Sym.Zipper

import Hcompta.LCC.Account (Account)
import Hcompta.LCC.Amount (Amounts, Quantity, Unit)
import Hcompta.LCC.Journal (Journal, PathFile)
import Hcompta.LCC.Posting (Posting, Date)
import Hcompta.LCC.Transaction (Transaction)
import Hcompta.Quantity (Addable, Negable, Subable)

import Control.Applicative (Alternative)
import Data.Bool (Bool)
import Data.Either (Either)
import Data.Foldable (Foldable)
import Data.NonNull (NonNull)
import Data.Proxy
import Data.Traversable (Traversable)
import Data.TreeMap.Strict.Zipper (Zipper)
import Data.Map.Strict (Map)
import Language.Symantic as Sym
import Text.Show (Show)

type Ifaces =
 [ Proxy (->)
 , Proxy Account
 , Proxy Addable
 , Proxy Alternative
 , Proxy Amounts
 , Proxy Bool
 , Proxy Date
 , Proxy Either
 , Proxy Foldable
 , Proxy Journal
 , Proxy Map
 , Proxy Negable
 , Proxy NonNull
 , Proxy PathFile
 , Proxy Posting
 , Proxy Quantity
 , Proxy Show
 , Proxy Subable
 , Proxy Transaction
 , Proxy Traversable
 , Proxy Unit
 , Proxy Zipper
 ]

type TyConsts
 = Sym.TyConsts_of_Ifaces Ifaces

{-
x0
 :: ( is ~ Ifaces
    , cs ~ Sym.TyConsts_of_Ifaces is )
 => IO ( ( Either (P.ParseError Char P.Dec)
                    (S.Either [At (Error_Journal cs is)] (CanonFile, Journal [Transaction]))
           , Context_Read [Transaction] )
         , Context_Sym cs is )
x0 = read_file "./Hcompta/LCC/Journal/02.jnl" $ read $
	g_journal (Proxy @Ifaces) (:)

y0
 -- :: CF (P.ParsecT P.Dec Text m) a
 :: ( m ~ S.StateT (Context_Read j) (S.StateT (Context_Sym cs is) IO)
    , is ~ Ifaces
    , cs ~ Sym.TyConsts_of_Ifaces is
    -- , e ~ P.ParseError Char P.Dec
    )
 => CF (P.ParsecT P.Dec Text m)
       ( Sym.Term_Name
       , Either (At (Sym.Error_Term Meta cs is))
                (Sym.ETerm cs is) )
y0 = g_term
-}