From 8315f410e8e9b2d7122ff116bda7f1df4701dee9 Mon Sep 17 00:00:00 2001
From: Seungheon Oh <seungheon.ooh@gmail.com>
Date: Mon, 25 Apr 2022 08:48:22 -0400
Subject: [PATCH] format

---
 agora-test/Spec/Effect/TreasuryWithdrawal.hs        |  2 +-
 agora-test/Spec/Sample/Effect/TreasuryWithdrawal.hs |  2 +-
 agora/Agora/Effect/TreasuryWithdrawal.hs            | 12 ++++++------
 3 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/agora-test/Spec/Effect/TreasuryWithdrawal.hs b/agora-test/Spec/Effect/TreasuryWithdrawal.hs
index 7deb7da..db0aed6 100644
--- a/agora-test/Spec/Effect/TreasuryWithdrawal.hs
+++ b/agora-test/Spec/Effect/TreasuryWithdrawal.hs
@@ -11,10 +11,10 @@ import Spec.Sample.Effect.TreasuryWithdrawal (
   buildReceiversOutputFromDatum,
   buildScriptContext,
   currSymbol,
+  inputCollateral,
   inputGAT,
   inputTreasury,
   inputUser,
-  inputCollateral,
   outputTreasury,
   outputUser,
   treasuries,
diff --git a/agora-test/Spec/Sample/Effect/TreasuryWithdrawal.hs b/agora-test/Spec/Sample/Effect/TreasuryWithdrawal.hs
index 78e89e2..81709fe 100644
--- a/agora-test/Spec/Sample/Effect/TreasuryWithdrawal.hs
+++ b/agora-test/Spec/Sample/Effect/TreasuryWithdrawal.hs
@@ -115,7 +115,7 @@ inputCollateral indx =
       { txOutAddress = Address (users !! indx) Nothing
       , txOutValue = Value.singleton "" "" 2000000
       , txOutDatumHash = Just (DatumHash "")
-      }  
+      }
 
 outputTreasury :: Int -> Value -> TxOut
 outputTreasury indx val =
diff --git a/agora/Agora/Effect/TreasuryWithdrawal.hs b/agora/Agora/Effect/TreasuryWithdrawal.hs
index ff9d3ec..0fbe118 100644
--- a/agora/Agora/Effect/TreasuryWithdrawal.hs
+++ b/agora/Agora/Effect/TreasuryWithdrawal.hs
@@ -20,12 +20,12 @@ import Agora.Effect (makeEffect)
 import Agora.Utils (findTxOutByTxOutRef, paddValue, passert)
 import Plutarch (popaque)
 import Plutarch.Api.V1 (
-  ptuple,
-  PValidator,
+  PCredential (..),
   PTuple,
+  PValidator,
   PValue,
-  PCredential(..)
-  )
+  ptuple,
+ )
 
 import Plutarch.DataRepr (
   DerivePConstantViaData (..),
@@ -34,7 +34,7 @@ import Plutarch.DataRepr (
  )
 import Plutarch.Lift (PUnsafeLiftDecl (..))
 import Plutarch.Monadic qualified as P
-import Plutus.V1.Ledger.Credential ( Credential )
+import Plutus.V1.Ledger.Credential (Credential)
 import Plutus.V1.Ledger.Value (CurrencySymbol, Value)
 import PlutusTx qualified
 
@@ -125,7 +125,7 @@ treasuryWithdrawalValidator currSymbol = makeEffect currSymbol $
         isCollateral = plam $ \cred -> P.do
           pmatch cred $ \case
             PPubKeyCredential _ -> pcon PTrue
-            PScriptCredential _ -> pcon PFalse     
+            PScriptCredential _ -> pcon PFalse
 
         -- Constraints
         outputContentMatchesRecivers =