git.iko.soy/typeable/ether
on master help sign in
update to mtl-2.2.2
66d5b31Evgenii Akentev
ether.cabal+2−2
compare with master
unifiedsplit
@@ -1,5 +1,5 @@
1name: ether
1name: ether
2−version: 0.5.1.0
2+version: 0.5.2.0
3synopsis: Monad transformers and classes
3synopsis: Monad transformers and classes
4description:
4description:
5 Ether is a Haskell library that extends @mtl@ and @transformers@ with
5 Ether is a Haskell library that extends @mtl@ and @transformers@ with
@@ -61,7 +61,7 @@ library
61 base >=4.9 && <4.13,
61 base >=4.9 && <4.13,
62 transformers >=0.5.2.0,
62 transformers >=0.5.2.0,
63 transformers-lift >=0.2.0.1,
63 transformers-lift >=0.2.0.1,
64− mtl >=2.2.1,
64+ mtl >=2.2.2,
65 mmorph >=1.0.4,
65 mmorph >=1.0.4,
66 monad-control >=1.0.0.4,
66 monad-control >=1.0.0.4,
67 transformers-base >=0.4.4,
67 transformers-base >=0.4.4,
src/Ether/Reader.hs+2−2
@@ -139,7 +139,7 @@ readerT = coerce (T.ReaderT @r @m @a)
139-- | Runs a 'ReaderT' with the given environment
139-- | Runs a 'ReaderT' with the given environment
140-- and returns the final value.
140-- and returns the final value.
141runReaderT :: forall tag r m a . ReaderT tag r m a -> r -> m a
141runReaderT :: 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)
143
143
144-- | Runs a 'ReaderT' with the given environment
144-- | Runs a 'ReaderT' with the given environment
145-- and returns the final value.
145-- and returns the final value.
@@ -203,7 +203,7 @@ type ReadersT r = TaggedTrans (READERS (Tags r)) (T.ReaderT r)
203type Readers r = ReadersT r Identity
203type Readers r = ReadersT r Identity
204
204
205runReadersT :: forall p m a . ReadersT p m a -> p -> m a
205runReadersT :: 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)
207
207
208runReaders :: forall p a . Readers p a -> p -> a
208runReaders :: forall p a . Readers p a -> p -> a
209runReaders = coerce (T.runReader @p @a)
209runReaders = coerce (T.runReader @p @a)