Make Applicative a superclass of Monad
[ghc.git] / testsuite / tests / ghci / scripts / ghci025.stdout
1 -- test :browse! functionality
2 :browse! *T
3 -- defined locally
4 T.length :: T.Integer
5 class N a
6 class S a
7 class C a b where
8   c1 :: N b => a -> b
9   c2 :: (N b, S b) => a -> b
10   c3 :: a1 -> b
11   c4 :: a1 -> b
12 c1 :: (C a b, N b) => a -> b
13 c2 :: (C a b, N b, S b) => a -> b
14 c3 :: C a b => forall a. a -> b
15 c4 :: C a b => forall a1. a1 -> b
16 -- imported via Control.Monad
17 class (Control.Monad.Alternative m, Monad m) =>
18       MonadPlus (m :: * -> *) where
19   mzero :: m a
20   mplus :: m a -> m a -> m a
21 mplus :: MonadPlus m => forall a. m a -> m a -> m a
22 mzero :: MonadPlus m => forall a. m a
23 -- imported via Control.Monad, Prelude
24 (>>) :: Monad m => forall a b. m a -> m b -> m b
25 (>>=) :: Monad m => forall a b. m a -> (a -> m b) -> m b
26 fail :: Monad m => forall a. GHC.Base.String -> m a
27 return :: Monad m => forall a. a -> m a
28 -- imported via Control.Monad, Prelude, T
29 class GHC.Base.Applicative m => Monad (m :: * -> *) where
30   (>>=) :: m a -> (a -> m b) -> m b
31   (>>) :: m a -> m b -> m b
32   return :: a -> m a
33   fail :: GHC.Base.String -> m a
34 -- imported via Data.Maybe
35 catMaybes :: [Maybe a] -> [a]
36 fromJust :: Maybe a -> a
37 fromMaybe :: a -> Maybe a -> a
38 isJust :: Maybe a -> GHC.Types.Bool
39 isNothing :: Maybe a -> GHC.Types.Bool
40 listToMaybe :: [a] -> Maybe a
41 mapMaybe :: (a -> Maybe b) -> [a] -> [b]
42 maybe :: b -> (a -> b) -> Maybe a -> b
43 maybeToList :: Maybe a -> [a]
44 -- imported via Data.Maybe, Prelude
45 Just :: a -> Maybe a
46 data Maybe a = Nothing | Just a
47 Nothing :: Maybe a
48 -- imported via Prelude
49 (+) :: GHC.Num.Num a => a -> a -> a
50 (=<<) :: Monad m => (a -> m b) -> m a -> m b
51 class Eq a where
52   (GHC.Classes.==) :: a -> a -> GHC.Types.Bool
53   (GHC.Classes./=) :: a -> a -> GHC.Types.Bool
54 -- imported via Prelude, T
55 Prelude.length :: [a] -> GHC.Types.Int
56 -- imported via T
57 data T.Integer
58   = integer-gmp-0.5.1.0:GHC.Integer.Type.S# GHC.Prim.Int#
59   | integer-gmp-0.5.1.0:GHC.Integer.Type.J# GHC.Prim.Int#
60                                             GHC.Prim.ByteArray#
61 T.length :: Data.ByteString.Internal.ByteString -> GHC.Types.Int
62 :browse! T
63 -- defined locally
64 T.length :: T.Integer
65 class N a
66 class S a
67 class C a b where
68   c1 :: N b => a -> b
69   c2 :: (N b, S b) => a -> b
70   c3 :: a1 -> b
71   c4 :: a1 -> b
72 c1 :: (C a b, N b) => a -> b
73 c2 :: (C a b, N b, S b) => a -> b
74 c3 :: C a b => forall a. a -> b
75 c4 :: C a b => forall a1. a1 -> b
76 :browse! T -- with -fprint-explicit-foralls
77 -- defined locally
78 T.length :: T.Integer
79 class N a
80 class S a
81 class C a b where
82   c1 :: N b => a -> b
83   c2 :: (N b, S b) => a -> b
84   c3 :: forall a1. a1 -> b
85   c4 :: forall a1. a1 -> b
86 c1 :: forall a b. (C a b, N b) => a -> b
87 c2 :: forall a b. (C a b, N b, S b) => a -> b
88 c3 :: forall a b. C a b => forall a. a -> b
89 c4 :: forall a b. C a b => forall a1. a1 -> b
90 -- test :browse! <target> relative to different contexts
91 :browse! Ghci025C -- from *Ghci025C>
92 -- defined locally
93 g :: forall a. Num a => a -> a
94 h :: forall a. Integral a => a -> a
95 -- imported via Ghci025D
96 f :: forall a. Num a => a -> a
97 :browse! Ghci025C -- from *Ghci025B>, after :add Ghci025B
98 -- imported via Ghci025C
99 g :: forall a. Num a => a -> a
100 h :: forall a. Integral a => a -> a
101 f :: forall a. Num a => a -> a
102 :browse! Ghci025C -- from *Ghci025C>, after :m *Ghci025C
103 -- defined locally
104 g :: forall a. Num a => a -> a
105 h :: forall a. Integral a => a -> a
106 -- imported via Ghci025D
107 f :: forall a. Num a => a -> a
108 :browse! Ghci025C -- from *Ghci025D>, after :m *Ghci025D
109 -- not currently imported
110 Ghci025C.g :: forall a. Num a => a -> a
111 Ghci025C.h :: forall a. Integral a => a -> a
112 -- defined locally
113 f :: forall a. Num a => a -> a