stylish-haskell auto-commit

zkFold · Aug 5, 2024 · 63f2fdc · 63f2fdc
1 parent f606dd0
commit 63f2fdc
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/examples/Examples/Eq.hs b/examples/Examples/Eq.hs
@@ -7,10 +7,10 @@ import           Prelude                                     hiding (Bool, Eq (.
 
 import           ZkFold.Base.Algebra.Basic.Field             (Zp)
 import           ZkFold.Base.Algebra.EllipticCurve.BLS12_381 (BLS12_381_Scalar)
+import           ZkFold.Symbolic.Class                       (Symbolic)
 import           ZkFold.Symbolic.Compiler
 import           ZkFold.Symbolic.Data.Bool                   (Bool (..))
 import           ZkFold.Symbolic.Data.Eq                     (Eq (..))
-import           ZkFold.Symbolic.Class                       (Symbolic)
 import           ZkFold.Symbolic.Data.FieldElement           (FieldElement)
 
 -- | (==) operation

diff --git a/src/ZkFold/Symbolic/Data/Eq/Structural.hs b/src/ZkFold/Symbolic/Data/Eq/Structural.hs
@@ -5,9 +5,9 @@ module ZkFold.Symbolic.Data.Eq.Structural where
 
 import           Prelude                    (type (~))
 
+import           ZkFold.Symbolic.Class
 import           ZkFold.Symbolic.Data.Bool
 import           ZkFold.Symbolic.Data.Class
-import           ZkFold.Symbolic.Class
 import           ZkFold.Symbolic.Data.Eq
 
 newtype Structural a = Structural a

diff --git a/tests/Tests/Arithmetization/Test4.hs b/tests/Tests/Arithmetization/Test4.hs
@@ -18,11 +18,11 @@ import           ZkFold.Base.Protocol.ARK.Plonk              (Plonk (..), PlonkP
                                                               plonkVerifierInput)
 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)
 import           ZkFold.Symbolic.Data.Bool                   (Bool (..))
 import           ZkFold.Symbolic.Data.Eq                     (Eq (..))
 import           ZkFold.Symbolic.Data.FieldElement           (FieldElement)
-import           ZkFold.Symbolic.Class
 
 type N = 1