ExtraConstraints3.stderr 9.46 KB
Newer Older
1 2
TYPE SIGNATURES
  !! :: forall a. [a] -> Int -> a
3 4
  $ :: forall a b. (a -> b) -> a -> b
  $! :: forall a b. (a -> b) -> a -> b
5 6 7 8 9 10
  && :: Bool -> Bool -> Bool
  * :: forall a. Num a => a -> a -> a
  ** :: forall a. Floating a => a -> a -> a
  + :: forall a. Num a => a -> a -> a
  ++ :: forall a. [a] -> [a] -> [a]
  - :: forall a. Num a => a -> a -> a
11
  . :: forall b c a. (b -> c) -> (a -> b) -> a -> c
12 13 14 15 16
  / :: forall a. Fractional a => a -> a -> a
  /= :: forall a. Eq a => a -> a -> Bool
  < :: forall a. Ord a => a -> a -> Bool
  <= :: forall a. Ord a => a -> a -> Bool
  =<< ::
17
    forall (m :: * -> *) a b. Monad m => (a -> m b) -> m a -> m b
18 19 20
  == :: forall a. Eq a => a -> a -> Bool
  > :: forall a. Ord a => a -> a -> Bool
  >= :: forall a. Ord a => a -> a -> Bool
21
  >> :: forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
22
  >>= ::
23
    forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
24 25
  ^ :: forall b a. (Integral b, Num a) => a -> b -> a
  ^^ :: forall a b. (Fractional a, Integral b) => a -> b -> a
26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41
  abs :: forall a. Num a => a -> a
  acos :: forall a. Floating a => a -> a
  acosh :: forall a. Floating a => a -> a
  all ::
    forall (t :: * -> *) a. P.Foldable t => (a -> Bool) -> t a -> Bool
  and :: forall (t :: * -> *). P.Foldable t => t Bool -> Bool
  any ::
    forall (t :: * -> *) a. P.Foldable t => (a -> Bool) -> t a -> Bool
  appendFile :: FilePath -> String -> IO ()
  asTypeOf :: forall a. a -> a -> a
  asin :: forall a. Floating a => a -> a
  asinh :: forall a. Floating a => a -> a
  atan :: forall a. Floating a => a -> a
  atan2 :: forall a. RealFloat a => a -> a -> a
  atanh :: forall a. Floating a => a -> a
  break :: forall a. (a -> Bool) -> [a] -> ([a], [a])
42
  ceiling :: forall a b. (RealFrac a, Integral b) => a -> b
43 44 45
  compare :: forall a. Ord a => a -> a -> Ordering
  concat :: forall (t :: * -> *) a. P.Foldable t => t [a] -> [a]
  concatMap ::
46 47
    forall (t :: * -> *) a b. P.Foldable t => (a -> [b]) -> t a -> [b]
  const :: forall a b. a -> b -> a
48 49
  cos :: forall a. Floating a => a -> a
  cosh :: forall a. Floating a => a -> a
50
  curry :: forall a b c. ((a, b) -> c) -> a -> b -> c
51 52 53 54 55 56
  cycle :: forall a. [a] -> [a]
  decodeFloat :: forall a. RealFloat a => a -> (Integer, Int)
  div :: forall a. Integral a => a -> a -> a
  divMod :: forall a. Integral a => a -> a -> (a, a)
  drop :: forall a. Int -> [a] -> [a]
  dropWhile :: forall a. (a -> Bool) -> [a] -> [a]
57
  either :: forall a c b. (a -> c) -> (b -> c) -> Either a b -> c
58
  elem ::
59
    forall (t :: * -> *) a. (P.Foldable t, Eq a) => a -> t a -> Bool
60 61 62 63 64 65 66 67 68
  encodeFloat :: forall a. RealFloat a => Integer -> Int -> a
  enumFrom :: forall a. Enum a => a -> [a]
  enumFromThen :: forall a. Enum a => a -> a -> [a]
  enumFromThenTo :: forall a. Enum a => a -> a -> a -> [a]
  enumFromTo :: forall a. Enum a => a -> a -> [a]
  error :: forall a. [Char] -> a
  even :: forall a. Integral a => a -> Bool
  exp :: forall a. Floating a => a -> a
  exponent :: forall a. RealFloat a => a -> Int
69
  fail :: forall (m :: * -> *) a. Monad m => String -> m a
70
  filter :: forall a. (a -> Bool) -> [a] -> [a]
71
  flip :: forall a b c. (a -> b -> c) -> b -> a -> c
72 73 74
  floatDigits :: forall a. RealFloat a => a -> Int
  floatRadix :: forall a. RealFloat a => a -> Integer
  floatRange :: forall a. RealFloat a => a -> (Int, Int)
75
  floor :: forall a b. (RealFrac a, Integral b) => a -> b
76
  fmap ::
77
    forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
78
  foldl ::
79
    forall (t :: * -> *) b a.
80 81 82 83 84
    P.Foldable t =>
    (b -> a -> b) -> b -> t a -> b
  foldl1 ::
    forall (t :: * -> *) a. P.Foldable t => (a -> a -> a) -> t a -> a
  foldr ::
85
    forall (t :: * -> *) a b.
86 87 88 89 90 91
    P.Foldable t =>
    (a -> b -> b) -> b -> t a -> b
  foldr1 ::
    forall (t :: * -> *) a. P.Foldable t => (a -> a -> a) -> t a -> a
  fromEnum :: forall a. Enum a => a -> Int
  fromInteger :: forall a. Num a => Integer -> a
92
  fromIntegral :: forall a b. (Integral a, Num b) => a -> b
93
  fromRational :: forall a. Fractional a => Rational -> a
94
  fst :: forall a b. (a, b) -> a
95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111
  gcd :: forall a. Integral a => a -> a -> a
  getChar :: IO Char
  getContents :: IO String
  getLine :: IO String
  head :: forall a. [a] -> a
  id :: forall a. a -> a
  init :: forall a. [a] -> [a]
  interact :: (String -> String) -> IO ()
  ioError :: forall a. IOError -> IO a
  isDenormalized :: forall a. RealFloat a => a -> Bool
  isIEEE :: forall a. RealFloat a => a -> Bool
  isInfinite :: forall a. RealFloat a => a -> Bool
  isNaN :: forall a. RealFloat a => a -> Bool
  isNegativeZero :: forall a. RealFloat a => a -> Bool
  iterate :: forall a. (a -> a) -> a -> [a]
  last :: forall a. [a] -> a
  lcm :: forall a. Integral a => a -> a -> a
112
  length :: forall (t :: * -> *) a. P.Foldable t => t a -> Int
113 114 115 116
  lex :: ReadS String
  lines :: String -> [String]
  log :: forall a. Floating a => a -> a
  logBase :: forall a. Floating a => a -> a -> a
117 118
  lookup :: forall a b. Eq a => a -> [(a, b)] -> Maybe b
  map :: forall a b. (a -> b) -> [a] -> [b]
119
  mapM ::
120
    forall (t :: * -> *) (m :: * -> *) a b.
121
    (P.Traversable t, Monad m) =>
122 123
    (a -> m b) -> t a -> m (t b)
  mapM_ ::
124
    forall (t :: * -> *) (m :: * -> *) a b.
125
    (P.Foldable t, Monad m) =>
126 127 128 129
    (a -> m b) -> t a -> m ()
  max :: forall a. Ord a => a -> a -> a
  maxBound :: forall w. Bounded w => w
  maximum ::
130
    forall (t :: * -> *) a. (P.Foldable t, Ord a) => t a -> a
131
  maybe :: forall b a. b -> (a -> b) -> Maybe a -> b
132 133 134
  min :: forall a. Ord a => a -> a -> a
  minBound :: forall w. Bounded w => w
  minimum ::
135
    forall (t :: * -> *) a. (P.Foldable t, Ord a) => t a -> a
136 137 138 139
  mod :: forall a. Integral a => a -> a -> a
  negate :: forall a. Num a => a -> a
  not :: Bool -> Bool
  notElem ::
140
    forall (t :: * -> *) a. (P.Foldable t, Eq a) => a -> t a -> Bool
141
  null :: forall (t :: * -> *) a. P.Foldable t => t a -> Bool
142 143 144 145 146 147 148
  odd :: forall a. Integral a => a -> Bool
  or :: forall (t :: * -> *). P.Foldable t => t Bool -> Bool
  otherwise :: Bool
  pi :: forall w. Floating w => w
  pred :: forall a. Enum a => a -> a
  print :: forall a. Show a => a -> IO ()
  product ::
149
    forall (t :: * -> *) a. (P.Foldable t, Num a) => t a -> a
150
  properFraction ::
151
    forall a b. (RealFrac a, Integral b) => a -> (b, a)
152 153 154 155 156 157 158 159 160 161 162 163 164
  putChar :: Char -> IO ()
  putStr :: String -> IO ()
  putStrLn :: String -> IO ()
  quot :: forall a. Integral a => a -> a -> a
  quotRem :: forall a. Integral a => a -> a -> (a, a)
  read :: forall a. Read a => String -> a
  readFile :: FilePath -> IO String
  readIO :: forall a. Read a => String -> IO a
  readList :: forall a. Read a => ReadS [a]
  readLn :: forall a. Read a => IO a
  readParen :: forall a. Bool -> ReadS a -> ReadS a
  reads :: forall a. Read a => ReadS a
  readsPrec :: forall a. Read a => Int -> ReadS a
165
  realToFrac :: forall a b. (Real a, Fractional b) => a -> b
166 167 168 169 170 171
  recip :: forall a. Fractional a => a -> a
  rem :: forall a. Integral a => a -> a -> a
  repeat :: forall a. a -> [a]
  replicate :: forall a. Int -> a -> [a]
  return :: forall (m :: * -> *) a. Monad m => a -> m a
  reverse :: forall a. [a] -> [a]
172
  round :: forall a b. (RealFrac a, Integral b) => a -> b
173
  scaleFloat :: forall a. RealFloat a => Int -> a -> a
174
  scanl :: forall b a. (b -> a -> b) -> b -> [a] -> [b]
175
  scanl1 :: forall a. (a -> a -> a) -> [a] -> [a]
176
  scanr :: forall a b. (a -> b -> b) -> b -> [a] -> [b]
177
  scanr1 :: forall a. (a -> a -> a) -> [a] -> [a]
178
  seq :: forall a b. a -> b -> b
179
  sequence ::
180
    forall (t :: * -> *) (m :: * -> *) a.
181
    (P.Traversable t, Monad m) =>
182 183
    t (m a) -> m (t a)
  sequence_ ::
184
    forall (t :: * -> *) (m :: * -> *) a.
185
    (P.Foldable t, Monad m) =>
186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203
    t (m a) -> m ()
  show :: forall a. Show a => a -> String
  showChar :: Char -> ShowS
  showList :: forall a. Show a => [a] -> ShowS
  showParen :: Bool -> ShowS -> ShowS
  showString :: String -> ShowS
  shows :: forall a. Show a => a -> ShowS
  showsPrec :: forall a. Show a => Int -> a -> ShowS
  significand :: forall a. RealFloat a => a -> a
  signum :: forall a. Num a => a -> a
  sin :: forall a. Floating a => a -> a
  sinh :: forall a. Floating a => a -> a
  snd :: forall a b. (a, b) -> b
  span :: forall a. (a -> Bool) -> [a] -> ([a], [a])
  splitAt :: forall a. Int -> [a] -> ([a], [a])
  sqrt :: forall a. Floating a => a -> a
  subtract :: forall a. Num a => a -> a -> a
  succ :: forall a. Enum a => a -> a
204
  sum :: forall (t :: * -> *) a. (P.Foldable t, Num a) => t a -> a
205 206 207 208 209 210 211 212
  tail :: forall a. [a] -> [a]
  take :: forall a. Int -> [a] -> [a]
  takeWhile :: forall a. (a -> Bool) -> [a] -> [a]
  tan :: forall a. Floating a => a -> a
  tanh :: forall a. Floating a => a -> a
  toEnum :: forall a. Enum a => Int -> a
  toInteger :: forall a. Integral a => a -> Integer
  toRational :: forall a. Real a => a -> Rational
213
  truncate :: forall a b. (RealFrac a, Integral b) => a -> b
214
  uncurry :: forall a b c. (a -> b -> c) -> (a, b) -> c
215 216 217 218
  undefined :: forall w. w
  unlines :: [String] -> String
  until :: forall a. (a -> Bool) -> (a -> a) -> a -> a
  unwords :: [String] -> String
219 220
  unzip :: forall a b. [(a, b)] -> ([a], [b])
  unzip3 :: forall a b c. [(a, b, c)] -> ([a], [b], [c])
221 222 223
  userError :: String -> IOError
  words :: String -> [String]
  writeFile :: FilePath -> String -> IO ()
224 225 226
  zip :: forall a b. [a] -> [b] -> [(a, b)]
  zip3 :: forall a b c. [a] -> [b] -> [c] -> [(a, b, c)]
  zipWith :: forall a b c. (a -> b -> c) -> [a] -> [b] -> [c]
227
  zipWith3 ::
228
    forall a b c d. (a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d]
229 230 231 232
  || :: Bool -> Bool -> Bool
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Ben Gamari's avatar
Ben Gamari committed
233
Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3,
234
                     integer-gmp-1.0.2.0]