git.iko.soy/typeable/ether
on master help sign in
Reorder forall variables
commitbf1f7add01d9892e1accd2aeb007cff918963311 authorIndex Int <vlad.z.4096@gmail.com> dateWed 27 Jan 2016, 14:54 (11 years ago) parent38a8e5f
5 files changed+22−22
compare with master
unifiedsplit
src/Control/Monad/Ether/Implicit/Except.hs+2−2 src/Control/Monad/Ether/Implicit/Reader.hs+4−4 src/Control/Monad/Ether/Implicit/State/Lazy.hs+5−5 src/Control/Monad/Ether/Implicit/State/Strict.hs+5−5 src/Control/Monad/Ether/Implicit/Writer.hs+6−6
src/Control/Monad/Ether/Implicit/Except.hs+2−2
@@ -55,8 +55,8 @@ runExceptT = Explicit.runExceptT Proxy
5555
5656-- | See 'Control.Monad.Ether.Except.handle'.
5757handle :: (e -> a) -> Except e a -> a
58−handle = Explicit.handle (Proxy :: Proxy e)
58+handle = Explicit.handle Proxy
5959
6060-- | See 'Control.Monad.Ether.Except.handleT'.
6161handleT :: Functor m => (e -> a) -> ExceptT e m a -> m a
62−handleT = Explicit.handleT (Proxy :: Proxy e)
62+handleT = Explicit.handleT Proxy
src/Control/Monad/Ether/Implicit/Reader.hs+4−4
@@ -45,17 +45,17 @@ runReader = Explicit.runReader Proxy
4545type MonadReader r = Explicit.MonadReader r r
4646
4747-- | See 'Control.Monad.Ether.Reader.local'.
48−local :: forall m r a . MonadReader r m => (r -> r) -> m a -> m a
48+local :: forall r m a . MonadReader r m => (r -> r) -> m a -> m a
4949local = Explicit.local (Proxy :: Proxy r)
5050
5151-- | See 'Control.Monad.Ether.Reader.ask'.
52−ask :: forall m r . MonadReader r m => m r
52+ask :: forall r m . MonadReader r m => m r
5353ask = Explicit.ask (Proxy :: Proxy r)
5454
5555-- | See 'Control.Monad.Ether.Reader.reader'.
56−reader :: forall m r a . MonadReader r m => (r -> a) -> m a
56+reader :: forall r m a . MonadReader r m => (r -> a) -> m a
5757reader = Explicit.reader (Proxy :: Proxy r)
5858
5959-- | See 'Control.Monad.Ether.Reader.asks'.
60−asks :: forall m r a . MonadReader r m => (r -> a) -> m a
60+asks :: forall r m a . MonadReader r m => (r -> a) -> m a
6161asks = Explicit.asks (Proxy :: Proxy r)
src/Control/Monad/Ether/Implicit/State/Lazy.hs+5−5
@@ -66,21 +66,21 @@ execState = Explicit.execState Proxy
6666type MonadState s = Explicit.MonadState s s
6767
6868-- | See 'Control.Monad.Ether.State.Lazy.get'.
69−get :: forall m s . MonadState s m => m s
69+get :: forall s m . MonadState s m => m s
7070get = Explicit.get (Proxy :: Proxy s)
7171
7272-- | See 'Control.Monad.Ether.State.Lazy.gets'.
73−gets :: forall m s a . MonadState s m => (s -> a) -> m a
73+gets :: forall s m a . MonadState s m => (s -> a) -> m a
7474gets = Explicit.gets (Proxy :: Proxy s)
7575
7676-- | See 'Control.Monad.Ether.State.Lazy.put'.
77−put :: forall m s . MonadState s m => s -> m ()
77+put :: forall s m . MonadState s m => s -> m ()
7878put = Explicit.put (Proxy :: Proxy s)
7979
8080-- | See 'Control.Monad.Ether.State.Lazy.state'.
81−state :: forall m s a . MonadState s m => (s -> (a, s)) -> m a
81+state :: forall s m a . MonadState s m => (s -> (a, s)) -> m a
8282state = Explicit.state (Proxy :: Proxy s)
8383
8484-- | See 'Control.Monad.Ether.State.Lazy.modify'.
85−modify :: forall m s . MonadState s m => (s -> s) -> m ()
85+modify :: forall s m . MonadState s m => (s -> s) -> m ()
8686modify = Explicit.modify (Proxy :: Proxy s)
src/Control/Monad/Ether/Implicit/State/Strict.hs+5−5
@@ -66,21 +66,21 @@ execState = Explicit.execState Proxy
6666type MonadState s = Explicit.MonadState s s
6767
6868-- | See 'Control.Monad.Ether.State.Strict.get'.
69−get :: forall m s . MonadState s m => m s
69+get :: forall s m . MonadState s m => m s
7070get = Explicit.get (Proxy :: Proxy s)
7171
7272-- | See 'Control.Monad.Ether.State.Strict.gets'.
73−gets :: forall m s a . MonadState s m => (s -> a) -> m a
73+gets :: forall s m a . MonadState s m => (s -> a) -> m a
7474gets = Explicit.gets (Proxy :: Proxy s)
7575
7676-- | See 'Control.Monad.Ether.State.Strict.put'.
77−put :: forall m s . MonadState s m => s -> m ()
77+put :: forall s m . MonadState s m => s -> m ()
7878put = Explicit.put (Proxy :: Proxy s)
7979
8080-- | See 'Control.Monad.Ether.State.Strict.state'.
81−state :: forall m s a . MonadState s m => (s -> (a, s)) -> m a
81+state :: forall s m a . MonadState s m => (s -> (a, s)) -> m a
8282state = Explicit.state (Proxy :: Proxy s)
8383
8484-- | See 'Control.Monad.Ether.State.Strict.modify'.
85−modify :: forall m s . MonadState s m => (s -> s) -> m ()
85+modify :: forall s m . MonadState s m => (s -> s) -> m ()
8686modify = Explicit.modify (Proxy :: Proxy s)
src/Control/Monad/Ether/Implicit/Writer.hs+6−6
@@ -31,27 +31,27 @@ import qualified Control.Monad.Ether.Writer as Explicit
3131type MonadWriter w = Explicit.MonadWriter w w
3232
3333-- | See 'Control.Monad.Ether.Writer.writer'.
34−writer :: forall m w a . MonadWriter w m => (a, w) -> m a
34+writer :: forall w m a . MonadWriter w m => (a, w) -> m a
3535writer = Explicit.writer (Proxy :: Proxy w)
3636
3737-- | See 'Control.Monad.Ether.Writer.tell'.
38−tell :: forall m w . MonadWriter w m => w -> m ()
38+tell :: forall w m . MonadWriter w m => w -> m ()
3939tell = Explicit.tell (Proxy :: Proxy w)
4040
4141-- | See 'Control.Monad.Ether.Writer.listen'.
42−listen :: forall m w a . MonadWriter w m => m a -> m (a, w)
42+listen :: forall w m a . MonadWriter w m => m a -> m (a, w)
4343listen = Explicit.listen (Proxy :: Proxy w)
4444
4545-- | See 'Control.Monad.Ether.Writer.pass'.
46−pass :: forall m w a . MonadWriter w m => m (a, w -> w) -> m a
46+pass :: forall w m a . MonadWriter w m => m (a, w -> w) -> m a
4747pass = Explicit.pass (Proxy :: Proxy w)
4848
4949-- | See 'Control.Monad.Ether.Writer.listens'.
50−listens :: forall m w a b . MonadWriter w m => (w -> b) -> m a -> m (a, b)
50+listens :: forall w m a b . MonadWriter w m => (w -> b) -> m a -> m (a, b)
5151listens = Explicit.listens (Proxy :: Proxy w)
5252
5353-- | See 'Control.Monad.Ether.Writer.censor'.
54−censor :: forall m w a . MonadWriter w m => (w -> w) -> m a -> m a
54+censor :: forall w m a . MonadWriter w m => (w -> w) -> m a -> m a
5555censor = Explicit.censor (Proxy :: Proxy w)
5656
5757-- | See 'Control.Monad.Ether.Writer.Writer'.