| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Podenv.Application
Description
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