category-extras-0.2: Various modules and constructs inspired by category theory.ContentsIndex
Search:
.>
.>>
:>
=>>
Adjunction
anaCofree
apo
Bifunctor
bimap
branchF
cataFree
chrono
codyna
Cofree
1 (Type/Class)
2 (Data Constructor)
cofreeToList
CoKleisli
1 (Type/Class)
2 (Data Constructor)
Comonad
Comp
cons
1 (Function)
2 (Function)
3 (Function)
ConsPair
Const
1 (Type/Class)
2 (Data Constructor)
Context
1 (Type/Class)
2 (Data Constructor)
counit
deComp
distribCofree
distribFree
drop
duplicate
dyna
elemAt
1 (Function)
2 (Function)
experiment
extend
extract
fibs
Fix
Fixpoint
fold
foldWith
Free
funcTrans
futu
get
g_apo
g_chrono
g_codyna
g_dyna
g_futu
g_histo
head
1 (Function)
2 (Function)
headCofree
histo
In
inF
inFree
lComp
left
leftAdjunct
liftCtx
liftW
local
mapStreamSt
mapW
mkStream
mkTree
modify
Nat
Nil
O
outF
Pair
para
parallelW
rComp
refold
refoldWith
right
rightAdjunct
root
rotateL
rotateR
Seq
sequenceW
showTree
showTree'
showTreeWide
showWide
Stream
surreals
tail
1 (Function)
2 (Function)
tailCofree
toList
1 (Function)
2 (Function)
toSeq
toStream
transFunc
Tree
Trifunctor
trimap
unCofree
unCoKleisli
unConst
unfold
unfoldW
unfoldWith
Unit
1 (Type/Class)
2 (Data Constructor)
unit
zygo