ado004.stderr 1.37 KB
Newer Older
Simon Marlow's avatar
Simon Marlow committed
1 2 3
TYPE SIGNATURES
  test1 ::
    forall (f :: * -> *). Applicative f => (Int -> f Int) -> f Int
4 5
  test1a ::
    forall (f :: * -> *). Applicative f => (Int -> f Int) -> f Int
6 7 8 9
  test1b ::
    forall (f :: * -> *). Applicative f => (Int -> f Int) -> f Int
  test1c ::
    forall (f :: * -> *). Applicative f => (Int -> f Int) -> f Int
Simon Marlow's avatar
Simon Marlow committed
10
  test2 ::
11
    forall (f :: * -> *) t b.
12
    (Applicative f, Num t, Num b) =>
13
    (t -> f b) -> f b
Simon Marlow's avatar
Simon Marlow committed
14
  test2a ::
15
    forall (f :: * -> *) t b.
16
    (Functor f, Num t, Num b) =>
Simon Marlow's avatar
Simon Marlow committed
17 18
    (t -> f b) -> f b
  test2b ::
19
    forall (m :: * -> *) t a. (Monad m, Num t) => (t -> a) -> m a
20
  test2c ::
21
    forall (f :: * -> *) t b.
22
    (Functor f, Num t, Num b) =>
23
    (t -> f b) -> f b
24 25
  test2d ::
    forall (f :: * -> *) t1 b t2.
26
    (Functor f, Num t1, Num b) =>
27
    (t1 -> f t2) -> f b
Simon Marlow's avatar
Simon Marlow committed
28
  test3 ::
29
    forall (m :: * -> *) t1 t2 a.
30
    (Monad m, Num t1) =>
31
    (t1 -> m t2) -> (t2 -> t2 -> m a) -> m a
Simon Marlow's avatar
Simon Marlow committed
32
  test4 ::
33
    forall (m :: * -> *) t a1 a2.
34
    (Monad m, Num t) =>
35
    (t -> m a1) -> (a1 -> a1 -> m a2) -> m a2
Simon Marlow's avatar
Simon Marlow committed
36
  test5 ::
37
    forall (m :: * -> *) t a1 a2.
38
    (Monad m, Num t) =>
39
    (t -> m a1) -> (a1 -> a1 -> m a2) -> m a2
Simon Marlow's avatar
Simon Marlow committed
40
  test6 ::
41
    forall (m :: * -> *) a p.
42
    (Monad m, Num (m a)) =>
43
    (m a -> m (m a)) -> p -> m a
Simon Marlow's avatar
Simon Marlow committed
44 45 46
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Ben Gamari's avatar
Ben Gamari committed
47
Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3,
48
                     integer-gmp-1.0.2.0]