blob: 6e877617dcb370bfa584799b629d996b59e450f3 (
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 t.
(Applicative f, Num t, Num b) =>
(t -> f b) -> f b
test3 ::
forall (m :: * -> *) a t t1.
(Num t, Monad m) =>
(t -> m t1) -> (t1 -> t1 -> m a) -> m a
test4 ::
forall (m :: * -> *) a a1 t.
(Num t, Monad m) =>
(t -> m a1) -> (a1 -> a1 -> m a) -> m a
test5 ::
forall (m :: * -> *) a a1 t.
(Num t, Monad m) =>
(t -> m a1) -> (a1 -> a1 -> m a) -> m a
test6 ::
forall t (m :: * -> *) a.
(Num (m a), Monad m) =>
(m a -> m (m a)) -> t -> 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.1]
|