bd3f014 · patch · git.iko.soy

.stylish-haskell.yaml+2−3

compare with develop

unifiedsplit

@@ -149,6 +149,5 @@ columns: 110

149# needs to be aware of these, so it can parse the file correctly.

150#

151# No language extensions are enabled by default.

152−# language_extensions:

152+language_extensions:

153− # - TemplateHaskell

153+ - TemplateHaskell

154− # - QuasiQuotes

src/Data/FastMutableIntMap.hs+1−1

@@ -24,9 +24,9 @@ module Data.FastMutableIntMap

24

25import Control.Monad.IO.Class

26import Data.Foldable (traverse_)

27−import Data.IORef

28import Data.IntMap.Strict (IntMap)

27import Data.IntMap.Strict (IntMap)

29import qualified Data.IntMap.Strict as IntMap

28import qualified Data.IntMap.Strict as IntMap

29+import Data.IORef

30import Data.Maybe

31import Prelude hiding (lookup)

32import Reflex.Patch.Class

src/Data/FastWeakBag.hs+1−1

@@ -31,7 +31,7 @@ import Control.Monad.IO.Class

31

32#ifdef GHCJS_FAST_WEAK

33import GHCJS.Types

34−import Reflex.FastWeak (unsafeFromRawJSVal, unsafeToRawJSVal, js_isNull)

34+import Reflex.FastWeak (js_isNull, unsafeFromRawJSVal, unsafeToRawJSVal)

35#else

36import Control.Exception

37import Data.Foldable (forM_, mapM_)

src/Data/Functor/Misc.hs+1−5

@@ -245,12 +245,8 @@ dsumToEither = \case

245-- | We can't use @Compose Maybe@ instead of 'ComposeMaybe', because that would

246-- make the 'f' parameter have a nominal type role. We need f to be

247-- representational so that we can use safe 'coerce'.

248−#if MIN_VERSION_transformers(5,2,0)

249newtype ComposeMaybe f a =

248newtype ComposeMaybe f a =

250−#else

251−newtype ComposeMaybe (f :: * -> *) (a :: *) =

252−#endif

253− ComposeMaybe { getComposeMaybe :: Maybe (f a) } deriving (Show, Eq, Ord)

249+ ComposeMaybe { getComposeMaybe :: Maybe (f a) } deriving (Show, Eq, Ord)

254

250

255deriving instance Functor f => Functor (ComposeMaybe f)

251deriving instance Functor f => Functor (ComposeMaybe f)

256

252

src/Data/Map/Misc.hs+1−1

@@ -1,5 +1,5 @@

1{-# LANGUAGE LambdaCase #-}

2−module Data.Map.Misc

2+module Data.Map.Misc

3 (

4 -- * Working with Maps

5 diffMapNoEq

src/Reflex.hs+1−1

@@ -7,9 +7,9 @@ module Reflex

7

8import Reflex.Class as X

9import Reflex.Collection as X

10+import Reflex.Dynamic as X

10import Reflex.EventWriter.Base as X

11import Reflex.EventWriter.Base as X

11import Reflex.EventWriter.Class as X

12import Reflex.EventWriter.Class as X

12−import Reflex.Dynamic as X

13#ifdef USE_TEMPLATE_HASKELL

14import Reflex.Dynamic.TH as X

15#endif

src/Reflex/Adjustable/Class.hs+5−5

@@ -1,9 +1,9 @@

1{-# LANGUAGE CPP #-}

2+{-# LANGUAGE FlexibleInstances #-}

3+{-# LANGUAGE FunctionalDependencies #-}

4+{-# LANGUAGE MultiParamTypeClasses #-}

2{-# LANGUAGE RankNTypes #-}

5{-# LANGUAGE RankNTypes #-}

3{-# LANGUAGE ScopedTypeVariables #-}

6{-# LANGUAGE ScopedTypeVariables #-}

4−{-# LANGUAGE MultiParamTypeClasses #-}

5−{-# LANGUAGE FunctionalDependencies #-}

6−{-# LANGUAGE FlexibleInstances #-}

7{-# LANGUAGE TypeFamilies #-}

8{-# LANGUAGE UndecidableInstances #-}

9#ifdef USE_REFLEX_OPTIMIZER

@@ -21,11 +21,11 @@ module Reflex.Adjustable.Class

21import Control.Monad.Identity hiding (forM, forM_, mapM, mapM_, sequence, sequence_)

22import Control.Monad.Reader hiding (forM, forM_, mapM, mapM_, sequence, sequence_)

23import Data.Align

24−import Data.Map (Map)

25−import qualified Data.Map as Map

26import Data.Dependent.Map (DMap, GCompare (..))

24import Data.Dependent.Map (DMap, GCompare (..))

27import Data.Functor.Constant

25import Data.Functor.Constant

28import Data.Functor.Misc

26import Data.Functor.Misc

27+import Data.Map (Map)

28+import qualified Data.Map as Map

29import Data.Map.Misc

30import Data.These

31

src/Reflex/Class.hs+6−6

@@ -1,6 +1,6 @@

1{-# LANGUAGE BangPatterns #-}

2−{-# LANGUAGE ConstraintKinds #-}

3{-# LANGUAGE CPP #-}

2{-# LANGUAGE CPP #-}

3+{-# LANGUAGE ConstraintKinds #-}

4{-# LANGUAGE DefaultSignatures #-}

5{-# LANGUAGE FlexibleContexts #-}

6{-# LANGUAGE FlexibleInstances #-}

@@ -150,10 +150,10 @@ import Control.Applicative

150import Control.Monad.Identity hiding (forM, forM_, mapM, mapM_, sequence, sequence_)

151import Control.Monad.Reader hiding (forM, forM_, mapM, mapM_, sequence, sequence_)

152import Control.Monad.State.Strict hiding (forM, forM_, mapM, mapM_, sequence, sequence_)

153−import Control.Monad.Trans.Cont (ContT ())

153+import Control.Monad.Trans.Cont (ContT)

154−import Control.Monad.Trans.Except (ExceptT ())

154+import Control.Monad.Trans.Except (ExceptT)

155−import Control.Monad.Trans.RWS (RWST ())

155+import Control.Monad.Trans.RWS (RWST)

156−import Control.Monad.Trans.Writer (WriterT ())

156+import Control.Monad.Trans.Writer (WriterT)

157import Data.Align

158import Data.Bifunctor

159import Data.Coerce

@@ -161,6 +161,7 @@ import Data.Default

161import Data.Dependent.Map (DMap, DSum (..), GCompare (..))

162import qualified Data.Dependent.Map as DMap

163import Data.Either

164+import Data.FastMutableIntMap (PatchIntMap)

164import Data.Foldable

165import Data.Foldable

165import Data.Functor.Bind hiding (join)

166import Data.Functor.Bind hiding (join)

166import qualified Data.Functor.Bind as Bind

167import qualified Data.Functor.Bind as Bind

@@ -180,7 +181,6 @@ import Data.Traversable

180import Data.Type.Coercion

181import Data.Type.Coercion

181import Reflex.FunctorMaybe

182import Reflex.FunctorMaybe

182import Reflex.Patch

183import Reflex.Patch

183−import Data.FastMutableIntMap (PatchIntMap)

184

185-- Note: must come last to silence warnings due to AMP on GHC < 7.10

186import Prelude hiding (foldl, mapM, mapM_, sequence, sequence_)

src/Reflex/Collection.hs+4−4

@@ -1,10 +1,10 @@

1{-# LANGUAGE CPP #-}

2−{-# LANGUAGE RankNTypes #-}

2+{-# LANGUAGE FlexibleInstances #-}

3{-# LANGUAGE LambdaCase #-}

4+{-# LANGUAGE MultiParamTypeClasses #-}

5+{-# LANGUAGE RankNTypes #-}

4{-# LANGUAGE RecursiveDo #-}

6{-# LANGUAGE RecursiveDo #-}

5{-# LANGUAGE ScopedTypeVariables #-}

7{-# LANGUAGE ScopedTypeVariables #-}

6−{-# LANGUAGE MultiParamTypeClasses #-}

7−{-# LANGUAGE FlexibleInstances #-}

8{-# LANGUAGE TypeFamilies #-}

9{-# LANGUAGE UndecidableInstances #-}

10#ifdef USE_REFLEX_OPTIMIZER

@@ -27,9 +27,9 @@ module Reflex.Collection

27

28import Control.Monad.Identity hiding (forM, forM_, mapM, mapM_, sequence, sequence_)

29import Data.Align

30+import Data.Functor.Misc

30import Data.Map (Map)

31import Data.Map (Map)

31import qualified Data.Map as Map

32import qualified Data.Map as Map

32−import Data.Functor.Misc

33import Data.Map.Misc

34import Data.These

35

src/Reflex/EventWriter/Class.hs+1

@@ -2,6 +2,7 @@

2{-# LANGUAGE CPP #-}

3{-# LANGUAGE FlexibleInstances #-}

4{-# LANGUAGE FunctionalDependencies #-}

5+{-# LANGUAGE MultiParamTypeClasses #-}

5{-# LANGUAGE UndecidableInstances #-}

6{-# LANGUAGE UndecidableInstances #-}

6#ifdef USE_REFLEX_OPTIMIZER

7#ifdef USE_REFLEX_OPTIMIZER

7{-# OPTIONS_GHC -fplugin=Reflex.Optimizer #-}

8{-# OPTIONS_GHC -fplugin=Reflex.Optimizer #-}

src/Reflex/FastWeak.hs+4−1

@@ -133,7 +133,6 @@ emptyFastWeak = unsafeCoerce w

133 where w :: FastWeak Any

134#ifdef GHCJS_FAST_WEAK

135 w = js_emptyWeak

136−foreign import javascript unsafe "$r = new h$FastWeak(null);" js_emptyWeak :: FastWeak Any

137#else

136#else

138 w = unsafePerformIO $ do

137 w = unsafePerformIO $ do

139 w' <- mkWeakPtr undefined Nothing

138 w' <- mkWeakPtr undefined Nothing

@@ -141,3 +140,7 @@ foreign import javascript unsafe "$r = new h$FastWeak(null);" js_emptyWeak :: Fa

141 return w'

140 return w'

142#endif

141#endif

143{-# NOINLINE emptyFastWeak #-}

142{-# NOINLINE emptyFastWeak #-}

143+

144+#ifdef GHCJS_FAST_WEAK

145+foreign import javascript unsafe "$r = new h$FastWeak(null);" js_emptyWeak :: FastWeak Any

146+#endif

src/Reflex/Host/Class.hs+6−6

@@ -36,13 +36,13 @@ import Control.Monad.Fix

36import Control.Monad.Identity

37import Control.Monad.Ref

38import Control.Monad.Trans

39−import Control.Monad.Trans.Cont (ContT ())

39+import Control.Monad.Trans.Cont (ContT)

40−import Control.Monad.Trans.Except (ExceptT ())

40+import Control.Monad.Trans.Except (ExceptT)

41−import Control.Monad.Trans.Reader (ReaderT ())

41+import Control.Monad.Trans.Reader (ReaderT)

42−import Control.Monad.Trans.RWS (RWST ())

42+import Control.Monad.Trans.RWS (RWST)

43−import Control.Monad.Trans.State (StateT ())

43+import Control.Monad.Trans.State (StateT)

44import qualified Control.Monad.Trans.State.Strict as Strict

45−import Control.Monad.Trans.Writer (WriterT ())

45+import Control.Monad.Trans.Writer (WriterT)

46import Data.Dependent.Sum (DSum (..))

47import Data.GADT.Compare

48import Data.Monoid

src/Reflex/NotReady/Class.hs+7−6

@@ -1,9 +1,10 @@

1{-# LANGUAGE CPP #-}

2{-# LANGUAGE DefaultSignatures #-}

3−{-# LANGUAGE MultiParamTypeClasses #-}

3+{-# LANGUAGE FlexibleContexts #-}

4+{-# LANGUAGE FlexibleInstances #-}

4{-# LANGUAGE FunctionalDependencies #-}

5{-# LANGUAGE FunctionalDependencies #-}

6+{-# LANGUAGE MultiParamTypeClasses #-}

5{-# LANGUAGE TypeFamilies #-}

7{-# LANGUAGE TypeFamilies #-}

6−{-# LANGUAGE FlexibleInstances #-}

7{-# LANGUAGE UndecidableInstances #-}

8{-# LANGUAGE UndecidableInstances #-}

8#ifdef USE_REFLEX_OPTIMIZER

9#ifdef USE_REFLEX_OPTIMIZER

9{-# OPTIONS_GHC -fplugin=Reflex.Optimizer #-}

10{-# OPTIONS_GHC -fplugin=Reflex.Optimizer #-}

@@ -12,17 +13,17 @@ module Reflex.NotReady.Class

12 ( NotReady(..)

13 ( NotReady(..)

13 ) where

14 ) where

14

15

15−import Control.Monad.Trans

16import Control.Monad.Reader (ReaderT)

17+import Control.Monad.Trans

17

18

18import Reflex.Class

19import Reflex.Class

20+import Reflex.DynamicWriter.Base (DynamicWriterT)

21+import Reflex.EventWriter.Base (EventWriterT)

19import Reflex.Host.Class

22import Reflex.Host.Class

23+import Reflex.PerformEvent.Base (PerformEventT (..))

20import Reflex.PostBuild.Base (PostBuildT)

24import Reflex.PostBuild.Base (PostBuildT)

21−import Reflex.EventWriter.Base (EventWriterT)

22−import Reflex.DynamicWriter.Base (DynamicWriterT)

23import Reflex.Query.Base (QueryT)

25import Reflex.Query.Base (QueryT)

24import Reflex.Requester.Base (RequesterT)

26import Reflex.Requester.Base (RequesterT)

25−import Reflex.PerformEvent.Base (PerformEventT(..))

26import Reflex.TriggerEvent.Base (TriggerEventT)

27import Reflex.TriggerEvent.Base (TriggerEventT)

27

28

28class Monad m => NotReady t m | m -> t where

29class Monad m => NotReady t m | m -> t where

src/Reflex/Patch.hs+8−3

@@ -8,10 +8,15 @@ module Reflex.Patch

8

9import Reflex.Patch.Class as X

10import Reflex.Patch.DMap as X hiding (getDeletions)

11−import Reflex.Patch.DMapWithMove as X (PatchDMapWithMove, const2PatchDMapWithMoveWith, patchDMapWithMoveToPatchMapWithMoveWith, mapPatchDMapWithMove, weakenPatchDMapWithMoveWith, traversePatchDMapWithMoveWithKey, unsafePatchDMapWithMove, unPatchDMapWithMove)

11+import Reflex.Patch.DMapWithMove as X (PatchDMapWithMove, const2PatchDMapWithMoveWith, mapPatchDMapWithMove,

12−import Reflex.Patch.Map as X

12+ patchDMapWithMoveToPatchMapWithMoveWith,

13−import Reflex.Patch.MapWithMove as X (PatchMapWithMove, patchMapWithMoveNewElementsMap, patchMapWithMoveNewElements, unsafePatchMapWithMove, unPatchMapWithMove)

13+ traversePatchDMapWithMoveWithKey, unPatchDMapWithMove,

14+ unsafePatchDMapWithMove, weakenPatchDMapWithMoveWith)

14import Reflex.Patch.IntMap as X hiding (getDeletions)

15import Reflex.Patch.IntMap as X hiding (getDeletions)

16+import Reflex.Patch.Map as X

17+import Reflex.Patch.MapWithMove as X (PatchMapWithMove, patchMapWithMoveNewElements,

18+ patchMapWithMoveNewElementsMap, unPatchMapWithMove,

19+ unsafePatchMapWithMove)

15

20

16import Data.Semigroup (Semigroup (..), (<>))

21import Data.Semigroup (Semigroup (..), (<>))

17

22

src/Reflex/Patch/DMap.hs+1−1

@@ -14,8 +14,8 @@ import Reflex.Patch.Map

14import Data.Dependent.Map (DMap, DSum (..), GCompare (..))

15import qualified Data.Dependent.Map as DMap

16import Data.Functor.Constant

17−import qualified Data.IntMap as IntMap

18import Data.Functor.Misc

17import Data.Functor.Misc

18+import qualified Data.IntMap as IntMap

19import qualified Data.Map as Map

20import Data.Semigroup (Semigroup (..))

21import Data.Some (Some)

src/Reflex/Patch/IntMap.hs+2−2

@@ -1,16 +1,16 @@

1{-# LANGUAGE CPP #-}

2−{-# LANGUAGE DeriveFunctor #-}

3{-# LANGUAGE DeriveFoldable #-}

2{-# LANGUAGE DeriveFoldable #-}

3+{-# LANGUAGE DeriveFunctor #-}

4{-# LANGUAGE DeriveTraversable #-}

5{-# LANGUAGE GeneralizedNewtypeDeriving #-}

6{-# LANGUAGE TypeFamilies #-}

7module Reflex.Patch.IntMap where

8

9−import Prelude hiding (lookup)

10import Data.IntMap.Strict (IntMap)

9import Data.IntMap.Strict (IntMap)

11import qualified Data.IntMap.Strict as IntMap

10import qualified Data.IntMap.Strict as IntMap

12import Data.Maybe

11import Data.Maybe

13import Data.Semigroup

12import Data.Semigroup

13+import Prelude hiding (lookup)

14import Reflex.Patch.Class

15

16newtype PatchIntMap a = PatchIntMap (IntMap (Maybe a)) deriving (Functor, Foldable, Traversable, Monoid)

src/Reflex/Patch/Map.hs+1−1

@@ -7,10 +7,10 @@ module Reflex.Patch.Map where

7

8import Reflex.Patch.Class

9

10−import Data.Semigroup

11import Data.Map (Map)

10import Data.Map (Map)

12import qualified Data.Map as Map

11import qualified Data.Map as Map

13import Data.Maybe

12import Data.Maybe

13+import Data.Semigroup

14

15-- | A set of changes to a 'Map'. Any element may be inserted/updated or

16-- deleted. Insertions are represented as values wrapped in 'Just', while

src/Reflex/Profiled.hs+3−2

@@ -1,4 +1,5 @@

1{-# LANGUAGE EmptyDataDecls #-}

2+{-# LANGUAGE FlexibleContexts #-}

2{-# LANGUAGE FlexibleInstances #-}

3{-# LANGUAGE FlexibleInstances #-}

3{-# LANGUAGE GeneralizedNewtypeDeriving #-}

4{-# LANGUAGE GeneralizedNewtypeDeriving #-}

4{-# LANGUAGE InstanceSigs #-}

5{-# LANGUAGE InstanceSigs #-}

@@ -18,9 +19,9 @@ import Control.Monad.Ref

18import Control.Monad.State.Strict (StateT, execStateT, modify)

19import Control.Monad.State.Strict (StateT, execStateT, modify)

19import Data.Coerce

20import Data.Coerce

20import Data.Dependent.Map (DMap, GCompare)

21import Data.Dependent.Map (DMap, GCompare)

21−import Data.List

22import Data.FastMutableIntMap

23import Data.IORef

24+import Data.List

24import Data.Map (Map)

25import Data.Map (Map)

25import qualified Data.Map.Strict as Map

26import qualified Data.Map.Strict as Map

26import Data.Monoid ((<>))

27import Data.Monoid ((<>))

@@ -32,8 +33,8 @@ import GHC.Foreign

32import GHC.IO.Encoding

33import GHC.IO.Encoding

33import GHC.Stack

34import GHC.Stack

34import Reflex.Class

35import Reflex.Class

35−import Reflex.PerformEvent.Class

36import Reflex.Host.Class

37+import Reflex.PerformEvent.Class

37

38

38import System.IO.Unsafe

39import System.IO.Unsafe

39import Unsafe.Coerce

40import Unsafe.Coerce

src/Reflex/Query/Base.hs+2−2

@@ -37,15 +37,15 @@ import qualified Data.Some as Some

37import Data.These

38

39import Reflex.Class

40−import Reflex.EventWriter.Class

41import Reflex.EventWriter.Base

40import Reflex.EventWriter.Base

41+import Reflex.EventWriter.Class

42import Reflex.Host.Class

43+import qualified Reflex.Patch.MapWithMove as MapWithMove

43import Reflex.PerformEvent.Class

44import Reflex.PerformEvent.Class

44import Reflex.PostBuild.Class

45import Reflex.PostBuild.Class

45import Reflex.Query.Class

46import Reflex.Query.Class

46import Reflex.Requester.Class

47import Reflex.Requester.Class

47import Reflex.TriggerEvent.Class

48import Reflex.TriggerEvent.Class

48−import qualified Reflex.Patch.MapWithMove as MapWithMove

49

50newtype QueryT t q m a = QueryT { unQueryT :: StateT [Behavior t q] (EventWriterT t q (ReaderT (Dynamic t (QueryResult q)) m)) a }

51 deriving (Functor, Applicative, Monad, MonadException, MonadFix, MonadIO, MonadHold t, MonadSample t, MonadAtomicRef)

src/Reflex/Requester/Base.hs+3−3

@@ -49,7 +49,6 @@ import Data.Bits

49import Data.Coerce

50import Data.Dependent.Map (DMap, DSum (..))

51import qualified Data.Dependent.Map as DMap

52−import qualified Data.Some as Some

53import Data.Functor.Compose

52import Data.Functor.Compose

54import Data.Functor.Misc

53import Data.Functor.Misc

55import Data.IntMap.Strict (IntMap)

54import Data.IntMap.Strict (IntMap)

@@ -57,11 +56,12 @@ import qualified Data.IntMap.Strict as IntMap

57import Data.Map (Map)

56import Data.Map (Map)

58import qualified Data.Map as Map

57import qualified Data.Map as Map

59import Data.Monoid ((<>))

58import Data.Monoid ((<>))

60−import Data.Unique.Tag

59+import Data.Proxy

61import qualified Data.Semigroup as S

60import qualified Data.Semigroup as S

62import Data.Some (Some)

61import Data.Some (Some)

62+import qualified Data.Some as Some

63import Data.Type.Equality

64−import Data.Proxy

64+import Data.Unique.Tag

65

66import GHC.Exts (Any)

67import Unsafe.Coerce

src/Reflex/Spider/Internal.hs+5−5

@@ -38,6 +38,8 @@ import Data.Align

38import Data.Coerce

39import Data.Dependent.Map (DMap, DSum (..))

40import qualified Data.Dependent.Map as DMap

41+import Data.FastMutableIntMap (FastMutableIntMap, PatchIntMap (..))

42+import qualified Data.FastMutableIntMap as FastMutableIntMap

41import Data.Foldable hiding (concat, elem, sequence_)

43import Data.Foldable hiding (concat, elem, sequence_)

42import Data.Function

44import Data.Function

43import Data.Functor.Constant

45import Data.Functor.Constant

@@ -54,8 +56,6 @@ import Data.Proxy

54import Data.These

56import Data.These

55import Data.Traversable

57import Data.Traversable

56import Data.Word

58import Data.Word

57−import Data.FastMutableIntMap (FastMutableIntMap, PatchIntMap (..))

58−import qualified Data.FastMutableIntMap as FastMutableIntMap

59import GHC.Exts

60import GHC.IORef (IORef (..))

61import GHC.Stack

@@ -75,12 +75,12 @@ import Data.Tree (Forest, Tree (..), drawForest)

75

76import Data.FastWeakBag (FastWeakBag)

77import qualified Data.FastWeakBag as FastWeakBag

78−import Data.WeakBag (WeakBag, WeakBagTicket, _weakBag_children)

79−import qualified Data.WeakBag as WeakBag

80import Data.Reflection

78import Data.Reflection

81import Data.Some (Some)

79import Data.Some (Some)

82import qualified Data.Some as Some

80import qualified Data.Some as Some

83import Data.Type.Coercion

81import Data.Type.Coercion

82+import Data.WeakBag (WeakBag, WeakBagTicket, _weakBag_children)

83+import qualified Data.WeakBag as WeakBag

84import qualified Reflex.Class

85import qualified Reflex.Class as R

86import qualified Reflex.Host.Class

@@ -92,8 +92,8 @@ import qualified Reflex.Patch.DMapWithMove as PatchDMapWithMove

92import Prelude hiding (any, concat, mapM, mapM_, sequence)

93

94#ifdef DEBUG_TRACE_EVENTS

95−import System.IO (stderr)

96import qualified Data.ByteString.Char8 as BS8

95import qualified Data.ByteString.Char8 as BS8

96+import System.IO (stderr)

97#endif

98

99#ifdef DEBUG_TRACE_EVENTS

src/Reflex/Time.hs+3−3

@@ -1,14 +1,14 @@

1+{-# LANGUAGE CPP #-}

1{-# LANGUAGE DeriveDataTypeable #-}

2{-# LANGUAGE DeriveDataTypeable #-}

2{-# LANGUAGE FlexibleContexts #-}

3{-# LANGUAGE FlexibleContexts #-}

3{-# LANGUAGE MultiParamTypeClasses #-}

4{-# LANGUAGE MultiParamTypeClasses #-}

4{-# LANGUAGE RecursiveDo #-}

5{-# LANGUAGE RecursiveDo #-}

5{-# LANGUAGE ScopedTypeVariables #-}

6{-# LANGUAGE ScopedTypeVariables #-}

6−{-# LANGUAGE CPP #-}

7+{-# LANGUAGE TupleSections #-}

8+{-# LANGUAGE TypeFamilies #-}

7#ifdef USE_TEMPLATE_HASKELL

9#ifdef USE_TEMPLATE_HASKELL

8{-# LANGUAGE TemplateHaskell #-}

10{-# LANGUAGE TemplateHaskell #-}

9#endif

11#endif

10−{-# LANGUAGE TupleSections #-}

11−{-# LANGUAGE TypeFamilies #-}

12module Reflex.Time where

13

14import Reflex.Class

src/Reflex/Workflow.hs+1−1

@@ -1,5 +1,5 @@

1−{-# LANGUAGE ScopedTypeVariables #-}

2{-# LANGUAGE RecursiveDo #-}

1{-# LANGUAGE RecursiveDo #-}

2+{-# LANGUAGE ScopedTypeVariables #-}

3module Reflex.Workflow (

4 -- * Workflows

5 Workflow (..)

test/EventWriterT.hs+2−1

@@ -1,4 +1,5 @@

1−{-# LANGUAGE FlexibleContexts, GADTs #-}

1+{-# LANGUAGE FlexibleContexts #-}

2+{-# LANGUAGE GADTs #-}

2module Main where

3module Main where

3

4

4import Control.Lens

5import Control.Lens

test/GC.hs+8−3

@@ -1,4 +1,9 @@

1−{-# LANGUAGE OverloadedStrings, FlexibleContexts, GADTs, TypeFamilies, RankNTypes, ScopedTypeVariables #-}

1+{-# LANGUAGE FlexibleContexts #-}

2+{-# LANGUAGE GADTs #-}

3+{-# LANGUAGE OverloadedStrings #-}

4+{-# LANGUAGE RankNTypes #-}

5+{-# LANGUAGE ScopedTypeVariables #-}

6+{-# LANGUAGE TypeFamilies #-}

2module Main where

7module Main where

3

8

4import Control.Monad

9import Control.Monad

@@ -17,11 +22,11 @@ import Data.These

17import Data.Functor.Misc

22import Data.Functor.Misc

18import Reflex.Patch

23import Reflex.Patch

19

24

20−import qualified Reflex.Spider.Internal as S

21import qualified Reflex.Host.Class as Host

25import qualified Reflex.Host.Class as Host

26+import qualified Reflex.Spider.Internal as S

22

27

23−import System.Mem

24import System.Exit

28import System.Exit

29+import System.Mem

25

30

26main :: IO ()

31main :: IO ()

27main = do

32main = do

test/QueryT.hs+1−1

@@ -1,9 +1,9 @@

1{-# LANGUAGE DeriveFunctor #-}

2{-# LANGUAGE FlexibleContexts #-}

3−{-# LANGUAGE TypeFamilies #-}

4{-# LANGUAGE GeneralizedNewtypeDeriving #-}

3{-# LANGUAGE GeneralizedNewtypeDeriving #-}

5{-# LANGUAGE LambdaCase #-}

4{-# LANGUAGE LambdaCase #-}

6{-# LANGUAGE RankNTypes #-}

5{-# LANGUAGE RankNTypes #-}

6+{-# LANGUAGE TypeFamilies #-}

7

8import Control.Lens

9import Control.Monad.Fix

test/RequesterT.hs+4−1

@@ -1,4 +1,7 @@

1−{-# LANGUAGE FlexibleContexts, GADTs, RankNTypes, ScopedTypeVariables #-}

1+{-# LANGUAGE FlexibleContexts #-}

2+{-# LANGUAGE GADTs #-}

3+{-# LANGUAGE RankNTypes #-}

4+{-# LANGUAGE ScopedTypeVariables #-}

2module Main where

5module Main where

3

6

4import Control.Lens

7import Control.Lens

test/hlint.hs+1−1

@@ -4,8 +4,8 @@ import Control.Monad

4import Language.Haskell.HLint3 (hlint)

5import System.Directory

6import System.Exit (exitFailure, exitSuccess)

7−import System.FilePath.Find

8import System.FilePath

7import System.FilePath

8+import System.FilePath.Find

9

10main :: IO ()

11main = do

test/rootCleanup.hs+3−3

@@ -1,10 +1,10 @@

1−import Control.Monad

2import Control.Concurrent

1import Control.Concurrent

2+import Control.Monad

3+import Data.IORef

3import Reflex

4import Reflex

4import Reflex.Host.Class

5import Reflex.Host.Class

5−import System.Mem

6−import Data.IORef

7import System.Exit

6import System.Exit

7+import System.Mem

8

9main :: IO ()

10main = do