Intro

Basic functions

const

flip

($)

($!)

(&)

fix

on

(.:)

until

asTypeOf

seq

Basic algebraic types

Void

data Void

Bool

data Bool

(&&)

(||)

bool

not

otherwise

Maybe

data Maybe a

catMaybes

fromMaybe

isJust

isNothing

listToMaybe

mapMaybe

maybe

maybeToList

List

class IsList l

break

drop

dropEnd

dropWhile

dropWhileEnd

filter

group

groupBy

groupOn

inits

intercalate

intersperse

isPrefixOf

isSuffixOf

iterate

lookup

nubOrd

nubOrdBy

nubOrdOn

permutations

repeat

replicate

reverse

scanl

scanr

sort

sortBy

sortOn

span

splitAt

subsequences

tails

take

takeEnd

takeWhile

transpose

unfoldr

unzip

unzip3

zip

zip3

zipWith

zipWith3

headDef

headMay

initDef

initMay

lastDef

lastMay

tailDef

tailMay

cycleMay

cycleDef

NonEmpty

data NonEmpty a

scanl1

scanr1

Tuple

fst

snd

curry

uncurry

swap

Either

data Either a b

either

fromLeft

fromRight

isLeft

isRight

lefts

rights

partitionEithers

eitherToMaybe

maybeToEither

Text types

Char and String

data Char

type String

Text

data Text

type LText

ByteString

data ByteString

type LByteString

Conversion

class IsString a

class ConvertibleStrings a b

Container types

Map and Set (Ordered)

data Map k a

type LMap

data Set a

data IntMap a

data IntSet

HashedMap and HashSet

data HashMap k v

type LHashMap

data HashSet a

class Hashable a

Seq

data Seq a

DList

data DList a

Numeric types

Integer types

data Integer

data Natural

data Int

data Int8

data Int16

data Int32

data Int64

data Word

data Word8

data Word16

data Word32

data Word64

Floating point

data Float

data Double

Rational

data Ratio a

type Rational

(%)

numerator

denominator

approxRational

Numeric type classes

Num

class Num a

(^)

Real

class Real a

realToFrac

Integral

class Integral a

fromIntegral

even

odd

Fractional

class Fractional a

(^^)

Floating

class Floating a

RealFrac

class RealFrac a

RealFloat

class RealFloat a

Bits

class Bits a

class FiniteBits b

Read and Show

Show

class Show a

class Show1 f

class Show2 f

show

showS

Read

class Read a

class Read1 f

class Read2 f

readMaybe

Equality and Ordering

Eq

class Eq a

class Eq1 f

class Eq2 f

Ord

class Ord a

class Ord1 f

class Ord2 f

data Ordering

data Down a

comparing

Enum

class Enum a

toEnumMay

toEnumDef

Bounded

class Bounded a

Algebraic type classes

Category

class Category k cat

(<<<)

(>>>)

Semigroup

class Semigroup a

data First a

data Last a

data Min a

data Max a

data Option a

Monoid

class Monoid a

data Dual a

data Endo a

data All

data Any

data Alt k f a

Functor

class Functor f

($>)

(<$>)

map

void

data Const k a b

data Identity a

Applicative

class Applicative f

data ZipList a

(<**>)

liftA2

liftA3

skip

(<>^)

Alternative

class Alternative f

optional

some1

Monad

class Monad m

class MonadFail m

(=<<)

(<=<)

(>=>)

class MonadPlus m

join

guard

when

unless

replicateM

replicateM_

(<$!>)

whenM

unlessM

ifM

allM

anyM

andM

orM

concatMapM

(&&^)

(||^)

Foldable

class Foldable t

null

length

foldrM

foldlM

traverse_

for_

asum

concatMap

all

any

or

and

find

notElem

sequenceA_

maximumByMay

maximumByDef

minimumByMay

minimumByDef

maximumMay

maximumDef

minimumMay

minimumDef

Traversable

class Traversable t

for

mapAccumL

mapAccumR

Bifunctor

class Bifunctor p

Bifoldable

class Bifoldable p

bitraverse_

bisequenceA_

bifor_

Bitraversable

class Bitraversable t

bifor

bisequenceA

Monad transformer

class MonadTrans t

MaybeT

data MaybeT m a

mapMaybeT

MonadError and ExceptT

class MonadError e m

type Except e

runExcept

mapExcept

withExcept

data ExceptT e m a

runExceptT

mapExceptT

withExceptT

MonadReader and ReaderT

class MonadReader r m

asks

type Reader r

runReader

mapReader

withReader

data ReaderT k r m a

mapReaderT

withReaderT

MonadWriter and WriterT

class MonadWriter w m

type Writer w

runWriter

execWriter

mapWriter

data WriterT w m a

runWriterT

execWriterT

mapWriterT

MonadState and StateT

class MonadState s m

type State s

gets

modify

modify'

runState

evalState

execState

mapState

withState

data StateT s m a

evalStateT

execStateT

mapStateT

withStateT

MonadRWS and RWST

class MonadRWS r w s m

type RWS r w s

runRWS

evalRWS

execRWS

mapRWS

data RWST r w s m a

runRWST

evalRWST

execRWST

mapRWST

Generic type classes

class Generic a

class Typeable k a

class NFData a

class Binary t

Type level

type Type

data Constraint

data Proxy k t

data Tagged k s b

unTagged

File and Console IO

type FilePath

data IO a

class MonadIO m

print

getContents

getLine

getChar

putChar

putStr

putStrLn

readFile

writeFile

appendFile

readFileUtf8

writeFileUtf8

appendFileUtf8

Error and Debugging

panic

undefined

trace

traceIO

traceM

traceShow

traceShowM

traceStack

traceStackM