RealWorld -package:rebase is:exact -package:vector -package:prim-uniq
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,
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
s type for running
OW in
IO.