RealWorld -package:midi -is:package -package:prim-uniq -package:mutable-containers -package:vector
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#.
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,
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
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#.