stylish-haskell auto-commit

zkFold · Aug 5, 2024 · 5b4c2e3 · 5b4c2e3
1 parent e6a47be
commit 5b4c2e3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/src/ZkFold/Symbolic/Compiler/ArithmeticCircuit/Combinators.hs b/src/ZkFold/Symbolic/Compiler/ArithmeticCircuit/Combinators.hs
@@ -24,6 +24,7 @@ import           Control.Monad                                             (fold
 import           Data.Containers.ListUtils                                 (nubOrd)
 import           Data.Eq                                                   ((==))
 import           Data.Foldable                                             (foldlM)
+import           Data.Functor                                              (($>))
 import           Data.List                                                 (sort)
 import           Data.Map                                                  (elems)
 import           Data.Traversable                                          (for)
@@ -42,7 +43,6 @@ import           ZkFold.Prelude                                            (leng
 import           ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal       (ArithmeticCircuit (..), acInput)
 import           ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint
 import           ZkFold.Symbolic.MonadCircuit
-import Data.Functor (($>))
 
 boolCheckC :: (Arithmetic a, Traversable f) => ArithmeticCircuit a f -> ArithmeticCircuit a f
 -- ^ @boolCheckC r@ computes @r (r - 1)@ in one PLONK constraint.

diff --git a/tests/Tests/Arithmetization/Test4.hs b/tests/Tests/Arithmetization/Test4.hs
@@ -20,7 +20,8 @@ import           ZkFold.Base.Protocol.ARK.Plonk              (Plonk (..), PlonkI
 import           ZkFold.Base.Protocol.ARK.Plonk.Internal     (getParams)
 import           ZkFold.Base.Protocol.NonInteractiveProof    (NonInteractiveProof (..))
 import           ZkFold.Symbolic.Class
-import           ZkFold.Symbolic.Compiler                    (ArithmeticCircuit (..), acValue, applyArgs, compile, compileSafeZero)
+import           ZkFold.Symbolic.Compiler                    (ArithmeticCircuit (..), acValue, applyArgs, compile,
+                                                              compileSafeZero)
 import           ZkFold.Symbolic.Data.Bool                   (Bool (..))
 import           ZkFold.Symbolic.Data.Eq                     (Eq (..))
 import           ZkFold.Symbolic.Data.FieldElement           (FieldElement)