RealWorld -package:massiv -is:package -package:prim-uniq -package:open-witness -package:rebase
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-test Test.Massiv.Utils,
mutable-containers Data.Mutable,
stateref Data.StateRef.Instances,
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 token used in the implementation of the IO monad as a state monad.
It does not pass any information at runtime. See also
runRW#.