testsuite/tests/ghci/scripts/ghci025.stdout-ghc-7.0

   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 a1. a1 -> 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.Bool.Bool
  38 isNothing :: Maybe a -> GHC.Bool.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.Bool.Bool
  52   (GHC.Classes./=) :: a -> a -> GHC.Bool.Bool
  53 -- imported via Prelude, T
  54 Prelude.length :: [a] -> GHC.Types.Int
  55 -- imported via T
  56 data T.Integer
  57   = integer-gmp:GHC.Integer.Type.S# GHC.Prim.Int#
  58   | integer-gmp:GHC.Integer.Type.J# GHC.Prim.Int# GHC.Prim.ByteArray#
  59 T.length :: Data.ByteString.Internal.ByteString -> GHC.Types.Int
  60 :browse! T
  61 -- defined locally
  62 T.length :: T.Integer
  63 class N a
  64 class S a
  65 class C a b where
  66   c1 :: N b => a -> b
  67   c2 :: (N b, S b) => a -> b
  68   c3 :: a1 -> b
  69   c4 :: a1 -> b
  70 c1 :: (C a b, N b) => a -> b
  71 c2 :: (C a b, N b, S b) => a -> b
  72 c3 :: C a b => forall a1. a1 -> b
  73 c4 :: C a b => forall a1. a1 -> b
  74 :browse! T -- with -fprint-explicit-foralls
  75 -- defined locally
  76 T.length :: T.Integer
  77 class N a
  78 class S a
  79 class C a b where
  80   c1 :: N b => a -> b
  81   c2 :: (N b, S b) => a -> b
  82   c3 :: forall a1. a1 -> b
  83   c4 :: forall a1. a1 -> b
  84 c1 :: forall a b. (C a b, N b) => a -> b
  85 c2 :: forall a b. (C a b, N b, S b) => a -> b
  86 c3 :: forall a b. C a b => forall a1. a1 -> b
  87 c4 :: forall a b. C a b => forall a1. a1 -> b
  88 -- test :browse! <target> relative to different contexts
  89 :browse! C -- from *C>
  90 -- defined locally
  91 g :: forall a. Num a => a -> a
  92 h :: forall a. Integral a => a -> a
  93 -- imported via D
  94 f :: forall a. Num a => a -> a
  95 :browse! C -- from *B>, after :add B
  96 -- imported via C
  97 g :: forall a. Num a => a -> a
  98 h :: forall a. Integral a => a -> a
  99 f :: forall a. Num a => a -> a
 100 :browse! C -- from *C>, after :m *C
 101 -- defined locally
 102 g :: forall a. Num a => a -> a
 103 h :: forall a. Integral a => a -> a
 104 -- imported via D
 105 f :: forall a. Num a => a -> a
 106 :browse! C -- from *D>, after :m *D
 107 -- not currently imported
 108 C.g :: forall a. Num a => a -> a
 109 C.h :: forall a. Integral a => a -> a
 110 -- defined locally
 111 f :: forall a. Num a => a -> a