FP.Core

data W c

with

class Universal a

class (c1 ::*:: c2) a

class (t ::.:: u) a

class c1 ::=>:: c2

class Functorial c t

class Bifunctorial c t

bifunctorialP

class ToInteger a

class FromInteger a

class ToInt a

class FromInt a

class ToRational a

class FromRational a

class ToDouble a

class FromDouble a

class ToChars a

class FromChars a

fromString

class ToString t

class FromString t

class Commute t u

class Peano a

niter

niterOn

class Additive a

class Subtractive a

class Multiplicative a

class Divisible a

class TruncateDivisible a

negate

inverse

class Integral a

class Floating a

class Category t

type m ~> n

type t ~~> u

class Morphism a b

class Morphism2 m n

class Morphism3 t u

class Isomorphism a b

isoto

isofrom

class Isomorphism2 t u

isoto2

isofrom2

onIso2

class Isomorphism3 v w

isoto3

isofrom3

class HasLens a b

viewP

data POrdering

fromOrdering

class PartialOrder a

(<=>)

(<~>)

(>~)

(>.)

class PartialOrderF t

discreteOrder

poiter

class Monoid a

iterateAppend

class JoinLattice a

collect

collectN

class MeetLattice a

class Lattice a

class Unit t

class Functor t

(^@)

(^$)

(^.)

(.^)

(^.:)

(^..:)

(^^.)

mapOn

class FunctorM t

(^*@)

(^*$)

(^*.)

mapOnM

sequence

class Product t

class Applicative t

(<$>)

class Bind m

class Monad m

fail

return

kleisli

(>>)

extend

void

(*@)

(*$)

(*.)

mmap

mpair

mapply

mjoin

when

class Unit2 t

class Join2 t

class Functor2 t

class IsoFunctor2 t

class FunctorUnit2 t

class FunctorJoin2 t

class FunctorFunctor2 t

class FunctorIsoFunctor2 t

class MonadUnit2 t

class MonadJoin2 t

class MonadFunctor2 t

class MonadIsoFunctor2 t

class MonadZero m

guard

liftMaybeZero

class MonadConcat m

class MonadPlus m

oneOrMore

twoOrMore

oneOrMoreList

many

data MaybeT m a

class MonadMaybeI m

class MonadMaybeE m

class MonadMaybe m

maybeEM

lookMaybe

abort

(<|>)

data ErrorT e m a

class MonadErrorE e m

class MonadErrorI e m

class MonadError e m

liftSum

throw

catch

catchP

data ReaderT r m a

runReaderT

class MonadReaderI r m

class MonadReaderE r m

class MonadReader r m

ask

askP

askL

local

localP

localSet

localL

localSetL

data WriterT o m a

class MonadWriterI o m

class MonadWriterE o m

class MonadWriter o m

tell

tellP

hijack

data StateT s m a

class MonadStateI s m

class MonadStateE s m

class MonadState s m

get

getP

getL

put

putP

putL

modifyM

modify

modifyP

modifyL

modifyLM

localStateSet

next

nextL

bumpL

data RWST r o s m a

class MonadRWSI r o s m

class MonadRWSE r o s m

class MonadRWS r o s m

data ListT m a

class MonadListI m

class MonadListE m

class MonadList m

liftList

listAbort

data ListSetT m a

class MonadListSetI m

class MonadListSetE m

class MonadListSet m

class MonadIO m

class MonadQ m

data SetT m a

mapSetT

class MonadSetI m

class MonadSetE m

data KonT r m a

class MonadKonI r m

class MonadKonE r m

class MonadKon r m

callCC

withC

reset

modifyC

data KFun r m a

data OpaqueKonT k r m a

class MonadOpaqueKonI k r m

class MonadOpaqueKonE k r m

class MonadOpaqueKon k r m

class Iterable a t

concat

mconcat

mlist

mtry

joins

msum

mset

iterOn

iterFrom

foldlOn

foldlFrom

foldrOn

foldrFrom

findMax

findMaxFrom

isElem

elemAtN

traverse

traverseOn

exec

toList

class Buildable a t

fromList

class Container e t

elem

class Indexed k v t

index

(#!)

lookup

class ListLike a t

toListLike

fromListLike

single

filter

reverse

uniques

zip

unzip

replicate

firstN

intersperse

mapHead

mapTail

head

tail

length

class SetLike e t

singleton

setMap

liftMaybeSet

toSet

fromSet

class MapLike k v t

mapInsert

onlyKeys

toMap

fromMap

data P a

data Cursor a b

data Lens a b

lens

isoLens

access

update

(~:)

updateM

set

(=:)

(|:)

data Prism a b

unsafe_coerce

prism

isoPrism

isL

alter

pset

(~^)

applyTo

(.:)

(..:)

(...:)

(....:)

rotateR

rotateL

mirror

on

composition

data Endo a

runEndo

data KleisliEndo m a

runKleisliEndo

fif

cond

ifThenElse

type String

type Chars

error

show

swap

fstL

sndL

mapFst

mapSnd

data a :+: b

sumElim

inlL

inrL

mapInl

mapInr

data (t :.: u) a

onComposeIso

data (t :..: u) m a

nothingL

justL

maybeElim

maybeElimOn

whenNothing

nilL

consL

singleL

pluck

transpose

data Set a

setTranspose

data ListSet a

data Map k v

data Annotated ann a

data Stamped a f

data Fix f

data StampedFix a f

stripStampedFix

print