diff options
Diffstat (limited to 'montis/src/Montis/Core/Monad.hs')
| -rw-r--r-- | montis/src/Montis/Core/Monad.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/montis/src/Montis/Core/Monad.hs b/montis/src/Montis/Core/Monad.hs index 0eee819..72b2321 100644 --- a/montis/src/Montis/Core/Monad.hs +++ b/montis/src/Montis/Core/Monad.hs @@ -23,7 +23,7 @@ type MontisContext = Context Montis -- | A State type for the Montis monad. type MontisState = State Montis --- | The Opaque State Type passed between the soul and the runtime. The +-- | The Opaque State Type passed between the world and the runtime. The -- OpqStT *is* the opq_st_t from the runtime code. type OpqStT = StablePtr (MontisContext, MontisState) @@ -34,7 +34,7 @@ newtype Montis a where deriving (Functor, Applicative, Monad, MonadState MontisState, MonadIO) -- | Reader access is scoped to the config portion of the full context; this --- keeps soul code from mutating the context while still allowing read-only +-- keeps world code from mutating the context while still allowing read-only -- access to configuration. instance MonadReader MontisConfig Montis where ask :: Montis MontisConfig @@ -47,7 +47,7 @@ instance MonadReader MontisConfig Montis where local cfn (Montis fn) = Montis $ local (\ctx -> ctx {ctxConfig = cfn (ctxConfig ctx)}) fn --- | Access the soul self pointer stored in the context. +-- | Access the world self pointer stored in the context. getSelfPtr :: Montis SelfPtr getSelfPtr = Montis $ asks ctxSelfPtr |