RealWorld
RealWorld is deeply magical. It is
primitive, but it is
not
unlifted (hence
ptrArg). We never manipulate
values of type
RealWorld; it's only used in the type system, to
parameterise
State#.
vector Data.Vector.Generic.Mutable Data.Vector.Mutable Data.Vector.Primitive.Mutable Data.Vector.Storable.Mutable Data.Vector.Unboxed.Mutable,
primitive Control.Monad.Primitive,
foldl Control.Foldl,
base-prelude BasePrelude,
proto-lens Data.ProtoLens.Encoding.Growing,
massiv Data.Massiv.Array.Mutable,
rebase Rebase.Prelude,
massiv-test Test.Massiv.Utils,
mutable-containers Data.Mutable,
stateref Data.StateRef.Instances,
prim-uniq Data.Unique.Prim Data.Unique.Tag,
declarative Numeric.MCMC,
pvar Data.Primitive.PVar,
termonad Termonad.Prelude RealWorld is deeply magical. It is primitive, but it
is not unlifted (hence ptrArg). We never manipulate
values of type RealWorld; it's only used in the type system,
to parameterise State#.
The
s type for running
OW in
IO.
The token used in the implementation of the IO monad as a state monad.
It does not pass any information at runtime. See also
runRW#.
Not on Stackage, so not searched.
The Real World Haskell Book
Not on Stackage, so not searched.
Primitives for manipulating the state of the universe