blob: 1a3dd4341ae7a75041880b1c316813c1599f5288 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
mapM
:: forall {t :: * -> *} {m :: * -> *} {a} {b}.
(Monad m, Traversable t) =>
(a -> m b) -> t a -> m (t b)
mapM
:: forall (t :: * -> *).
Traversable t =>
forall (m :: * -> *) a b. Monad m => (a -> m b) -> t a -> m (t b)
mapM
:: forall (t :: * -> *).
Traversable t =>
forall (m :: * -> *) a b. 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
|