aboutsummaryrefslogtreecommitdiff
path: root/montis/src/Montis/Core/Monad.hs
diff options
context:
space:
mode:
authorJosh Rahm <joshuarahm@gmail.com>2026-01-14 00:09:26 -0700
committerJosh Rahm <joshuarahm@gmail.com>2026-01-14 00:11:37 -0700
commitf216280bc0fdc4a6f00187dba1d1ddc22b54097d (patch)
tree64637e9df49011b3ec81738b4347ab7a97e88980 /montis/src/Montis/Core/Monad.hs
parentcc6302ee2073d1ea40608abb77ca6019feca4a2a (diff)
downloadmontis-main.tar.gz
montis-main.tar.bz2
montis-main.zip
[reog] rename soul -> world.HEADmain
It makes a bit more sense.
Diffstat (limited to 'montis/src/Montis/Core/Monad.hs')
-rw-r--r--montis/src/Montis/Core/Monad.hs6
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