blob: 6472310ececb9f9be63163420db22111062d96a9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
TYPE SIGNATURES
test1 ::
forall (f :: * -> *). Applicative f => (Int -> f Int) -> f Int
test2 ::
forall (f :: * -> *) b a.
(Applicative f, Num a, Num b) =>
(a -> f b) -> f b
test3 ::
forall (m :: * -> *) a a1 a2.
(Num a2, Monad m) =>
(a2 -> m a1) -> (a1 -> a1 -> m a) -> m a
test4 ::
forall (m :: * -> *) a a1 a2.
(Num a2, Monad m) =>
(a2 -> m a1) -> (a1 -> a1 -> m a) -> m a
test5 ::
forall (m :: * -> *) a a1 a2.
(Num a2, Monad m) =>
(a2 -> m a1) -> (a1 -> a1 -> m a) -> m a
test6 ::
forall r (m :: * -> *) a.
(Num (m a), Monad m) =>
(m a -> m (m a)) -> r -> m a
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0]
|
