RealWorld -package:massiv -is:package is:exact -package:primitive -package:pvar
base Control.Monad.ST Control.Monad.ST.Lazy Control.Monad.ST.Lazy.Safe Control.Monad.ST.Safe GHC.Base GHC.Exts,
vector Data.Vector.Generic.Mutable Data.Vector.Mutable Data.Vector.Primitive.Mutable Data.Vector.Storable.Mutable Data.Vector.Strict.Mutable Data.Vector.Unboxed.Mutable,
ghc-prim GHC.Prim,
foldl Control.Foldl,
proto-lens Data.ProtoLens.Encoding.Growing,
ihaskell IHaskellPrelude,
parameterized-utils Data.Parameterized.HashTable,
ghc-internal GHC.Internal.Base GHC.Internal.Control.Monad.ST GHC.Internal.Control.Monad.ST.Imp GHC.Internal.Control.Monad.ST.Lazy GHC.Internal.Control.Monad.ST.Lazy.Imp GHC.Internal.Exts,
what4 What4.Utils.MonadST,
rebase Rebase.Prelude,
massiv-test Test.Massiv.Utils 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#.
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.