Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Control.SessionTypes.Codensity
Description
This module defines a new type for constructing more efficient STTerm
programs.
Documentation
We define an indexed codensity monad that allows us to reduce quadratic complexity from repeated use of (>>=) in a session typed program to linear complexity.