FP.Core

data P a

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

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 ToString a

class Peano a

piter

piterOn

class Additive a

class Subtractive a

class Multiplicative a

class Divisible a

class TruncateDivisible a

class Integral a

class Fractional a

negate

inverse

data POrdering

class PartialOrder a

(⋚)

(⋈)

(⊒)

(⊐)

fromOrdering

discreteOrder

findMax

findMaxFrom

poiter

poiterHistory

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 Monoid a

iterAppend

concat

class Bot a

class Join a

class Top a

class Meet a

class Neg a

class Difference a

class JoinLattice a

class MeetLattice a

class Lattice a

class NegLattice a

joins

meets

collect

collectN

collectHistory

diffs

collectDiffs

class Commute t u

class Unit t

class Functor t

mapOn

(^@)

(^$)

(^.)

(.^)

(^.:)

(^..:)

(^^.)

class FunctorM t

mapOnM

sequence

(^*@)

(^*$)

(^*.)

class Applicative t

pure

(<$>)

apair

class Product t

class Bind m

class Monad m

fail

return

kleisli

(>>)

extend

void

(*@)

(*$)

(*.)

mjoin

mmap

mpair

mapply

when

traverse

traverseOn

exec

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 MonadIO m

class MonadQ m

class MonadBot m

class MonadTop m

class MonadAppend m

class MonadPlus m

guard

maybeZero

mconcat

mlist

msum

mset

many

oneOrMore

twoOrMore

oneOrMoreList

data MaybeT m a

class MonadMaybe m

obsMaybe

effMaybe

abort

mtry

(<|>)

data ErrorT e m a

class MonadError e m

obsError

effError

sumError

throw

catch

data ReaderT r m a

class MonadReader r m

runReaderT

obsReader

effReader

ask

local

localSet

askL

localL

localSetL

data WriterT o m a

class MonadWriter o m

obsWriter

effWriter

tell

hijack

data StateT s m a

class MonadState s m

obsState

effState

get

put

modify

modifyM

getL

putL

modifyL

modifyLM

next

nextL

bumpL

data RWST r o s m a

class MonadRWS r o s m

data ContT r m a

class MonadCont r m

obsCont

effCont

callCC

withC

reset

modifyC

data OpaqueContT k r m a

class MonadOpaqueCont k r m

obsOpaqueCont

effOpaqueCont

opaqueWithC

opaqueCallCC

class Container e t

elem

class Indexed k v t

index

(#!)

lookup

class Iterable a t

foldlOn

foldlFrom

foldrOn

foldrFrom

iterOn

iterFrom

isElem

elemAtN

toList

toSet

toMap

toMapJoin

class Buildable a t

build

single

filter

reverse

uniques

replicate

fromList

fromSet

fromMap

applyTo

(.:)

(..:)

(...:)

(....:)

rotateR

rotateL

mirror

on

composition

data Endo a

runEndo

data KleisliEndo m a

runKleisliEndo

ifThenElse

fif

cond

type String

type Chars

fromChars

fromString

toChars

error

show

read

data Cursor a b

data Lens a b

lens

isoLens

update

updateM

access

(~:)

set

(=:)

(|:)

data Prism a b

prism

isoPrism

unsafe_coerce

is

alter

(~^)

pset

(=^)

data (t :.: u) a

onComposeIso

swap

fstL

sndL

mapFst

mapSnd

data a :+: b

sumElim

inlL

inrL

mapInl

mapInr

mapSum

maybeElim

nothingL

justL

maybeElimOn

maybeNot

nilL

consL

singleL

length

mapHead

mapTail

head

tail

zip

unzip

firstN

intersperse

pluck

transpose

bigProduct

data Set a

setPrimElim

setPrimElimOn

setPrimElim2

setPrimElim2'

toPrimSet

learnSet

empty

isEmpty

insert

union

intersection

remove

setDiff

setMap

setMapOn

maybeSet

setTranspose

setBigProduct

data Map k v

type Old v

type New v

mapPrimElim

mapPrimElimOn

mapPrimElim2

mapPrimElim2'

toPrimMap

learnMap

mapEmpty

mapIsEmpty

mapKeys

mapInsert

mapSingleton

mapInsertWith

mapRemove

mapUnionWith

mapIntersectionWith

mapModify

onlyKeys

mapFilter

mapNoBot

data ListSet a

listSetTranspose

print

failIO

data Stamped a f

data Fix f

data StampedFix a f

stripStampedFix

data Annotated ann a

data ListSetWithTop a

listSetWithTopElim

listSetWithTopTranspose

data SetWithTop a

setWithTopElim

setFromListWithTop

listFromSetWithTop

data ConstructiveClassical a

conClaPartition

conClaBigProduct

data SumOfProd a

sumOfProdMap

sumOfProdConcretize