{-# LANGUAGE MagicHash, FlexibleInstances #-}
module CnfTablesCalc where
import GHC.Prim
import Control.Applicative hiding (Const)
import Algebra.RingUtils
import Parsing.Chart ()
import AbsCalc
import LexCalc
import PrintCalc
readInteger :: String -> Integer
readInteger = read
readDouble :: String -> Double
readDouble = read
instance RingP [(CATEGORY,Any)] where
  mul p a b = trav [map (app tx ty) l :/: map (app tx ty) r | (x,tx) <- a, (y,ty) <- b, let l:/:r = combine p x y]
    where trav :: [Pair [a]] -> Pair [a]
          trav [] = pure []
          trav (x:xs) = (++) <$> x <*> trav xs
          app tx ty (z,f)  = (z, f tx ty)
showAst (cat,ast) = case cat of 
      CAT_Exp -> printTree ((unsafeCoerce# ast)::Exp)
      _ -> "Unprintable category"
data CATEGORY = CAT_Exp|
                CAT_0|
                CAT_1|
                CAT_Exp1|
                CAT_2|
                CAT_3|
                CAT_Exp2|
                CAT_4|
                CAT_Integer|
                TOK_40|
                TOK_41|
                TOK_42|
                TOK_43|
                TOK_45|
                TOK_47
  deriving (Eq,Ord,Show)