feat(#348): update formatter config

fourmolu.yaml

@@ -1,7 +1,9 @@
 indentation: 2
 comma-style: leading
 record-brace-space: true
-indent-wheres: true
+indent-wheres: false
 respectful: true
 haddock-style: multi-line
 newlines-between-decls: 1
+single-constraint-parens: never
+single-deriving-parens: never

src-plutustx/GeniusYield/OnChain/AStakeValidator.hs

@@ -20,12 +20,12 @@ mkAStakeValidator addr _ ctx' = case scriptContextPurpose ctx of
   Certifying _ -> ()
   Rewarding _ -> if paidToAddress then () else error ()
   _ -> error ()
-  where
-    ctx :: ScriptContext
-    ctx = unsafeFromBuiltinData ctx'
+ where
+  ctx :: ScriptContext
+  ctx = unsafeFromBuiltinData ctx'
 
-    info :: TxInfo
-    info = scriptContextTxInfo ctx
+  info :: TxInfo
+  info = scriptContextTxInfo ctx
 
-    paidToAddress :: Bool
-    paidToAddress = any (\o -> txOutAddress o == addr) $ txInfoOutputs info
+  paidToAddress :: Bool
+  paidToAddress = any (\o -> txOutAddress o == addr) $ txInfoOutputs info

src-plutustx/GeniusYield/OnChain/Examples/ReadOracle.hs

@@ -21,16 +21,16 @@ mkReadOracleValidator :: BuiltinData -> BuiltinData -> BuiltinData -> ()
 mkReadOracleValidator _ _ ctx'
   | any (hasOutputDatum . txOutDatum) refins = ()
   | otherwise = error ()
-  where
-    ctx :: ScriptContext
-    ctx = unsafeFromBuiltinData ctx'
+ where
+  ctx :: ScriptContext
+  ctx = unsafeFromBuiltinData ctx'
 
-    info :: TxInfo
-    info = scriptContextTxInfo ctx
+  info :: TxInfo
+  info = scriptContextTxInfo ctx
 
-    refins :: [TxOut]
-    refins = map txInInfoResolved (txInfoReferenceInputs info)
+  refins :: [TxOut]
+  refins = map txInInfoResolved (txInfoReferenceInputs info)
 
-    hasOutputDatum :: OutputDatum -> Bool
-    hasOutputDatum (OutputDatum _) = True
-    hasOutputDatum _ = False
+  hasOutputDatum :: OutputDatum -> Bool
+  hasOutputDatum (OutputDatum _) = True
+  hasOutputDatum _ = False

src-plutustx/GeniusYield/OnChain/TestToken.hs

@@ -25,14 +25,14 @@ mkTestTokenPolicy amt tn utxo _ ctx'
   | tn /= tn' = traceError "wrong token"
   | amt /= amt' = traceError "wrong amount"
   | otherwise = ()
-  where
-    ctx :: ScriptContext
-    ctx = unsafeFromBuiltinData ctx'
+ where
+  ctx :: ScriptContext
+  ctx = unsafeFromBuiltinData ctx'
 
-    info :: TxInfo
-    info = scriptContextTxInfo ctx
+  info :: TxInfo
+  info = scriptContextTxInfo ctx
 
-    [(_, tn', amt')] = flattenValue $ txInfoMint info
+  [(_, tn', amt')] = flattenValue $ txInfoMint info
 
-    hasn'tUTxO :: Bool
-    hasn'tUTxO = all (\i -> txInInfoOutRef i /= utxo) $ txInfoInputs info
+  hasn'tUTxO :: Bool
+  hasn'tUTxO = all (\i -> txInInfoOutRef i /= utxo) $ txInfoInputs info

src/GeniusYield/Api/TestTokens.hs

@@ -17,7 +17,7 @@ import GeniusYield.TxBuilder
 import GeniusYield.Types
 
 mintTestTokens ::
-  (GYTxUserQueryMonad m) =>
+  GYTxUserQueryMonad m =>
   GYTokenName ->
   Natural ->
   m (GYAssetClass, GYTxSkeleton 'PlutusV2)

src/GeniusYield/CardanoApi/Query.hs

@@ -31,8 +31,8 @@ import GeniusYield.Types
 -------------------------------------------------------------------------------
 
 newtype CardanoQueryException = CardanoQueryException String
-  deriving stock (Show)
-  deriving anyclass (Exception)
+  deriving stock Show
+  deriving anyclass Exception
 
 -------------------------------------------------------------------------------
 -- Low-level query runners

src/GeniusYield/Examples/Gift.hs

@@ -30,12 +30,12 @@ giftScript =
     UPLC.LamAbs ann redeemerName $
       UPLC.LamAbs ann scName $
         UPLC.Var ann scName
-  where
-    ann = ()
+ where
+  ann = ()
 
-    datumName = UPLC.Name "datum" (UPLC.Unique 0)
-    redeemerName = UPLC.Name "redeemer" (UPLC.Unique 1)
-    scName = UPLC.Name "sc" (UPLC.Unique 2)
+  datumName = UPLC.Name "datum" (UPLC.Unique 0)
+  redeemerName = UPLC.Name "redeemer" (UPLC.Unique 1)
+  scName = UPLC.Name "sc" (UPLC.Unique 2)
 
 giftScript' :: UPLC.Term UPLC.DeBruijn UPLC.DefaultUni UPLC.DefaultFun ()
 giftScript' = toDeBruijn giftScript

src/GeniusYield/Examples/Limbo.hs

@@ -29,12 +29,12 @@ limboScript =
     UPLC.LamAbs ann redeemerName $
       UPLC.LamAbs ann scName $
         UPLC.Error ann
-  where
-    ann = ()
+ where
+  ann = ()
 
-    datumName = UPLC.Name "datum" (UPLC.Unique 0)
-    redeemerName = UPLC.Name "redeemer" (UPLC.Unique 1)
-    scName = UPLC.Name "sc" (UPLC.Unique 2)
+  datumName = UPLC.Name "datum" (UPLC.Unique 0)
+  redeemerName = UPLC.Name "redeemer" (UPLC.Unique 1)
+  scName = UPLC.Name "sc" (UPLC.Unique 2)
 
 limboScript' :: UPLC.Term UPLC.DeBruijn UPLC.DefaultUni UPLC.DefaultFun ()
 limboScript' = toDeBruijn limboScript

src/GeniusYield/Examples/Treat.hs

@@ -37,12 +37,12 @@ treatScript =
           ann
           (UPLC.Builtin ann PLC.SerialiseData)
           (UPLC.Var ann scName)
-  where
-    ann = ()
+ where
+  ann = ()
 
-    datumName = UPLC.Name "datum" (UPLC.Unique 0)
-    redeemerName = UPLC.Name "redeemer" (UPLC.Unique 1)
-    scName = UPLC.Name "sc" (UPLC.Unique 2)
+  datumName = UPLC.Name "datum" (UPLC.Unique 0)
+  redeemerName = UPLC.Name "redeemer" (UPLC.Unique 1)
+  scName = UPLC.Name "sc" (UPLC.Unique 2)
 
 treatScript' :: UPLC.Term UPLC.DeBruijn UPLC.DefaultUni UPLC.DefaultFun ()
 treatScript' = toDeBruijn treatScript

src/GeniusYield/GYConfig.hs

@@ -76,7 +76,7 @@ data GYCoreProviderInfo
   = GYNodeKupo {cpiSocketPath :: !FilePath, cpiKupoUrl :: !Text}
   | GYMaestro {cpiMaestroToken :: !(Confidential Text), cpiTurboSubmit :: !(Maybe Bool)}
   | GYBlockfrost {cpiBlockfrostKey :: !(Confidential Text)}
-  deriving stock (Show)
+  deriving stock Show
 
 $( deriveFromJSON
     defaultOptions
@@ -130,7 +130,7 @@ data GYCoreConfig = GYCoreConfig
   }
   -- , cfgUtxoCacheEnable :: !Bool
 
-  deriving stock (Show)
+  deriving stock Show
 
 $( deriveFromJSON
     defaultOptions
@@ -254,69 +254,69 @@ logTiming providers@GYProviders {..} =
     , gyGetStakeAddressInfo = gyGetStakeAddressInfo'
     , gyLog' = gyLog'
     }
-  where
-    wrap :: String -> IO a -> IO a
-    wrap msg m = do
-      (!a, !t) <- duration m
-      gyLog providers "" GYDebug $ msg <> " took " <> show t
-      pure a
-
-    gyLookupDatum' :: GYLookupDatum
-    gyLookupDatum' = wrap "gyLookupDatum" . gyLookupDatum
-
-    gySubmitTx' :: GYSubmitTx
-    gySubmitTx' = wrap "gySubmitTx" . gySubmitTx
-
-    gyAwaitTxConfirmed' :: GYAwaitTx
-    gyAwaitTxConfirmed' p = wrap "gyAwaitTxConfirmed" . gyAwaitTxConfirmed p
-
-    gySlotActions' :: GYSlotActions
-    gySlotActions' =
-      GYSlotActions
-        { gyGetSlotOfCurrentBlock' = wrap "gyGetSlotOfCurrentBlock" $ gyGetSlotOfCurrentBlock providers
-        , gyWaitForNextBlock' = wrap "gyWaitForNextBlock" $ gyWaitForNextBlock providers
-        , gyWaitUntilSlot' = wrap "gyWaitUntilSlot" . gyWaitUntilSlot providers
-        }
-
-    gyGetParameters' :: GYGetParameters
-    gyGetParameters' =
-      GYGetParameters
-        { gyGetProtocolParameters' = wrap "gyGetProtocolParameters" $ gyGetProtocolParameters providers
-        , gyGetSystemStart' = wrap "gyGetSystemStart" $ gyGetSystemStart providers
-        , gyGetEraHistory' = wrap "gyGetEraHistory" $ gyGetEraHistory providers
-        , gyGetStakePools' = wrap "gyGetStakePools" $ gyGetStakePools providers
-        , gyGetSlotConfig' = wrap "gyGetSlotConfig" $ gyGetSlotConfig providers
-        }
-
-    gyQueryUTxO' :: GYQueryUTxO
-    gyQueryUTxO' =
-      GYQueryUTxO
-        { gyQueryUtxosAtTxOutRefs' = wrap "gyQueryUtxosAtTxOutRefs" . gyQueryUtxosAtTxOutRefs providers
-        , gyQueryUtxosAtTxOutRefsWithDatums' = case gyQueryUtxosAtTxOutRefsWithDatums' gyQueryUTxO of
-            Nothing -> Nothing
-            Just q -> Just $ wrap "gyQueryUtxosAtTxOutRefsWithDatums" . q
-        , gyQueryUtxoAtTxOutRef' = wrap "gyQueryUtxoAtTxOutRef" . gyQueryUtxoAtTxOutRef providers
-        , gyQueryUtxoRefsAtAddress' = wrap "gyQueryUtxoRefsAtAddress" . gyQueryUtxoRefsAtAddress providers
-        , gyQueryUtxosAtAddress' = \addr mac -> wrap "gyQueryUtxosAtAddress'" $ gyQueryUtxosAtAddress providers addr mac
-        , gyQueryUtxosAtAddressWithDatums' = case gyQueryUtxosAtAddressWithDatums' gyQueryUTxO of
-            Nothing -> Nothing
-            Just q -> Just $ \addr mac -> wrap "gyQueryUtxosAtAddressWithDatums'" $ q addr mac
-        , gyQueryUtxosAtAddresses' = wrap "gyQueryUtxosAtAddresses" . gyQueryUtxosAtAddresses providers
-        , gyQueryUtxosAtAddressesWithDatums' = case gyQueryUtxosAtAddressesWithDatums' gyQueryUTxO of
-            Nothing -> Nothing
-            Just q -> Just $ wrap "gyQueryUtxosAtAddressesWithDatums" . q
-        , gyQueryUtxosAtPaymentCredential' = \cred -> wrap "gyQueryUtxosAtPaymentCredential" . gyQueryUtxosAtPaymentCredential providers cred
-        , gyQueryUtxosAtPaymentCredWithDatums' = case gyQueryUtxosAtPaymentCredWithDatums' gyQueryUTxO of
-            Nothing -> Nothing
-            Just q -> Just $ \cred mac -> wrap "gyQueryUtxosAtPaymentCredWithDatums" $ q cred mac
-        , gyQueryUtxosAtPaymentCredentials' = wrap "gyQueryUtxosAtPaymentCredentials" . gyQueryUtxosAtPaymentCredentials providers
-        , gyQueryUtxosAtPaymentCredsWithDatums' = case gyQueryUtxosAtPaymentCredsWithDatums' gyQueryUTxO of
-            Nothing -> Nothing
-            Just q -> Just $ wrap "gyQueryUtxosAtPaymentCredsWithDatums" . q
-        }
-
-    gyGetStakeAddressInfo' :: GYStakeAddress -> IO (Maybe GYStakeAddressInfo)
-    gyGetStakeAddressInfo' = wrap "gyGetStakeAddressInfo" . gyGetStakeAddressInfo
+ where
+  wrap :: String -> IO a -> IO a
+  wrap msg m = do
+    (!a, !t) <- duration m
+    gyLog providers "" GYDebug $ msg <> " took " <> show t
+    pure a
+
+  gyLookupDatum' :: GYLookupDatum
+  gyLookupDatum' = wrap "gyLookupDatum" . gyLookupDatum
+
+  gySubmitTx' :: GYSubmitTx
+  gySubmitTx' = wrap "gySubmitTx" . gySubmitTx
+
+  gyAwaitTxConfirmed' :: GYAwaitTx
+  gyAwaitTxConfirmed' p = wrap "gyAwaitTxConfirmed" . gyAwaitTxConfirmed p
+
+  gySlotActions' :: GYSlotActions
+  gySlotActions' =
+    GYSlotActions
+      { gyGetSlotOfCurrentBlock' = wrap "gyGetSlotOfCurrentBlock" $ gyGetSlotOfCurrentBlock providers
+      , gyWaitForNextBlock' = wrap "gyWaitForNextBlock" $ gyWaitForNextBlock providers
+      , gyWaitUntilSlot' = wrap "gyWaitUntilSlot" . gyWaitUntilSlot providers
+      }
+
+  gyGetParameters' :: GYGetParameters
+  gyGetParameters' =
+    GYGetParameters
+      { gyGetProtocolParameters' = wrap "gyGetProtocolParameters" $ gyGetProtocolParameters providers
+      , gyGetSystemStart' = wrap "gyGetSystemStart" $ gyGetSystemStart providers
+      , gyGetEraHistory' = wrap "gyGetEraHistory" $ gyGetEraHistory providers
+      , gyGetStakePools' = wrap "gyGetStakePools" $ gyGetStakePools providers
+      , gyGetSlotConfig' = wrap "gyGetSlotConfig" $ gyGetSlotConfig providers
+      }
+
+  gyQueryUTxO' :: GYQueryUTxO
+  gyQueryUTxO' =
+    GYQueryUTxO
+      { gyQueryUtxosAtTxOutRefs' = wrap "gyQueryUtxosAtTxOutRefs" . gyQueryUtxosAtTxOutRefs providers
+      , gyQueryUtxosAtTxOutRefsWithDatums' = case gyQueryUtxosAtTxOutRefsWithDatums' gyQueryUTxO of
+          Nothing -> Nothing
+          Just q -> Just $ wrap "gyQueryUtxosAtTxOutRefsWithDatums" . q
+      , gyQueryUtxoAtTxOutRef' = wrap "gyQueryUtxoAtTxOutRef" . gyQueryUtxoAtTxOutRef providers
+      , gyQueryUtxoRefsAtAddress' = wrap "gyQueryUtxoRefsAtAddress" . gyQueryUtxoRefsAtAddress providers
+      , gyQueryUtxosAtAddress' = \addr mac -> wrap "gyQueryUtxosAtAddress'" $ gyQueryUtxosAtAddress providers addr mac
+      , gyQueryUtxosAtAddressWithDatums' = case gyQueryUtxosAtAddressWithDatums' gyQueryUTxO of
+          Nothing -> Nothing
+          Just q -> Just $ \addr mac -> wrap "gyQueryUtxosAtAddressWithDatums'" $ q addr mac
+      , gyQueryUtxosAtAddresses' = wrap "gyQueryUtxosAtAddresses" . gyQueryUtxosAtAddresses providers
+      , gyQueryUtxosAtAddressesWithDatums' = case gyQueryUtxosAtAddressesWithDatums' gyQueryUTxO of
+          Nothing -> Nothing
+          Just q -> Just $ wrap "gyQueryUtxosAtAddressesWithDatums" . q
+      , gyQueryUtxosAtPaymentCredential' = \cred -> wrap "gyQueryUtxosAtPaymentCredential" . gyQueryUtxosAtPaymentCredential providers cred
+      , gyQueryUtxosAtPaymentCredWithDatums' = case gyQueryUtxosAtPaymentCredWithDatums' gyQueryUTxO of
+          Nothing -> Nothing
+          Just q -> Just $ \cred mac -> wrap "gyQueryUtxosAtPaymentCredWithDatums" $ q cred mac
+      , gyQueryUtxosAtPaymentCredentials' = wrap "gyQueryUtxosAtPaymentCredentials" . gyQueryUtxosAtPaymentCredentials providers
+      , gyQueryUtxosAtPaymentCredsWithDatums' = case gyQueryUtxosAtPaymentCredsWithDatums' gyQueryUTxO of
+          Nothing -> Nothing
+          Just q -> Just $ wrap "gyQueryUtxosAtPaymentCredsWithDatums" . q
+      }
+
+  gyGetStakeAddressInfo' :: GYStakeAddress -> IO (Maybe GYStakeAddressInfo)
+  gyGetStakeAddressInfo' = wrap "gyGetStakeAddressInfo" . gyGetStakeAddressInfo
 
 duration :: IO a -> IO (a, NominalDiffTime)
 duration m = do

src/GeniusYield/HTTP/Errors.hs

@@ -28,7 +28,7 @@ import GeniusYield.Imports
 type IsGYApiError :: Type -> Constraint
 class IsGYApiError e where
   toApiError :: e -> GYApiError
-  default toApiError :: (Exception e) => e -> GYApiError
+  default toApiError :: Exception e => e -> GYApiError
   toApiError e = someBackendError . Txt.pack $ displayException e
 
 {- | An example error code can be: "INSUFFICIENT_BALANCE" (i.e.

src/GeniusYield/Imports.hs

@@ -79,7 +79,7 @@ import Data.Text.Lazy.Encoding qualified as LTE
 import GHC.TypeLits (ErrorMessage (..), TypeError)
 
 -- | Use 'TODO' instead of 'undefined's
-pattern TODO :: () => (HasCallStack) => a
+pattern TODO :: () => HasCallStack => a
 pattern TODO <- (todoMatch -> ())
   where
     TODO = error "TODO"
@@ -88,15 +88,15 @@ pattern TODO <- (todoMatch -> ())
 todoMatch :: a -> ()
 todoMatch _ = ()
 
-findFirst :: (Foldable f) => (a -> Maybe b) -> f a -> Maybe b
+findFirst :: Foldable f => (a -> Maybe b) -> f a -> Maybe b
 findFirst f xs = getFirst (foldMap (coerce f) xs)
 
 -- poisonous instances
 -- (the orphan in plutus-ledger-api was removed in Feb 2022)
-instance (TypeError ('Text "Forbidden FromJSON ByteString instance")) => FromJSON ByteString where
+instance TypeError ('Text "Forbidden FromJSON ByteString instance") => FromJSON ByteString where
   parseJSON = error "FromJSON @ByteString"
 
-instance (TypeError ('Text "Forbidden ToJSON ByteString instance")) => ToJSON ByteString where
+instance TypeError ('Text "Forbidden ToJSON ByteString instance") => ToJSON ByteString where
   toJSON = error "ToJSON @ByteString"
 
 {- | Decode a lazy 'ByteString' containing UTF-8 encoded text.
@@ -119,5 +119,5 @@ hush = either (const Nothing) Just
 
 __NOTE:__ This is also defined (& exported) in @transformers-0.6.0.0@, so should be removed once we upgrade to it.
 -}
-hoistMaybe :: (Applicative m) => Maybe b -> MaybeT m b
+hoistMaybe :: Applicative m => Maybe b -> MaybeT m b
 hoistMaybe = MaybeT . pure