Skip to content

Commit

Permalink
stylish-haskell changes
Browse files Browse the repository at this point in the history
  • Loading branch information
jutaro authored and deepfire committed Jan 31, 2023
1 parent e6bed3b commit 21ec90f
Show file tree
Hide file tree
Showing 27 changed files with 57 additions and 373 deletions.
8 changes: 4 additions & 4 deletions cardano-node/src/Cardano/Node/Configuration/TopologyP2P.hs
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE NamedFieldPuns #-}
{-# LANGUAGE NamedFieldPuns #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PackageImports #-}

Expand Down Expand Up @@ -33,15 +33,15 @@ import qualified Data.ByteString as BS
import qualified Data.ByteString.Lazy.Char8 as LBS
import qualified Data.Text as Text

import "contra-tracer" Control.Tracer (Tracer, traceWith)
import "contra-tracer" Control.Tracer (Tracer, traceWith)

import Cardano.Node.Configuration.POM (NodeConfiguration (..))
import Cardano.Slotting.Slot (SlotNo (..))

import Cardano.Node.Configuration.NodeAddress
import Cardano.Node.Types
import Cardano.Node.Startup (StartupTrace (..))
import Cardano.Node.Configuration.Topology (TopologyError (..))
import Cardano.Node.Startup (StartupTrace (..))
import Cardano.Node.Types

import Ouroboros.Network.NodeToNode (PeerAdvertise (..))
import Ouroboros.Network.PeerSelection.LedgerPeers (UseLedgerAfter (..))
Expand Down
3 changes: 2 additions & 1 deletion cardano-node/src/Cardano/Node/Tracing.hs
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,8 @@ import Cardano.Node.Startup (NodeInfo, NodeStartupInfo, StartupTrace)

import Cardano.Logging.Resources
import Cardano.Node.Tracing.StateRep (NodeState)
import Cardano.Node.Tracing.Tracers.ConsensusStartupException(ConsensusStartupException(..))
import Cardano.Node.Tracing.Tracers.ConsensusStartupException
(ConsensusStartupException (..))
import Cardano.Node.Tracing.Tracers.Peer (PeerT)

data Tracers peer localPeer blk p2p = Tracers
Expand Down
2 changes: 1 addition & 1 deletion cardano-node/src/Cardano/Node/Tracing/Era/Shelley.hs
Original file line number Diff line number Diff line change
Expand Up @@ -17,8 +17,8 @@ module Cardano.Node.Tracing.Era.Shelley () where

import Data.Aeson (ToJSON (..), Value (..), (.=))
import qualified Data.Aeson as Aeson
import qualified Data.Aeson.Types as Aeson
import qualified Data.Aeson.Key as Aeson
import qualified Data.Aeson.Types as Aeson
import qualified Data.Set as Set

import Cardano.Api (textShow)
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -36,4 +36,4 @@ instance MetaTrace ConsensusStartupException where
""
documentFor _ = Just ""

allNamespaces = [Namespace [] ["ConsensusStartupException"]]
allNamespaces = [Namespace [] ["ConsensusStartupException"]]
2 changes: 1 addition & 1 deletion cardano-node/src/Cardano/Node/Tracing/Tracers/Diffusion.hs
Original file line number Diff line number Diff line change
Expand Up @@ -576,4 +576,4 @@ instance MetaTrace TraceLedgerPeers where
, Namespace [] ["RequestForPeers"]
, Namespace [] ["ReusingLedgerState"]
, Namespace [] ["FallingBackToBootstrapPeers"]
]
]
5 changes: 2 additions & 3 deletions cardano-node/src/Cardano/Node/Tracing/Tracers/NodeToNode.hs
Original file line number Diff line number Diff line change
Expand Up @@ -22,8 +22,7 @@ import Text.Show
import Cardano.Node.Queries (ConvertTxId)
import Cardano.Node.Tracing.Render (renderHeaderHash, renderTxIdForDetails)

import Ouroboros.Consensus.Block (ConvertRawHash, GetHeader, StandardHash,
getHeader)
import Ouroboros.Consensus.Block (ConvertRawHash, GetHeader, StandardHash, getHeader)
import Ouroboros.Consensus.Ledger.SupportsMempool (GenTx, HasTxId, HasTxs,
LedgerSupportsMempool, extractTxs, txId)
import Ouroboros.Consensus.Node.Run (SerialiseNodeToNodeConstraints, estimateBlockSize)
Expand Down Expand Up @@ -335,4 +334,4 @@ instance MetaTrace (AnyMessageAndAgency (STX.TxSubmission2 txid tx)) where
, Namespace [] ["RequestTxs"]
, Namespace [] ["ReplyTxs"]
, Namespace [] ["Done"]
]
]
2 changes: 1 addition & 1 deletion cardano-node/src/Cardano/Node/Tracing/Tracers/NonP2P.hs
Original file line number Diff line number Diff line change
Expand Up @@ -405,4 +405,4 @@ instance MetaTrace NtN.ErrorPolicyTrace where
, Namespace [] ["UnhandledApplicationException"]
, Namespace [] ["UnhandledConnectionException"]
, Namespace [] ["AcceptException"]
]
]
7 changes: 4 additions & 3 deletions cardano-node/src/Cardano/Node/Tracing/Tracers/P2P.hs
Original file line number Diff line number Diff line change
Expand Up @@ -13,11 +13,12 @@ module Cardano.Node.Tracing.Tracers.P2P

import Cardano.Logging
import Cardano.Prelude hiding (group, show)
import Data.Aeson (ToJSON, ToJSONKey, Value (..), Object, object, toJSON, toJSONList, (.=))
import Data.Aeson (Object, ToJSON, ToJSONKey, Value (..), object, toJSON, toJSONList,
(.=))
import Data.Aeson.Types (listValue)
import Data.List (last)
import qualified Data.Map.Strict as Map
import qualified Data.Set as Set
import Data.List (last)
import Data.Text (pack)
import Network.Socket (SockAddr (..))
import Prelude (show)
Expand Down Expand Up @@ -1375,4 +1376,4 @@ instance MetaTrace NtN.AcceptConnectionsPolicyTrace where
Namespace [] ["ConnectionRateLimiting"]
, Namespace [] ["ConnectionHardLimit"]
, Namespace [] ["ConnectionLimitResume"]
]
]
2 changes: 1 addition & 1 deletion cardano-node/src/Cardano/Node/Tracing/Tracers/Shutdown.hs
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ module Cardano.Node.Tracing.Tracers.Shutdown
import Data.Aeson (Value (..), (.=))
import Data.Monoid (mconcat, (<>))
import Data.Text (Text, pack)
import Prelude (show, Maybe(..))
import Prelude (Maybe (..), show)

import Cardano.Logging
import Cardano.Node.Handlers.Shutdown
Expand Down
2 changes: 1 addition & 1 deletion cardano-tracer/src/Cardano/Tracer/Handlers/Logs/File.hs
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ module Cardano.Tracer.Handlers.Logs.File
import Control.Concurrent.Extra (Lock, withLock)
import Control.Monad (unless)
import Control.Monad.Extra (ifM)
import Data.Aeson (Value, (.=), decodeStrict', pairs)
import Data.Aeson (Value, decodeStrict', pairs, (.=))
import Data.Aeson.Encoding (encodingToLazyByteString)
import qualified Data.ByteString as BS
import qualified Data.ByteString.Lazy as LBS
Expand Down
2 changes: 1 addition & 1 deletion cardano-tracer/src/Cardano/Tracer/MetaTrace.hs
Original file line number Diff line number Diff line change
Expand Up @@ -172,4 +172,4 @@ mkTracerTracer defSeverity = do
[ ([], [ConfSeverity defSeverity])
, (["Tracer"], [ConfDetail DMaximum])
]
}
}
6 changes: 3 additions & 3 deletions trace-dispatcher/examples/Examples/DataPoint.hs
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE ScopedTypeVariables #-}

{-# OPTIONS_GHC -Wno-orphans #-}
Expand All @@ -11,9 +11,9 @@ module Examples.DataPoint (
import qualified Data.Aeson as A
import Data.ByteString.Lazy.UTF8
import qualified Data.Map.Strict as M
import Trace.Forward.Utils.DataPoint (DataPoint (..))
import GHC.Conc
import GHC.Generics (Generic)
import Trace.Forward.Utils.DataPoint (DataPoint (..))

import Cardano.Logging

Expand Down
4 changes: 2 additions & 2 deletions trace-dispatcher/examples/Examples/Documentation.hs
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@ module Examples.Documentation (
docTracers
) where

import qualified Data.Text.IO as T
import qualified Data.Map as Map
import qualified Data.Text.IO as T

import Cardano.Logging
import Examples.TestObjects
Expand Down Expand Up @@ -54,4 +54,4 @@ config1 = TraceConfig {
, tcNodeName = Nothing
, tcPeerFrequency = Nothing
, tcResourceFrequency = Nothing
}
}
10 changes: 5 additions & 5 deletions trace-dispatcher/src/Cardano/Logging.hs
Original file line number Diff line number Diff line change
Expand Up @@ -6,13 +6,13 @@ import Cardano.Logging.Configuration as X
import Cardano.Logging.ConfigurationParser as X
import Cardano.Logging.DocuGenerator as X
import Cardano.Logging.Formatter as X
import Cardano.Logging.Forwarding as X
import Cardano.Logging.FrequencyLimiter as X
import Cardano.Logging.Trace as X
import Cardano.Logging.Tracer.Composed as X
import Cardano.Logging.Tracer.DataPoint as X
import Cardano.Logging.Tracer.EKG as X
import Cardano.Logging.Tracer.Standard as X
import Cardano.Logging.Forwarding as X
import Cardano.Logging.Tracer.Forward as X
import Cardano.Logging.Tracer.DataPoint as X
import Cardano.Logging.Tracer.Standard as X
import Cardano.Logging.Types as X
import Cardano.Logging.Tracer.Composed as X
import Control.Tracer as X hiding (traceWith, nullTracer, Tracer)
import Control.Tracer as X hiding (Tracer, nullTracer, traceWith)
2 changes: 1 addition & 1 deletion trace-dispatcher/src/Cardano/Logging/Configuration.hs
Original file line number Diff line number Diff line change
Expand Up @@ -34,8 +34,8 @@ import qualified Control.Tracer as T
import Cardano.Logging.DocuGenerator (addFiltered, addLimiter)
import Cardano.Logging.FrequencyLimiter (limitFrequency)
import Cardano.Logging.Trace
import Cardano.Logging.Types
import Cardano.Logging.TraceDispatcherMessage
import Cardano.Logging.Types


-- | Call this function at initialisation, and later for reconfiguration
Expand Down
12 changes: 6 additions & 6 deletions trace-dispatcher/src/Cardano/Logging/Formatter.hs
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE PartialTypeSignatures #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE ScopedTypeVariables #-}

module Cardano.Logging.Formatter (
humanFormatter
Expand All @@ -21,7 +21,7 @@ import qualified Data.ByteString.Lazy as BS
import Data.Functor.Contravariant
import Data.List (intersperse)
import Data.Maybe (fromMaybe)
import Data.Text (Text, pack, stripPrefix, replace)
import Data.Text (Text, pack, replace, stripPrefix)
import Data.Text.Encoding (decodeUtf8)
import Data.Text.Lazy (toStrict)
import Data.Text.Lazy.Builder as TB
Expand Down
4 changes: 2 additions & 2 deletions trace-dispatcher/src/Cardano/Logging/FrequencyLimiter.hs
Original file line number Diff line number Diff line change
Expand Up @@ -8,14 +8,14 @@ module Cardano.Logging.FrequencyLimiter (
)where

import Control.Monad.IO.Unlift
import Data.Time.Clock.System
import Data.Text
import Data.Time.Clock.System

import qualified Control.Tracer as T

import Cardano.Logging.Trace
import Cardano.Logging.Types
import Cardano.Logging.TraceDispatcherMessage
import Cardano.Logging.Types

-- | Threshold for starting and stopping of the limiter
budgetLimit :: Double
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,10 +4,10 @@ module Cardano.Logging.TraceDispatcherMessage
, TraceDispatcherMessage (..)
) where

import Data.Aeson hiding (Error)
import Data.Text
import Data.Aeson hiding (Error)
import Data.Text

import Cardano.Logging.Types
import Cardano.Logging.Types


data UnknownNamespaceKind =
Expand Down Expand Up @@ -96,4 +96,4 @@ instance MetaTrace TraceDispatcherMessage where
, Namespace [] ["StopLimiting"]
, Namespace [] ["RememberLimiting"]
, Namespace [] ["UnknownNamespace"]
]
]
8 changes: 4 additions & 4 deletions trace-dispatcher/src/Cardano/Logging/Tracer/DataPoint.hs
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE ScopedTypeVariables #-}

module Cardano.Logging.Tracer.DataPoint
Expand Down Expand Up @@ -54,4 +54,4 @@ mkDataPointTracer :: forall dp. (ToJSON dp, MetaTrace dp)
-> IO (Trace IO dp)
mkDataPointTracer trDataPoint = do
let tr = NT.contramap DataPoint trDataPoint
pure $ withInnerNames tr
pure $ withInnerNames tr
2 changes: 1 addition & 1 deletion trace-dispatcher/src/Cardano/Logging/Tracer/EKG.hs
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@ module Cardano.Logging.Tracer.EKG (
import Cardano.Logging.DocuGenerator
import Cardano.Logging.Types

import Control.Concurrent.MVar
import Control.Monad.IO.Class (MonadIO, liftIO)
import qualified Control.Tracer as T
import Control.Concurrent.MVar
import qualified Data.Map.Strict as Map
import Data.Text (Text, pack)
import qualified System.Metrics as Metrics
Expand Down
6 changes: 3 additions & 3 deletions trace-dispatcher/src/Cardano/Logging/Tracer/Forward.hs
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE ScopedTypeVariables #-}

module Cardano.Logging.Tracer.Forward
Expand Down Expand Up @@ -37,4 +37,4 @@ forwardTracer forwardSink =
docIt Forwarder (lk, Left c)
output _sink LoggingContext {} (Right _) = pure ()
-- writeToSink sink lo
output _sink LoggingContext {} _ = pure ()
output _sink LoggingContext {} _ = pure ()
4 changes: 2 additions & 2 deletions trace-dispatcher/src/Cardano/Logging/Tracer/Standard.hs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}

module Cardano.Logging.Tracer.Standard (
Expand All @@ -7,7 +7,7 @@ module Cardano.Logging.Tracer.Standard (

import Control.Concurrent.Async
import Control.Concurrent.Chan.Unagi.Bounded
import Control.Exception (catch, BlockedIndefinitelyOnMVar)
import Control.Exception (BlockedIndefinitelyOnMVar, catch)
import Control.Monad (forever, when)
import Control.Monad.IO.Class
import Data.IORef (IORef, modifyIORef', newIORef, readIORef)
Expand Down
2 changes: 1 addition & 1 deletion trace-dispatcher/src/Cardano/Logging/Utils.hs
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ module Cardano.Logging.Utils (

import Control.Concurrent (threadDelay)
import Control.Exception (SomeAsyncException (..), fromException, tryJust)
import "contra-tracer" Control.Tracer (showTracing, stdoutTracer, traceWith)
import "contra-tracer" Control.Tracer (showTracing, stdoutTracer, traceWith)

-- | Run monadic action in a loop. If there's an exception, it will re-run
-- the action again, after pause that grows.
Expand Down
2 changes: 1 addition & 1 deletion trace-dispatcher/src/Cardano/Logging/Version.hs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{-# LANGUAGE NamedFieldPuns #-}
{-# LANGUAGE NamedFieldPuns #-}
{-# LANGUAGE OverloadedStrings #-}

module Cardano.Logging.Version
Expand Down
Loading

0 comments on commit 21ec90f

Please sign in to comment.