monad-ran-0.0.9: Fast implementations of monads and monad transformers using right Kan extensionsContentsIndex
Search:
apRanCodensity
bindRanCodensity
Codensity
1 (Type/Class)
2 (Data Constructor)
codensityRan
G
getCodensity
getRan
getYoneda
H
inRan
liftRan
liftRanCodensity
liftRanT
liftRanWorld
lowerCodensity
lowerCodensityApp
lowerCodensityPointed
lowerRan
lowerRanCodensity
lowerRanWorld
lowerYoneda
outRan
point
Pointed
Ran
1 (Type/Class)
2 (Data Constructor)
ranCodensity
RanIso
RanTrans
RApplicative
returnRanCodensity
RMonad
Yoneda
1 (Type/Class)
2 (Data Constructor)