TypeCompose-0.3: Type composition classes & instancesContentsIndex
Search:
$*
&&&%
***#
***%
--->
:$
:*:
:->:
:.
::*::
:<->:
App
1 (Type/Class)
2 (Data Constructor)
apPair
arPair
arrFun
Arrw
1 (Type/Class)
2 (Data Constructor)
Bi
biApp
bicomap
biConst
biCxMonoid
biEndo
biFlip
biFrom
biFun
biId
Bijection
bimap
Binop
biO
biProd
biTo
coconvO
cofmap
cofmapCF
cofmapFC
cofst
Cofunctor
Colambda
convFun
convO
convProd
Copair
copair
cores
cosnd
CxMonoid
1 (Type/Class)
2 (Data Constructor)
firstFun
Flip
1 (Type/Class)
2 (Data Constructor)
fmapCC
fmapFF
fres
fsrc
FunA
1 (Type/Class)
2 (Data Constructor)
FunAble
Id
1 (Type/Class)
2 (Data Constructor)
idb
inApp
inApp2
inArrw
inArrw2
inArrw3
inBi
inConst
inConst2
inConst3
inEndo
inFlip
inFlip2
inFlip3
inFunA
inFunA2
inId
inO
inO2
inO3
inProd
inProd2
inProd3
inProdd
inProdd2
inverse
Lambda
lambda
LambdaTy
mappend_f
mempty_f
modifyRef
MonoidDict
Monoid_f
newRef
O
1 (Type/Class)
2 (Data Constructor)
OI
OO
1 (Type/Class)
2 (Data Constructor)
Pair
pair
PairTy
Partial
PartialX
pfst
ppPair
Prod
Prodd
psnd
pUnArg
pUnElt
pUnRes
pUnSrc
pval
readRef
RefMonad
secondFun
Title
title
Title_f
title_f
ToOI
toOI
unApp
unArrw
unCxMonoid
unFlip
unFunA
unId
Unlambda
unlambda
unO
unOO
Unop
Unpair
unpair
UnpairTy
unProd
unProdd
valp
writeRef