Types

IO a -> (IOError -> IO a) -> IO a
catch

((a,b) -> c) -> a -> b -> c
curry

()
showsPrec p () = showString "()" readsPrec p = readParen False (\r -> [((),t) | ("(",s) <- lex r, (")",t) <- lex s ] )

(a -> [b]) -> [a] -> [b]
concatMap

(a -> a -> a) -> [a] -> [a]
scanl1, scanr1

(a -> a -> a) -> [a] -> a
foldl1, foldr1, maximumBy, minimumBy

(a -> a -> Bool) -> [a] -> [[a]]
groupBy

(a -> a -> Bool) -> [a] -> [a]
nubBy

(a -> a -> Bool) -> [a] -> [a] -> [a]
intersectBy, unionBy

(a -> a -> Bool) -> a -> [a] -> [a]
deleteBy

(a -> a -> Ordering) -> [a] -> [a]
sortBy

(a -> a -> Ordering) -> a -> [a] -> [a]
insertBy

(a -> a) -> a -> [a]
iterate

(a -> b -> (a,c)) -> a -> [b] -> (a,[c])
mapAccumL, mapAccumR

(a -> b -> a) -> a -> [b] -> [a]
scanl

(a -> b -> a) -> a -> [b] -> a
foldl

(a -> b -> b) -> b -> [a] -> [b]
scanr

(a -> b -> b) -> b -> [a] -> b
foldr

(a -> b -> c -> d -> e -> f -> g -> h) -> [a] -> [b] -> [c] -> [d] -> [e] -> [f] -> [g] -> [h]
zipWith7

(a -> b -> c -> d -> e -> f -> g) -> [a] -> [b] -> [c] -> [d] -> [e] -> [f] -> [g]
zipWith6

(a -> b -> c -> d -> e -> f) -> [a] -> [b] -> [c] -> [d] -> [e] -> [f]
zipWith5

(a -> b -> c -> d -> e) -> [a] -> [b] -> [c] -> [d] -> [e]
zipWith4

(a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d]
zipWith3

(a -> b -> c) -> (a,b) -> c
uncurry

(a -> b -> c) -> [a] -> [b] -> [c]
zipWith

(a -> b -> c) -> b -> a -> c
flip

(a -> b) -> (c -> a) -> c -> b
(.)

(a -> b) -> (c -> b) -> Either a c -> b
either

(a -> b) -> [a] -> [b]
map

(a -> b) -> a -> b
($), ($!)

(a -> Bool) -> (a -> a) -> a -> a
until

(a -> Bool) -> [a] -> ([a],[a])
break, partition

(a -> Bool) -> [a] -> [a]
dropWhile, filter, takeWhile

(a -> Bool) -> [a] -> [Int]
findIndices

(a -> Bool) -> [a] -> Bool
all, any

(a -> Bool) -> [a] -> Maybe a
find

(a -> Bool) -> [a] -> Maybe Int
findIndex

(a -> Maybe (b,a)) -> a -> [b]
unfoldr

(a -> Maybe b) -> [a] -> [b]
mapMaybe

(a -> ShowS) -> Int -> a -> ShowS
showSigned

(a,a) -> (a -> b) -> Array b c -> Array a c
ixmap

(a,a) -> [(a,b)] -> Array a b
array

(a,a) -> [a]
range

(a,a) -> [b] -> Array a b
listArray

(a,a) -> a -> Bool
inRange

(a,a) -> a -> Int
index

(a,a) -> b -> (a,b)
randomR

(a,a) -> b -> [a]
randomRs

(a,a) -> Int
rangeSize

(a,a) -> IO a
randomRIO

(a,b) -> a
fst

(a,b) -> b
snd

(b -> a (c,d)) -> [b] -> a ([c],[d])
mapAndUnzipM

(b -> a Bool) -> [b] -> a [b]
filterM

(b -> a c) -> [b] -> a ()
mapM_

(b -> a c) -> [b] -> a [c]
mapM

(b -> a c) -> a b -> a c
(=<<)

(b -> c -> a b) -> b -> [c] -> a b
foldM

(b -> c -> a d) -> [b] -> [c] -> a ()
zipWithM_

(b -> c -> a d) -> [b] -> [c] -> a [d]
zipWithM

(b -> c -> b) -> Array a b -> [(a,c)] -> Array a b
accum

(b -> c -> b) -> b -> (a,a) -> [(a,c)] -> Array a b
accumArray

(b -> c -> d -> e -> f -> g) -> a b -> a c -> a d -> a e -> a f -> a g
liftM5

(b -> c -> d -> e -> f) -> a b -> a c -> a d -> a e -> a f
liftM4

(b -> c -> d -> e) -> a b -> a c -> a d -> a e
liftM3

(b -> c -> d) -> a b -> a c -> a d
liftM2

(b -> c) -> a b -> a c
fmap, liftM

(StdGen -> (a, StdGen)) -> IO a
getStdRandom

(String -> String) -> IO ()
interact

[(a,b)] -> ([a],[b])
unzip

[(a,b,c)] -> ([a],[b],[c])
unzip3

[(a,b,c,d)] -> ([a],[b],[c],[d])
unzip4

[(a,b,c,d,e)] -> ([a],[b],[c],[d],[e])
unzip5

[(a,b,c,d,e,f)] -> ([a],[b],[c],[d],[e],[f])
unzip6

[(a,b,c,d,e,f,g)] -> ([a],[b],[c],[d],[e],[f],[g])
unzip7

[[a]] -> [[a]]
transpose

[[a]] -> [a]
concat

[]
fmap = map m >>= k = concat (map k m) return x = [x] fail s = []

[a b] -> a ()
sequence_

[a b] -> a [b]
sequence

[a b] -> a b
msum

[a]
showsPrec p = showList readsPrec p = readList

[a] -> [[a]]
group, inits, tails

[a] -> [a]
cycle, init, nub, reverse, sort, tail

[a] -> [a] -> [a]
(++), (\\), intersect, union

[a] -> [a] -> Bool
isPrefixOf, isSuffixOf

[a] -> [b] -> [(a,b)]
zip

[a] -> [b] -> [c] -> [(a,b,c)]
zip3

[a] -> [b] -> [c] -> [d] -> [(a,b,c,d)]
zip4

[a] -> [b] -> [c] -> [d] -> [e] -> [(a,b,c,d,e)]
zip5

[a] -> [b] -> [c] -> [d] -> [e] -> [f] -> [(a,b,c,d,e,f)]
zip6

[a] -> [b] -> [c] -> [d] -> [e] -> [f] -> [g] -> [(a,b,c,d,e,f,g)]
zip7

[a] -> a
head, last, maximum, minimum, product, sum

[a] -> Bool
null

[a] -> Int
length

[a] -> Int -> a
(!!)

[a] -> Maybe a
listToMaybe

[a] -> ShowS
showList

[b] -> a
genericLength

[b] -> a -> b
genericIndex

[Bool] -> Bool
and, or

[Maybe a] -> [a]
catMaybes

[String] -> String
unlines, unwords

a
maxBound, minBound, pi, undefined

a (a b) -> a b
join

a (b -> c) -> a b -> a c
ap

a -> (a,a)
split

a -> (b -> a) -> Maybe b -> a
maybe

a -> (b,a)
properFraction

a -> (Char -> Bool) -> (Char -> Int) -> ReadS a
readInt

a -> (Int,a)
next

a -> (Int,Int)
floatRange

a -> (Integer,Int)
decodeFloat

a -> [(a,b)] -> Maybe b
lookup

a -> [a]
enumFrom, repeat

a -> [a] -> [a]
(:), delete, insert, intersperse

a -> [a] -> [Int]
elemIndices

a -> [a] -> Bool
elem, notElem

a -> [a] -> Maybe Int
elemIndex

a -> [b] -> ([b],[b])
genericSplitAt

a -> [b] -> [b]
genericDrop, genericTake

a -> a
abs, acos, acosh, asin, asinh, atan, atanh, cos, cosh, exp, id, log, negate, pred, recip, significand, signum, sin, sinh, sqrt, succ, tan, tanh

a -> a -> (a,a)
divMod

a -> a -> [a]
enumFromThen, enumFromTo

a -> a -> a
(*), (**), (+), (-), (/), asTypeOf, atan2, div, gcd, lcm, logBase, max, min, mod, quot, rem, subtract

a -> a -> a -> [a]
enumFromThenTo

a -> a -> Bool
(/=), (<), (<=), (==), (>), (>=)

a -> a -> Complex a
(:+), mkPolar

a -> a -> Ordering
compare

a -> a -> Ratio a
(%)

a -> a -> Rational
approxRational

a -> b
ceiling, floor, fromIntegral, realToFrac, round, truncate

a -> b -> [b]
genericReplicate

a -> b -> a
(^), (^^), const

a -> b -> b
seq

a -> Bool
even, isDenormalized, isIEEE, isInfinite, isLatin1, isNaN, isNegativeZero, odd

a -> Complex a
cis

a -> Either a b

a -> Either b a

a -> Int
exponent, floatDigits, fromEnum

a -> Integer
floatRadix, toInteger

a -> IO ()
print

a -> Maybe a

a -> Maybe a -> a
fromMaybe

a -> Rational
quotRem, toRational

a -> ShowS
showFloat, showInt, shows

a -> String
show

a b -> (b -> a c) -> a c
(>>=)

a b -> a c -> a c
(>>)

Array a b -> (a,a)
bounds

Array a b -> [(a,b)]
assocs

Array a b -> [(a,b)] -> Array a b
(//)

Array a b -> [a]
indices

Array a b -> [b]
elems

Array a b -> a -> b
(!)

b -> (a,b)
random

b -> [a]
randoms

b -> a b
return

Bool
... otherwise,

Bool -> a ()
guard

Bool -> a () -> a ()
unless, when

Bool -> Bool
not

Bool -> Bool -> Bool
(&&), (||)

Bool -> ReadS a -> ReadS a
readParen

Bool -> ShowS -> ShowS
showParen

CalendarTime -> ClockTime
toClockTime

CalendarTime -> String
calendarTimeToString

Char
c == c' = fromEnum c == fromEnum c' c <= c' = fromEnum c <= fromEnum c' toEnum = primIntToChar fromEnum = primCharToInt enumFrom c = map toEnum [fromEnum c .. fromEnum (maxBound::Char)] enumFromThen c c' = map toEnum [fromEnum c, fromEnum c' .. fromEnum lastChar] where lastChar :: Char lastChar | c' < c = minBound | otherwise = maxBound minBound = '\0' maxBound = '\xffff' showsPrec p '\'' = showString "'\\''" showsPrec p c = showChar '\'' . showLitChar c . showChar '\'' showList cs = showChar '"' . showl cs where showl "" = showChar '"' showl ('"':cs) = showString "\\\"" . showl cs showl (c:cs) = showLitChar c . showl cs readsPrec p = readParen False (\r -> [(c,t) | ('\'':s,t)<- lex r, (c,"\'") <- readLitChar s]) readList = readParen False (\r -> [(l,t) | ('"':s, t) <- lex r, (l,_) <- readl s ]) where readl ('"':s) = [("",s)] readl ('\\':'&':s) = readl s readl s = [(c:cs,u) | (c ,t) <- readLitChar s, (cs,u) <- readl t ] ...

Char -> Bool
isAlpha, isAlphaNum, isAscii, isControl, isDigit, isHexDigit, isLower, isOctDigit, isPrint, isSpace, isUpper

Char -> Char
toLower, toUpper

Char -> Int
digitToInt, ord

Char -> IO ()
putChar

Char -> ShowS
showChar, showLitChar

ClockTime -> CalendarTime
toUTCTime

ClockTime -> IO CalendarTime
toCalendarTime

ClockTime -> ClockTime -> TimeDiff
diffClockTimes

Complex a -> (a,a)
polar

Complex a -> a
imagPart, magnitude, phase, realPart

Complex a -> Complex a
conjugate

Double
... ... ... ... ... ... ... ... succ x = x+1 pred x = x-1 toEnum = fromIntegral fromEnum = fromInteger . truncate -- may overflow enumFrom = numericEnumFrom enumFromThen = numericEnumFromThen enumFromTo = numericEnumFromTo enumFromThenTo = numericEnumFromThenTo showsPrec p = showFloat readsPrec p = readFloat ...

ExitCode -> IO a
exitWith

FilePath -> FilePath -> IO ()
renameDirectory, renameFile

FilePath -> IO ()
createDirectory, removeDirectory, removeFile, setCurrentDirectory

FilePath -> IO [FilePath]
getDirectoryContents

FilePath -> IO Bool
doesDirectoryExist, doesFileExist

FilePath -> IO ClockTime
getModificationTime

FilePath -> IO Permissions
getPermissions

FilePath -> IO String
readFile

FilePath -> IOMode -> IO Handle
openFile

FilePath -> Permissions -> IO ()
setPermissions

FilePath -> String -> IO ()
appendFile, writeFile

Float
... ... ... ... ... ... ... ... succ x = x+1 pred x = x-1 toEnum = fromIntegral fromEnum = fromInteger . truncate -- may overflow enumFrom = numericEnumFrom enumFromThen = numericEnumFromThen enumFromTo = numericEnumFromTo enumFromThenTo = numericEnumFromThenTo showsPrec p = showFloat readsPrec p = readFloat ...

Handle
stderr, stdin, stdout

Handle -> BufferMode -> IO ()
hSetBuffering

Handle -> IO BufferMode
hGetBuffering

Handle -> a -> IO ()
hPrint

Handle -> Char -> IO ()
hPutChar

Handle -> Int -> IO Bool
hWaitForInput

Handle -> IO ()
hClose, hFlush

Handle -> IO Bool
hIsClosed, hIsEOF, hIsOpen, hIsReadable, hIsSeekable, hIsWritable, hReady

Handle -> IO Char
hGetChar, hLookAhead

Handle -> IO HandlePosn
hGetPosn

Handle -> IO Integer
hFileSize

Handle -> IO String
hGetContents, hGetLine

Handle -> SeekMode -> Integer -> IO ()
hSeek

Handle -> String -> IO ()
hPutStr, hPutStrLn

HandlePosn -> IO ()
hSetPosn

Int
... ... ... ... ... ... ... showsPrec = showSigned showInt readsPrec p = readSigned readDec ...

Int -> [a] -> ([a],[a])
splitAt

Int -> [a] -> [a]
drop, take

Int -> a
toEnum

Int -> a -> [a]
replicate

Int -> a -> a
scaleFloat

Int -> a -> ShowS
showsPrec

Int -> Char
chr, intToDigit

Int -> ReadS a
readsPrec

Int -> StdGen
mkStdGen

Integer
... ... ... ... ... ... showsPrec = showSigned showInt readsPrec p = readSigned readDec ... cpuTimePrecision

Integer -> a
fromInteger

Integer -> a -> ([Int],Int)
floatToDigits

Integer -> Int -> a
encodeFloat

IO
fmap f x = x >>= (return . f) (>>=) = ... return = ... m >> k = m >>= \_ -> k fail s = error s

IO [String]
getArgs

IO a
exitFailure, randomIO, readLn

IO a -> (a -> IO b) -> (a -> IO c) -> IO c
bracket

IO a -> (a -> IO b) -> IO c -> IO c
bracket_

IO a -> IO (Either IOError a)
try

IO Bool
isEOF

IO Char
getChar

IO ClockTime
getClockTime

IO FilePath
getCurrentDirectory

IO Integer
getCPUTime

IO StdGen
getStdGen, newStdGen

IO String
getContents, getLine, getProgName

IOError -> Bool
isAlreadyExistsError, isAlreadyInUseError, isDoesNotExistError, isEOFError, isFullError, isIllegalOperation, isPermissionError, isUserError

IOError -> IO a
ioError

IOError -> Maybe FilePath
ioeGetFileName

IOError -> Maybe Handle
ioeGetHandle

IOError -> String
ioeGetErrorString

Maybe
fmap f Nothing = Nothing fmap f (Just x) = Just (f x) (Just x) >>= k = k x Nothing >>= k = Nothing return = Just fail s = Nothing

Maybe a

Maybe a -> [a]
maybeToList

Maybe a -> a
fromJust

Maybe a -> Bool
isJust, isNothing

Maybe Int -> a -> ShowS
showEFloat, showFFloat, showGFloat

Ordering

Permissions -> Bool
executable, readable, searchable, writable

Ratio a -> a
denominator, numerator

Rational -> a
fromRat, fromRational

ReadS [a]
readList

ReadS a
readDec, readFloat, readHex, readOct, reads

ReadS a -> ReadS a
readSigned

ReadS Char
readLitChar

ReadS String
lex, lexDigits, lexLitChar

StdGen
... ... ...

StdGen -> IO ()
setStdGen

String -> [String]
lines, words

String -> a
error, read

String -> a b
fail

String -> IO ()
putStr, putStrLn

String -> IO a
readIO

String -> IO ExitCode
system

String -> IO String
getEnv

String -> IOError
userError

String -> ShowS
showString

TimeDiff -> ClockTime -> ClockTime
addToClockTime

TimeLocale
defaultTimeLocale

TimeLocale -> String -> CalendarTime -> String
formatCalendarTime