format

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,

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 =

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 =