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