From 3ec470a9edad01acb513e1fb9f58ad6ae0e37855 Mon Sep 17 00:00:00 2001
From: Seungheon Oh <seungheon.ooh@gmail.com>
Date: Mon, 25 Apr 2022 11:17:15 -0400
Subject: [PATCH] format

---
 agora.cabal                              | 2 +-
 agora/Agora/Effect/TreasuryWithdrawal.hs | 7 +++----
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/agora.cabal b/agora.cabal
index e73243f..c1729d0 100644
--- a/agora.cabal
+++ b/agora.cabal
@@ -123,8 +123,8 @@ library
   exposed-modules:
     Agora.AuthorityToken
     Agora.Effect
-    Agora.Effect.TreasuryWithdrawal
     Agora.Effect.NoOp
+    Agora.Effect.TreasuryWithdrawal
     Agora.Governor
     Agora.MultiSig
     Agora.Proposal
diff --git a/agora/Agora/Effect/TreasuryWithdrawal.hs b/agora/Agora/Effect/TreasuryWithdrawal.hs
index f39ad92..209877f 100644
--- a/agora/Agora/Effect/TreasuryWithdrawal.hs
+++ b/agora/Agora/Effect/TreasuryWithdrawal.hs
@@ -13,14 +13,13 @@ module Agora.Effect.TreasuryWithdrawal (
   treasuryWithdrawalValidator,
 ) where
 
+import Control.Applicative (Const)
 import GHC.Generics qualified as GHC
 import Generics.SOP (Generic, I (I))
-import Control.Applicative (Const)
 
 import Agora.Effect (makeEffect)
 import Agora.Utils (findTxOutByTxOutRef, paddValue, passert)
 import Plutarch (popaque)
-import Plutarch.Internal (punsafeCoerce)
 import Plutarch.Api.V1 (
   PCredential (..),
   PTuple,
@@ -28,15 +27,16 @@ import Plutarch.Api.V1 (
   PValue,
   ptuple,
  )
+import Plutarch.Internal (punsafeCoerce)
 
 import Plutarch.DataRepr (
   DerivePConstantViaData (..),
   PDataFields,
   PIsDataReprInstances (..),
  )
-import Plutarch.TryFrom ( PTryFrom(..) ) 
 import Plutarch.Lift (PUnsafeLiftDecl (..))
 import Plutarch.Monadic qualified as P
+import Plutarch.TryFrom (PTryFrom (..))
 import Plutus.V1.Ledger.Credential (Credential)
 import Plutus.V1.Ledger.Value (CurrencySymbol, Value)
 import PlutusTx qualified
@@ -80,7 +80,6 @@ instance PTryFrom PData PTreasuryWithdrawalDatum where
     -- this will need to not use punsafeCoerce...
     cont (punsafeCoerce opq, ())
 
-
 {- | Withdraws given list of values to specific target addresses.
      It can be evoked by burning GAT. The transaction should have correct
      outputs to the users and any left overs should be paid back to the treasury.