|
Control.Monad.Primitive | Portability | non-portable | Maintainer | Roman Leshchinskiy <rl@cse.unsw.edu.au> |
|
|
|
Description |
Primitive state-transformer monads
|
|
Synopsis |
|
|
|
Documentation |
|
|
Class of primitive state-transformer monads
| | Associated Types | | | Methods | | Execute a primitive operation
| | | Expose the internal structure of the monad
|
| | Instances | |
|
|
|
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#.
| Instances | |
|
|
|
Execute a primitive operation with no result
|
|
|
Convert a PrimMonad to another monad with the same state token.
|
|
|
Convert a PrimMonad with a RealWorld state token to IO
|
|
|
Convert a PrimMonad to ST
|
|
|
Convert a PrimMonad to another monad with a possibly different state
token. This operation is highly unsafe!
|
|
|
Convert any PrimMonad to IO. This operation is highly unsafe!
|
|
|
Convert any PrimMonad to ST with an arbitrary state token. This
operations is highly unsafe!
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.6.1 |