66d5b31 · typeable/ether

git.iko.soy/typeable/ether

update to mtl-2.2.2

commit66d5b318975f41d156f62e8cf564e62cde249c53 authorEvgenii Akentev <i@ak3n.com> dateThu 23 May 2019, 11:55 (7 years ago) parent84c1d56

2 files changed+4−4

unifiedsplit

ether.cabal+2−2

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

11name: ether

2−version: 0.5.1.0

2+version: 0.5.2.0

33synopsis: Monad transformers and classes

44description:

55 Ether is a Haskell library that extends @mtl@ and @transformers@ with

@@ -61,7 +61,7 @@ library

6161 base >=4.9 && <4.13,

6262 transformers >=0.5.2.0,

6363 transformers-lift >=0.2.0.1,

64− mtl >=2.2.1,

64+ mtl >=2.2.2,

6565 mmorph >=1.0.4,

6666 monad-control >=1.0.0.4,

6767 transformers-base >=0.4.4,

src/Ether/Reader.hs+2−2

@@ -139,7 +139,7 @@ readerT = coerce (T.ReaderT @r @m @a)

139139-- | Runs a 'ReaderT' with the given environment

140140-- and returns the final value.

141141runReaderT :: forall tag r m a . ReaderT tag r m a -> r -> m a

142−runReaderT = coerce (T.runReaderT @r @_ @m @a)

142+runReaderT = coerce (T.runReaderT @r @m @a)

143143

144144-- | Runs a 'ReaderT' with the given environment

145145-- and returns the final value.

@@ -203,7 +203,7 @@ type ReadersT r = TaggedTrans (READERS (Tags r)) (T.ReaderT r)

203203type Readers r = ReadersT r Identity

204204

205205runReadersT :: forall p m a . ReadersT p m a -> p -> m a

206−runReadersT = coerce (T.runReaderT @p @_ @m @a)

206+runReadersT = coerce (T.runReaderT @p @m @a)

207207

208208runReaders :: forall p a . Readers p a -> p -> a

209209runReaders = coerce (T.runReader @p @a)