category-extras-0.50.3: Various modules and constructs inspired by category theoryContentsIndex
Search:
&&&
.>>
:*
:**:
:*:
:+
:++:
:+:
:.:
:~>
:~~>
=**<<
=*<<
=<<<
=>>
>$<
>>$<<
>>*
>>**=
>>*=
>>>=
abs
ACompF
1 (Type/Class)
2 (Data Constructor)
Adjunction
Algebra
ana
anaCofree
Ap
Apo
apo
ApoT
apply
array
askC
associate
associateComposition
associatePreCartesian
associatePreCoCartesian
Associative
Bialgebra
biana
bicata
Biff
1 (Type/Class)
2 (Data Constructor)
Bifunctor
bihylo
BiKleisli
1 (Type/Class)
2 (Data Constructor)
bimap
bimapPreCartesian
bimapPreCoCartesian
Bizap
bizap
bizapWith
Bizip
bizip
bizipWith
braid
Braided
braidPreCartesian
braidPreCoCartesian
Cartesian
cata
cataFree
CCC
CFunctor
chrono
cmap
coabs
Coalgebra
coapply
coassociate
coassociateComposition
coassociatePreCartesian
coassociatePreCoCartesian
Coassociative
CoCartesian
CoCCC
cocurry
codiag
coelgot
cofix
Cofree
cofree
CofreeLike
Coideal
coideal
coidealize
coidl
coidr
coimprove
CoKleisli
1 (Type/Class)
2 (Data Constructor)
Colim
Comonad
ComonadCoideal
ComonadContext
ComonadFix
ComonadReader
Comonoidal
Comp
CompF
1 (Type/Class)
2 (Data Constructor)
CompH
1 (Type/Class)
2 (Data Constructor)
compose
Composition
Const
Const2
1 (Type/Class)
2 (Data Constructor)
Context
1 (Data Constructor)
2 (Type/Class)
ContextT
1 (Type/Class)
2 (Data Constructor)
ContraF
1 (Type/Class)
2 (Data Constructor)
ContraFunctor
contramap
Copointed
Coreader
1 (Data Constructor)
2 (Type/Class)
CoreaderT
1 (Type/Class)
2 (Data Constructor)
corep
costrength
counbizip
counit
counitCCC
counitCoCCC
counzip
Cozip
cozip
curry
decompose
diag
Dialgebra
Dist
dist
distAna
distApoT
distCata
DistCompF
1 (Type/Class)
2 (Data Constructor)
distFutu
distGApo
distGApoT
distHisto
distParaT
distPointer
distribute
Distributes
Distributive
distZygo
distZygoT
Dual
1 (Data Constructor)
2 (Type/Class)
duplicate
dyna
Either
EitherF
1 (Data Constructor)
2 (Type/Class)
EitherT
1 (Type/Class)
2 (Data Constructor)
elgot
Expensive
1 (Type/Class)
2 (Data Constructor)
experiment
ExpFunctor
extend
extract
factor
Faithful
ffmap
first
first'
Fix
FixF
FixH
Flip
1 (Type/Class)
2 (Data Constructor)
fplus
Free
free
FreeLike
fromAlgebra
fromBialgebra
fromCoalgebra
fromLan
fromRan
fsplit
fst
Full
FunctorPlus
FunctorSplit
FunctorZero
futu
fzero
fzip
fzipWith
GAlgebra
GApo
GApoT
GBialgebra
GCoalgebra
GDialgebra
getC
g_ana
g_apo
g_biana
g_bicata
g_bihylo
g_cata
g_chrono
g_futu
g_histo
g_hylo
g_meta
g_para
g_zygo
HAdjunction
HAlgebra
hana
HasIdentity
HasInitialObject
Hask
hassociateComposition
HasTerminalObject
hbind
hcata
HCoalgebra
hcoassociateComposition
HComonad
hcompose
HComposition
HCopointed
hcounit
hdecompose
hduplicate
hextend
hextract
hfmap
HFunctor
hhylo
histo
hjoin
hleftAdjunct
HMonad
HPointed
hreturn
hrightAdjunct
hunit
hylo
Hyp
Hyper
iap
iapIxMonad
ibind
Ideal
ideal
idealize
idl
idr
iduplicate
iextend
iextract
iget
igets
ijoin
ilift
imap
imfix
imodify
implus
improve
imzero
InB
index
InF
inFree
InH
initiate
inl
inr
inW
iput
ireturn
IxApplicative
IxComonad
IxCont
1 (Type/Class)
2 (Data Constructor)
IxContT
1 (Type/Class)
2 (Data Constructor)
IxCopointed
IxFunctor
IxMonad
IxMonadCont
IxMonadFix
IxMonadPlus
IxMonadState
IxMonadTrans
IxMonadZero
IxPointed
IxState
1 (Type/Class)
2 (Data Constructor)
IxStateT
1 (Type/Class)
2 (Data Constructor)
Join
1 (Type/Class)
2 (Data Constructor)
Lan
1 (Data Constructor)
2 (Type/Class)
Left
leftAdjunct
Lift
1 (Type/Class)
2 (Data Constructor)
liftAlgebra
liftCoalgebra
liftComp
liftCtx
liftDialgebra
liftFlip
liftH
liftOf
liftW
Lim
LowerH
1 (Type/Class)
2 (Data Constructor)
mapW
meta
mkAp
mkOn
mkPAp
modifyC
modifySupply
MonadIdeal
Monoidal
Mutual
1 (Type/Class)
2 (Data Constructor)
newEnumSupply
newNumSupply
newSupply
Of
1 (Type/Class)
2 (Data Constructor)
On
outB
outCofree
outF
outH
outM
PAp
pap
PApplicative
papPMonad
Para
para
parallelW
ParaT
paugment
pbind
pcoaugment
PCofree
pcofree
PComonad
PCopointed
pextend
pextract
PFree
pfree
PFunctor
PHyper
1 (Type/Class)
2 (Data Constructor)
pjoin
PMonad
point
Pointed
PointedCompF
1 (Type/Class)
2 (Data Constructor)
Pointer
1 (Data Constructor)
2 (Type/Class)
PostCompF
1 (Type/Class)
2 (Data Constructor)
PostFold
postFold
PostUnfold
postUnfold
PPointed
PreCartesian
PreCoCartesian
PreCompF
1 (Type/Class)
2 (Data Constructor)
PreFold
preFold
premap
preturn
PreUnfold
preUnfold
putC
QFunctor
Ran
1 (Type/Class)
2 (Data Constructor)
rep
1 (Function)
2 (Function)
Representable
reset
Right
rightAdjunct
runAp
runBiff
runBiKleisli
runCofree
runCoKleisli
runCompF
runCompH
runConst2
runContext
runContextT
runContraF
runCoproductF
runCoreader
runCoreaderT
runDual
runEitherT
runExpensive
runFlip
runFree
runIxCont
runIxContT
runIxContT_
runIxCont_
runIxState
runIxStateT
runJoin
runLift
runMutual
runOf
runOn
runPAp
runPCofree
runPFree
runPHyper
runProductF
runRan
second
second'
sequenceW
shift
snd
split
split2
split3
split4
strength
Supply
supplyLeft
supplyRight
supplyValue
swap
Symmetric
terminate
toLan
toRan
unbizip
uncocurry
uncurry
unfoldW
unfzip
unit
unitCCC
unitCoCCC
unmap
unrep
unwrap
Void
void
worsen
wrap
xmap
Zap
zap
zapWith
Zip
Zygo
zygo
ZygoT
|||