Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module contains the capability logic. The goal is to convert an Application into a Context
This module performs read-only IO
Documentation
preparePure :: Mode -> AppEnv -> Application -> Name -> IO Context Source #
CapInfo describes a capability and how it modify the runtime context