base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` instead
[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
8   ...
9 c1 :: (C a b, N b) => a -> b
10 c2 :: (C a b, N b, S b) => a -> b
11 c3 :: C a b => a -> b
12 c4 :: C a b => a1 -> b
13 -- imported via Control.Monad
14 class (GHC.Base.Alternative m, Monad m) => MonadPlus (m :: * -> *)
15   ...
16 mplus :: MonadPlus m => m a -> m a -> m a
17 mzero :: MonadPlus m => m a
18 -- imported via Control.Monad, Prelude
19 (>>) :: Monad m => m a -> m b -> m b
20 (>>=) :: Monad m => m a -> (a -> m b) -> m b
21 return :: Monad m => a -> m a
22 -- imported via Control.Monad, Prelude, T
23 class GHC.Base.Applicative m => Monad (m :: * -> *)
24   ...
25 -- imported via Data.Maybe
26 catMaybes :: [Maybe a] -> [a]
27 fromJust :: GHC.Stack.Types.HasCallStack => Maybe a -> a
28 fromMaybe :: a -> Maybe a -> a
29 isJust :: Maybe a -> GHC.Types.Bool
30 isNothing :: Maybe a -> GHC.Types.Bool
31 listToMaybe :: [a] -> Maybe a
32 mapMaybe :: (a -> Maybe b) -> [a] -> [b]
33 maybe :: b -> (a -> b) -> Maybe a -> b
34 maybeToList :: Maybe a -> [a]
35 -- imported via Data.Maybe, Prelude
36 Just :: a -> Maybe a
37 data Maybe a = ...
38 Nothing :: Maybe a
39 -- imported via Prelude
40 (+) :: GHC.Num.Num a => a -> a -> a
41 (=<<) :: Monad m => (a -> m b) -> m a -> m b
42 class Eq a
43   ...
44 -- imported via Prelude, T
45 Prelude.length :: Data.Foldable.Foldable t => t a -> GHC.Types.Int
46 -- imported via T
47 data T.Integer = ...
48 T.length :: Data.ByteString.Internal.ByteString -> GHC.Types.Int
49 :browse! T
50 -- defined locally
51 T.length :: T.Integer
52 class N a
53 class S a
54 class C a b
55   ...
56 c1 :: (C a b, N b) => a -> b
57 c2 :: (C a b, N b, S b) => a -> b
58 c3 :: C a b => a -> b
59 c4 :: C a b => a1 -> b
60 :browse! T -- with -fprint-explicit-foralls
61 -- defined locally
62 T.length :: T.Integer
63 class N a
64 class S a
65 class C a b
66   ...
67 c1 :: forall a b. (C a b, N b) => a -> b
68 c2 :: forall a b. (C a b, N b, S b) => a -> b
69 c3 :: forall a b a. C a b => a -> b
70 c4 :: forall a b a1. C a b => a1 -> b
71 -- test :browse! <target> relative to different contexts
72 :browse! Ghci025C -- from *Ghci025C>
73 -- defined locally
74 g :: forall {a}. Num a => a -> a
75 h :: forall {a}. Integral a => a -> a
76 -- imported via Ghci025D
77 f :: forall {a}. Num a => a -> a
78 :browse! Ghci025C -- from *Ghci025B>, after :add Ghci025B
79 -- imported via Ghci025C
80 g :: forall {a}. Num a => a -> a
81 h :: forall {a}. Integral a => a -> a
82 f :: forall {a}. Num a => a -> a
83 :browse! Ghci025C -- from *Ghci025C>, after :m *Ghci025C
84 -- defined locally
85 g :: forall {a}. Num a => a -> a
86 h :: forall {a}. Integral a => a -> a
87 -- imported via Ghci025D
88 f :: forall {a}. Num a => a -> a
89 :browse! Ghci025C -- from *Ghci025D>, after :m *Ghci025D
90 -- not currently imported
91 Ghci025C.g :: forall {a}. Num a => a -> a
92 Ghci025C.h :: forall {a}. Integral a => a -> a
93 -- defined locally
94 f :: forall {a}. Num a => a -> a