Skip to content

Commit bfe7ce3

Browse files
bolt12bolt12
committed
Stylish
1 parent 9ebc09f commit bfe7ce3

File tree

5 files changed

+51
-51
lines changed

5 files changed

+51
-51
lines changed

‎io-sim/bench/Main.hs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33

44
module Main (main) where
55

6-
import Control.Monad (replicateM, forever)
6+
import Control.Monad (forever, replicateM)
77
import Control.Monad.Class.MonadAsync
88
import Control.Monad.Class.MonadFork
99
import Control.Monad.Class.MonadSTM

‎io-sim/src/Control/Monad/IOSim/Internal.hs

Lines changed: 15 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,14 @@
1-
{-# LANGUAGE BangPatterns #-}
2-
{-# LANGUAGE CPP #-}
3-
{-# LANGUAGE DerivingVia #-}
4-
{-# LANGUAGE ExistentialQuantification #-}
5-
{-# LANGUAGE FlexibleInstances #-}
6-
{-# LANGUAGE GADTSyntax #-}
7-
{-# LANGUAGE MultiParamTypeClasses #-}
8-
{-# LANGUAGE NamedFieldPuns #-}
9-
{-# LANGUAGE RankNTypes #-}
10-
{-# LANGUAGE ScopedTypeVariables #-}
11-
{-# LANGUAGE TypeFamilies #-}
1+
{-# LANGUAGE BangPatterns #-}
2+
{-# LANGUAGE CPP #-}
3+
{-# LANGUAGE DerivingVia #-}
4+
{-# LANGUAGE ExistentialQuantification #-}
5+
{-# LANGUAGE FlexibleInstances #-}
6+
{-# LANGUAGE GADTSyntax #-}
7+
{-# LANGUAGE MultiParamTypeClasses #-}
8+
{-# LANGUAGE NamedFieldPuns #-}
9+
{-# LANGUAGE RankNTypes #-}
10+
{-# LANGUAGE ScopedTypeVariables #-}
11+
{-# LANGUAGE TypeFamilies #-}
1212

1313
{-# OPTIONS_GHC -Wno-orphans #-}
1414
-- incomplete uni patterns in 'schedule' (when interpreting 'StmTxCommitted')
@@ -50,8 +50,6 @@ import Prelude hiding (read)
5050

5151
import Data.Dynamic
5252
import Data.Foldable (foldl', toList, traverse_)
53-
import Deque.Strict (Deque)
54-
import qualified Deque.Strict as Deque
5553
import qualified Data.List as List
5654
import qualified Data.List.Trace as Trace
5755
import Data.Map.Strict (Map)
@@ -62,11 +60,13 @@ import qualified Data.OrdPSQ as PSQ
6260
import Data.Set (Set)
6361
import qualified Data.Set as Set
6462
import Data.Time (UTCTime (..), fromGregorian)
63+
import Deque.Strict (Deque)
64+
import qualified Deque.Strict as Deque
6565

6666
import GHC.Exts (fromList)
6767

68-
import Control.Exception
69-
(NonTermination (..), assert, throw, AsyncException (..))
68+
import Control.Exception (AsyncException (..), NonTermination (..),
69+
assert, throw)
7070
import Control.Monad (join, when)
7171
import Control.Monad.ST.Lazy
7272
import Control.Monad.ST.Lazy.Unsafe (unsafeIOToST, unsafeInterleaveST)

‎io-sim/src/Control/Monad/IOSim/InternalTypes.hs

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
{-# LANGUAGE GADTs #-}
1+
{-# LANGUAGE GADTs #-}
22

33
-- | Internal types shared between `IOSim` and `IOSimPOR`.
44
--
@@ -47,12 +47,12 @@ data ControlStack s b a where
4747
instance Show (ControlStack s b a) where
4848
show = show . dash
4949
where dash :: ControlStack s' b' a' -> ControlStackDash
50-
dash MainFrame = MainFrame'
51-
dash ForkFrame = ForkFrame'
52-
dash (MaskFrame _ m s) = MaskFrame' m (dash s)
53-
dash (CatchFrame _ _ s) = CatchFrame' (dash s)
50+
dash MainFrame = MainFrame'
51+
dash ForkFrame = ForkFrame'
52+
dash (MaskFrame _ m s) = MaskFrame' m (dash s)
53+
dash (CatchFrame _ _ s) = CatchFrame' (dash s)
5454
dash (TimeoutFrame tid tmid _ s) = TimeoutFrame' tid tmid (dash s)
55-
dash (ThreadDelayFrame tmid s) = ThreadDelayFrame' tmid (dash s)
55+
dash (ThreadDelayFrame tmid s) = ThreadDelayFrame' tmid (dash s)
5656

5757
data ControlStackDash =
5858
MainFrame'

‎io-sim/src/Control/Monad/IOSim/Types.hs

Lines changed: 13 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,14 @@
1-
{-# LANGUAGE CPP #-}
2-
{-# LANGUAGE DeriveGeneric #-}
3-
{-# LANGUAGE DerivingVia #-}
4-
{-# LANGUAGE ExistentialQuantification #-}
5-
{-# LANGUAGE FlexibleInstances #-}
6-
{-# LANGUAGE GADTSyntax #-}
7-
{-# LANGUAGE MultiParamTypeClasses #-}
8-
{-# LANGUAGE NamedFieldPuns #-}
9-
{-# LANGUAGE PatternSynonyms #-}
10-
{-# LANGUAGE RankNTypes #-}
11-
{-# LANGUAGE TypeFamilies #-}
1+
{-# LANGUAGE CPP #-}
2+
{-# LANGUAGE DeriveGeneric #-}
3+
{-# LANGUAGE DerivingVia #-}
4+
{-# LANGUAGE ExistentialQuantification #-}
5+
{-# LANGUAGE FlexibleInstances #-}
6+
{-# LANGUAGE GADTSyntax #-}
7+
{-# LANGUAGE MultiParamTypeClasses #-}
8+
{-# LANGUAGE NamedFieldPuns #-}
9+
{-# LANGUAGE PatternSynonyms #-}
10+
{-# LANGUAGE RankNTypes #-}
11+
{-# LANGUAGE TypeFamilies #-}
1212

1313
{-# OPTIONS_GHC -Wno-incomplete-uni-patterns #-}
1414
{-# OPTIONS_GHC -Wno-partial-fields #-}
@@ -520,8 +520,8 @@ instance MonadTimer (IOSim s) where
520520
| NegativeTimeout !TimeoutId
521521
-- ^ a negative timeout
522522

523-
readTimeout (Timeout var _key) = MonadSTM.readTVar var
524-
readTimeout (NegativeTimeout _key) = pure TimeoutCancelled
523+
readTimeout (Timeout var _key) = MonadSTM.readTVar var
524+
readTimeout (NegativeTimeout _key) = pure TimeoutCancelled
525525

526526
newTimeout d = IOSim $ oneShot $ \k -> NewTimeout d k
527527
updateTimeout t d = IOSim $ oneShot $ \k -> UpdateTimeout t d (k ())

‎io-sim/src/Control/Monad/IOSimPOR/Internal.hs

Lines changed: 16 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,15 @@
1-
{-# LANGUAGE BangPatterns #-}
2-
{-# LANGUAGE CPP #-}
3-
{-# LANGUAGE DerivingVia #-}
4-
{-# LANGUAGE ExistentialQuantification #-}
5-
{-# LANGUAGE FlexibleContexts #-}
6-
{-# LANGUAGE FlexibleInstances #-}
7-
{-# LANGUAGE GADTSyntax #-}
8-
{-# LANGUAGE MultiParamTypeClasses #-}
9-
{-# LANGUAGE NamedFieldPuns #-}
10-
{-# LANGUAGE RankNTypes #-}
11-
{-# LANGUAGE ScopedTypeVariables #-}
12-
{-# LANGUAGE TypeFamilies #-}
1+
{-# LANGUAGE BangPatterns #-}
2+
{-# LANGUAGE CPP #-}
3+
{-# LANGUAGE DerivingVia #-}
4+
{-# LANGUAGE ExistentialQuantification #-}
5+
{-# LANGUAGE FlexibleContexts #-}
6+
{-# LANGUAGE FlexibleInstances #-}
7+
{-# LANGUAGE GADTSyntax #-}
8+
{-# LANGUAGE MultiParamTypeClasses #-}
9+
{-# LANGUAGE NamedFieldPuns #-}
10+
{-# LANGUAGE RankNTypes #-}
11+
{-# LANGUAGE ScopedTypeVariables #-}
12+
{-# LANGUAGE TypeFamilies #-}
1313

1414
{-# OPTIONS_GHC -Wno-orphans #-}
1515
-- incomplete uni patterns in 'schedule' (when interpreting 'StmTxCommitted')
@@ -50,7 +50,7 @@ module Control.Monad.IOSimPOR.Internal
5050
import Prelude hiding (read)
5151

5252
import Data.Dynamic
53-
import Data.Foldable (traverse_, foldl')
53+
import Data.Foldable (foldl', traverse_)
5454
import qualified Data.List as List
5555
import qualified Data.List.Trace as Trace
5656
import Data.Map.Strict (Map)
@@ -63,9 +63,9 @@ import Data.Set (Set)
6363
import qualified Data.Set as Set
6464
import Data.Time (UTCTime (..), fromGregorian)
6565

66-
import Control.Exception
67-
(NonTermination (..), assert, throw, AsyncException (..))
68-
import Control.Monad ( join, when )
66+
import Control.Exception (AsyncException (..), NonTermination (..),
67+
assert, throw)
68+
import Control.Monad (join, when)
6969
import Control.Monad.ST.Lazy
7070
import Control.Monad.ST.Lazy.Unsafe (unsafeIOToST, unsafeInterleaveST)
7171
import Data.STRef.Lazy

0 commit comments

Comments
 (0)