blob: 56d8d4180d844f8e439bf80459f4a3ce3690a872 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
mapM
:: forall {t :: * -> *} {m :: * -> *} {a} {b}.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
mapM
:: forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
mapM
:: forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
foo @Int :: forall {b}. Num b => Int -> b
foo @Int :: forall b. (Show Int, Num b) => Int -> b
foo @Int :: forall b. (Show Int, Num b) => Int -> b
|