bf1f7ad · typeable/ether

src/Control/Monad/Ether/Implicit/Except.hs+2−2

compare with master

unifiedsplit

@@ -55,8 +55,8 @@ runExceptT = Explicit.runExceptT Proxy

55

56-- | See 'Control.Monad.Ether.Except.handle'.

57handle :: (e -> a) -> Except e a -> a

58−handle = Explicit.handle (Proxy :: Proxy e)

58+handle = Explicit.handle Proxy

59

60-- | See 'Control.Monad.Ether.Except.handleT'.

61handleT :: 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

45type MonadReader r = Explicit.MonadReader r r

46

47-- | 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

49local = Explicit.local (Proxy :: Proxy r)

50

51-- | 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

53ask = Explicit.ask (Proxy :: Proxy r)

54

55-- | 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

57reader = Explicit.reader (Proxy :: Proxy r)

58

59-- | 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

61asks = Explicit.asks (Proxy :: Proxy r)

src/Control/Monad/Ether/Implicit/State/Lazy.hs+5−5

@@ -66,21 +66,21 @@ execState = Explicit.execState Proxy

66type MonadState s = Explicit.MonadState s s

67

68-- | 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

70get = Explicit.get (Proxy :: Proxy s)

71

72-- | 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

74gets = Explicit.gets (Proxy :: Proxy s)

75

76-- | 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 ()

78put = Explicit.put (Proxy :: Proxy s)

79

80-- | 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

82state = Explicit.state (Proxy :: Proxy s)

83

84-- | 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 ()

86modify = Explicit.modify (Proxy :: Proxy s)

src/Control/Monad/Ether/Implicit/State/Strict.hs+5−5

@@ -66,21 +66,21 @@ execState = Explicit.execState Proxy

66type MonadState s = Explicit.MonadState s s

67

68-- | 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

70get = Explicit.get (Proxy :: Proxy s)

71

72-- | 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

74gets = Explicit.gets (Proxy :: Proxy s)

75

76-- | 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 ()

78put = Explicit.put (Proxy :: Proxy s)

79

80-- | 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

82state = Explicit.state (Proxy :: Proxy s)

83

84-- | 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 ()

86modify = 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

31type MonadWriter w = Explicit.MonadWriter w w

32

33-- | 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

35writer = Explicit.writer (Proxy :: Proxy w)

36

37-- | 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 ()

39tell = Explicit.tell (Proxy :: Proxy w)

40

41-- | 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)

43listen = Explicit.listen (Proxy :: Proxy w)

44

45-- | 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

47pass = Explicit.pass (Proxy :: Proxy w)

48

49-- | 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)

51listens = Explicit.listens (Proxy :: Proxy w)

52

53-- | 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

55censor = Explicit.censor (Proxy :: Proxy w)

56

57-- | See 'Control.Monad.Ether.Writer.Writer'.