category-extras-0.53.5: Various modules and constructs inspired by category theory
Source code
Contents
Index
Control.Monad.Codensity
Portability
non-portable (rank-2 polymorphism)
Stability
experimental
Maintainer
Edward Kmett <ekmett@gmail.com>
Description
Documentation
data
Codensity
m a
Source
Instances
MonadReader
r m =>
MonadReader
r (
Codensity
m)
MonadState
s m =>
MonadState
s (
Codensity
m)
MonadFree
f m =>
MonadFree
f (
Codensity
m)
RunMonadFree
f m =>
RunMonadFree
f (
Codensity
m)
Monad
(
Codensity
f)
Functor
(
Codensity
k)
MonadIO
m =>
MonadIO
(
Codensity
m)
Pointed
(
Codensity
f)
liftCodensity
::
Monad
m => m
:~>
Codensity
m
Source
lowerCodensity
::
Monad
m =>
Codensity
m
:~>
m
Source
codensityToRan
::
Codensity
m
:~>
Ran
m m
Source
ranToCodensity
::
Ran
m m
:~>
Codensity
m
Source
toCodensity
::
Functor
s => (
forall
a. s (k a) -> k a) -> s
:~>
Codensity
k
Source
fromCodensity
:: (s
:~>
Codensity
k) -> s (k a) -> k a
Source
codensityToAdjunction
::
Adjunction
f g =>
Codensity
g a -> g (f a)
Source
adjunctionToCodensity
::
Adjunction
f g => g (f a) ->
Codensity
g a
Source
improveFree
::
Functor
f => (
forall
m.
MonadFree
f m => m a) ->
Free
f a
Source
Produced by
Haddock
version 2.4.2