fix formatting

fourmolu breaks weirdly on some spacing

agora/Agora/Stake/Scripts.hs

@@ -160,59 +160,56 @@ stakePolicy gtClassRef =
 
 --------------------------------------------------------------------------------
 
--- | Validator intended for Stake UTXOs to be locked by.
+{- | Validator intended for Stake UTXOs to be locked by.
---
+
---
+== What this Validator does:
--- == What this Validator does:
+
---
+=== 'DepositWithdraw'
--- === 'DepositWithdraw'
+
---
+Deposit or withdraw some GT to the stake.
--- Deposit or withdraw some GT to the stake.
+
---
+- Tx must be signed by the owner.
--- - Tx must be signed by the owner.
+- The 'stakedAmount' field must be updated.
--- - The 'stakedAmount' field must be updated.
+- The stake must not be locked.
--- - The stake must not be locked.
+- The new UTXO must have the previous value plus the difference
--- - The new UTXO must have the previous value plus the difference
+  as stated by the redeemer.
---   as stated by the redeemer.
+
---
+=== 'PermitVote'
--- === 'PermitVote'
+
---
+Allow a 'ProposalLock' to be put on the stake in order to vote
--- Allow a 'ProposalLock' to be put on the stake in order to vote
+on a proposal.
--- on a proposal.
+
---
+- A proposal token must be spent alongside the stake.
--- - A proposal token must be spent alongside the stake.
+
---
+  * Its total votes must be correctly updated to include this stake's
---   * Its total votes must be correctly updated to include this stake's
+    contribution.
---     contribution.
+
---
+- Tx must be signed by the owner.
--- - Tx must be signed by the owner.
+
---
+=== 'RetractVotes'
---
+
--- === 'RetractVotes'
+Remove a 'ProposalLock' set when voting on a proposal.
---
+
--- Remove a 'ProposalLock' set when voting on a proposal.
+- A proposal token must be spent alongside the stake.
---
+- Tx must be signed by the owner.
--- - A proposal token must be spent alongside the stake.
+
--- - Tx must be signed by the owner.
+=== 'Destroy'
---
+
---
+Destroy the stake in order to reclaim the min ADA.
--- === 'Destroy'
+
---
+- The stake must not be locked.
--- Destroy the stake in order to reclaim the min ADA.
+- Tx must be signed by the owner.
---
+
--- - The stake must not be locked.
+=== 'WitnessStake'
--- - Tx must be signed by the owner.
+
---
+Allow this Stake to be included in a transaction without making
---
+any changes to it. In the future,
--- === 'WitnessStake'
+this could use [CIP-31](https://cips.cardano.org/cips/cip31/) instead.
---
+
--- Allow this Stake to be included in a transaction without making
+- Tx must be signed by the owner __or__ a proposal ST token must be spent
--- any changes to it. In the future,
+  alongside the stake.
--- this could use [CIP-31](https://cips.cardano.org/cips/cip31/) instead.
+- The datum and value must remain unchanged.
---
+-}
--- - Tx must be signed by the owner __or__ a proposal ST token must be spent
---   alongside the stake.
--- - The datum and value must remain unchanged.
 stakeValidator :: Stake -> ClosedTerm PValidator
 stakeValidator stake =
   plam $ \datum redeemer ctx' -> P.do
@@ -298,7 +295,6 @@ stakeValidator stake =
           "Owner signs this transaction"
           ownerSignsTransaction
 
-
         -- This puts trust into the Proposal. The Proposal must necessarily check
         -- that this is not abused.
         passert "Proposal ST spent" $