Portability | portable |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
The trace comonad transformer (aka the cowriter or exponential comonad transformer).
Portability | portable |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
The trace comonad transformer (aka the cowriter or exponential comonad transformer).