3 / /_\// /_/ / / | | GHC Interactive, version 5.03, for Haskell 98.
4 / /_\\/ __ / /___| | http://www.haskell.org/ghc/
5 \____/\/ /_/\____/|_| Type :? for help.
7 Loading package std ... linking ... done.
8 Prelude> -- testing :info
10 -- + is a method in class Num
12 (+) :: forall a. (Num a) => a -> a -> a
14 -- + is a method in class Num
16 (+) :: forall a. (Num a) => a -> a -> a
17 Prelude> :info Complex.:+
18 -- Complex.:+ is a data constructor
20 (Complex.:+) :: forall a. (RealFloat a) =>
21 a -> a -> Complex.Complex a
22 Prelude> :info (Complex.:+)
23 -- Complex.:+ is a data constructor
25 (Complex.:+) :: forall a. (RealFloat a) =>
26 a -> a -> Complex.Complex a
27 Prelude> :info RealFloat
28 -- RealFloat is a class
29 class (RealFrac a, Floating a) => RealFloat a where {
30 floatRadix :: a -> Integer;
31 floatDigits :: a -> Int;
32 floatRange :: a -> (Int, Int);
33 decodeFloat :: a -> (Integer, Int);
34 encodeFloat :: Integer -> Int -> a;
35 exponent :: a -> Int {- has default method -};
36 significand :: a -> a {- has default method -};
37 scaleFloat :: Int -> a -> a {- has default method -};
38 isInfinite :: a -> Bool;
39 isDenormalized :: a -> Bool;
40 isNegativeZero :: a -> Bool;
43 atan2 :: a -> a -> a {- has default method -};
46 -- [] is a data constructor
49 -- [] is a type constructor
50 data [] a = [] | (:) a [a]
52 -- () is a data constructor
55 -- () is a type constructor
58 -- (,) is a data constructor
59 (,) :: forall a b. a -> b -> (a, b)
61 -- (,) is a type constructor
62 data (,) a b = (,) a b
63 Prelude> :info `List.isPrefixOf`
64 -- List.isPrefixOf is a variable
65 List.isPrefixOf :: forall a. (Eq a) => [a] -> [a] -> Bool
66 Prelude> Leaving GHCi.