Fix experimental context

.github/workflows/main-pull.yml

@@ -99,6 +99,9 @@ jobs:
     - name: Benchmark compiler performance
       run: cabal bench bench-compiler-performance
 
+    - name: Benchmark experimental compiler performance
+      run: cabal bench experimental-backend
+
     - name: Benchmark polynomial multiplication
       run: cabal bench bench-poly-mul
 

symbolic-base/src/ZkFold/Algebra/Polynomial/Multivariate/Expression.hs

@@ -0,0 +1,62 @@
+{-# LANGUAGE BlockArguments #-}
+
+module ZkFold.Algebra.Polynomial.Multivariate.Expression (Polynomial, evalPoly) where
+
+import Control.Applicative (Applicative (..))
+import Data.Foldable (Foldable)
+import Data.Function ((.))
+import Data.Functor (Functor, (<$>))
+import Data.Traversable (Traversable)
+import Numeric.Natural (Natural)
+
+import ZkFold.Algebra.Class
+
+data Polynomial a v
+  = PVar v
+  | PConst a
+  | Polynomial a v :+ Polynomial a v
+  | Polynomial a v :* Polynomial a v
+  deriving (Foldable, Functor, Traversable)
+
+evalPoly :: Algebra a b => Polynomial a v -> (v -> b) -> b
+evalPoly (PVar i) x = x i
+evalPoly (PConst c) _ = fromConstant c
+evalPoly (p :+ q) x = evalPoly p x + evalPoly q x
+evalPoly (p :* q) x = evalPoly p x * evalPoly q x
+
+instance Ring a => Applicative (Polynomial a) where
+  pure = PVar
+  fs <*> xs = evalPoly fs (<$> xs)
+
+instance Zero a => Zero (Polynomial a v) where
+  zero = PConst zero
+
+instance FromConstant c a => Scale c (Polynomial a v)
+
+instance AdditiveSemigroup (Polynomial a v) where
+  (+) = (:+)
+
+instance (FromConstant Natural a, Zero a) => AdditiveMonoid (Polynomial a v)
+
+instance Ring a => AdditiveGroup (Polynomial a v) where
+  negate = scale (negate one :: a)
+
+instance MultiplicativeSemigroup (Polynomial a v) where
+  (*) = (:*)
+
+instance MultiplicativeMonoid a => MultiplicativeMonoid (Polynomial a v) where
+  one = fromConstant (one :: a)
+
+instance FromConstant c a => FromConstant c (Polynomial a v) where
+  fromConstant = PConst . fromConstant
+
+instance MultiplicativeMonoid a => Exponent (Polynomial a v) Natural where
+  (^) = natPow
+
+instance {-# OVERLAPPING #-} FromConstant (Polynomial a v) (Polynomial a v)
+
+instance {-# OVERLAPPING #-} Scale (Polynomial a v) (Polynomial a v)
+
+instance Semiring a => Semiring (Polynomial a v)
+
+instance Ring a => Ring (Polynomial a v)

symbolic-base/src/ZkFold/ArithmeticCircuit/Experimental.hs → symbolic-base/src/ZkFold/ArithmeticCircuit/Elem.hs

@@ -5,7 +5,7 @@
 {-# LANGUAGE UndecidableInstances #-}
 {-# OPTIONS_GHC -Wno-orphans #-}
 
-module ZkFold.ArithmeticCircuit.Experimental where
+module ZkFold.ArithmeticCircuit.Elem where
 
 import Control.Applicative (pure)
 import Control.DeepSeq (NFData (..), NFData1, liftRnf, rwhnf)
@@ -25,10 +25,9 @@ import Data.Ord (Ord (..))
 import Data.Semigroup (Semigroup, (<>))
 import Data.Semigroup.Generic (GenericSemigroupMonoid (..))
 import qualified Data.Set as S
-import Data.Traversable (traverse)
+import Data.Traversable (Traversable, traverse)
 import Data.Tuple (swap, uncurry)
 import Data.Type.Equality (type (~))
-import Data.Typeable (Typeable)
 import GHC.Generics (Generic, Par1 (..), U1, (:*:) (..))
 import Optics (zoom)
 import Prelude (error)
@@ -95,10 +94,7 @@ newtype Polynomial a v = MkPolynomial
 
 --------------- Type-preserving lookup constraint representation ---------------
 
-data LookupEntry v
-  = forall f.
-    (Functor f, Foldable f, NFData1 f, Typeable f) =>
-    LEntry (f v) (LookupTable f)
+data LookupEntry v = forall f. Traversable f => LEntry (f v) (LookupTable f)
 
 ------------- Box of constraints supporting efficient concatenation ------------