Copyright	(c) Roman Leshchinskiy 2009
License	BSD-style
Maintainer	Roman Leshchinskiy <rl@cse.unsw.edu.au>
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Control.Monad.Primitive

Description

Primitive state-transformer monads

Synopsis

class Monad m => PrimMonad m where
- type PrimState m
- primitive :: (State# (PrimState m) -> (# State# (PrimState m), a #)) -> m a
data RealWorld
primitive_ :: PrimMonad m => (State# (PrimState m) -> State# (PrimState m)) -> m ()
class PrimMonad m => PrimBase m where
- internal :: m a -> State# (PrimState m) -> (# State# (PrimState m), a #)
liftPrim :: (PrimBase m1, PrimMonad m2, PrimState m1 ~ PrimState m2) => m1 a -> m2 a
primToPrim :: (PrimBase m1, PrimMonad m2, PrimState m1 ~ PrimState m2) => m1 a -> m2 a
primToIO :: (PrimBase m, PrimState m ~ RealWorld) => m a -> IO a
primToST :: PrimBase m => m a -> ST (PrimState m) a
ioToPrim :: (PrimMonad m, PrimState m ~ RealWorld) => IO a -> m a
stToPrim :: PrimMonad m => ST (PrimState m) a -> m a
unsafePrimToPrim :: (PrimBase m1, PrimMonad m2) => m1 a -> m2 a
unsafePrimToIO :: PrimBase m => m a -> IO a
unsafePrimToST :: PrimBase m => m a -> ST s a
unsafeIOToPrim :: PrimMonad m => IO a -> m a
unsafeSTToPrim :: PrimMonad m => ST s a -> m a
unsafeInlinePrim :: PrimBase m => m a -> a
unsafeInlineIO :: IO a -> a
unsafeInlineST :: ST s a -> a
touch :: PrimMonad m => a -> m ()
evalPrim :: forall a m. PrimMonad m => a -> m a
unsafeInterleave :: PrimBase m => m a -> m a
unsafeDupableInterleave :: PrimBase m => m a -> m a
noDuplicate :: PrimMonad m => m ()

Documentation

class Monad m => PrimMonad m where Source #

Class of monads which can perform primitive state-transformer actions

Associated Types

type PrimState m Source #

State token type

Methods

primitive :: (State# (PrimState m) -> (# State# (PrimState m), a #)) -> m a Source #

Execute a primitive operation

Instances

Instances details

PrimMonad IO Source #
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState IO Source # Methods primitive :: (State# (PrimState IO) -> (# State# (PrimState IO), a #)) -> IO a Source #
PrimMonad (ST s) Source #
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (ST s) Source # Methods primitive :: (State# (PrimState (ST s)) -> (# State# (PrimState (ST s)), a #)) -> ST s a Source #
PrimMonad m => PrimMonad (ListT m) Source #
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (ListT m) Source # Methods primitive :: (State# (PrimState (ListT m)) -> (# State# (PrimState (ListT m)), a #)) -> ListT m a Source #
PrimMonad m => PrimMonad (MaybeT m) Source #
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (MaybeT m) Source # Methods primitive :: (State# (PrimState (MaybeT m)) -> (# State# (PrimState (MaybeT m)), a #)) -> MaybeT m a Source #
PrimMonad m => PrimMonad (IdentityT m) Source #
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (IdentityT m) Source # Methods primitive :: (State# (PrimState (IdentityT m)) -> (# State# (PrimState (IdentityT m)), a #)) -> IdentityT m a Source #
PrimMonad m => PrimMonad (ExceptT e m) Source #
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (ExceptT e m) Source # Methods primitive :: (State# (PrimState (ExceptT e m)) -> (# State# (PrimState (ExceptT e m)), a #)) -> ExceptT e m a Source #
(Error e, PrimMonad m) => PrimMonad (ErrorT e m) Source #
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (ErrorT e m) Source # Methods primitive :: (State# (PrimState (ErrorT e m)) -> (# State# (PrimState (ErrorT e m)), a #)) -> ErrorT e m a Source #
PrimMonad m => PrimMonad (ReaderT r m) Source #
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (ReaderT r m) Source # Methods primitive :: (State# (PrimState (ReaderT r m)) -> (# State# (PrimState (ReaderT r m)), a #)) -> ReaderT r m a Source #
PrimMonad m => PrimMonad (StateT s m) Source #
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (StateT s m) Source # Methods primitive :: (State# (PrimState (StateT s m)) -> (# State# (PrimState (StateT s m)), a #)) -> StateT s m a Source #
(Monoid w, PrimMonad m) => PrimMonad (WriterT w m) Source #
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (WriterT w m) Source # Methods primitive :: (State# (PrimState (WriterT w m)) -> (# State# (PrimState (WriterT w m)), a #)) -> WriterT w m a Source #
(Monoid w, PrimMonad m) => PrimMonad (AccumT w m) Source #	Since: 0.6.3.0
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (AccumT w m) Source # Methods primitive :: (State# (PrimState (AccumT w m)) -> (# State# (PrimState (AccumT w m)), a #)) -> AccumT w m a Source #
PrimMonad m => PrimMonad (SelectT r m) Source #
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (SelectT r m) Source # Methods primitive :: (State# (PrimState (SelectT r m)) -> (# State# (PrimState (SelectT r m)), a #)) -> SelectT r m a Source #
(Monoid w, PrimMonad m) => PrimMonad (WriterT w m) Source #
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (WriterT w m) Source # Methods primitive :: (State# (PrimState (WriterT w m)) -> (# State# (PrimState (WriterT w m)), a #)) -> WriterT w m a Source #
PrimMonad m => PrimMonad (StateT s m) Source #
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (StateT s m) Source # Methods primitive :: (State# (PrimState (StateT s m)) -> (# State# (PrimState (StateT s m)), a #)) -> StateT s m a Source #
(Monoid w, PrimMonad m) => PrimMonad (WriterT w m) Source #
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (WriterT w m) Source # Methods primitive :: (State# (PrimState (WriterT w m)) -> (# State# (PrimState (WriterT w m)), a #)) -> WriterT w m a Source #
PrimMonad m => PrimMonad (ContT r m) Source #	Since: 0.6.3.0
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (ContT r m) Source # Methods primitive :: (State# (PrimState (ContT r m)) -> (# State# (PrimState (ContT r m)), a #)) -> ContT r m a Source #
(Monoid w, PrimMonad m) => PrimMonad (RWST r w s m) Source #
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (RWST r w s m) Source # Methods primitive :: (State# (PrimState (RWST r w s m)) -> (# State# (PrimState (RWST r w s m)), a #)) -> RWST r w s m a Source #
(Monoid w, PrimMonad m) => PrimMonad (RWST r w s m) Source #
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (RWST r w s m) Source # Methods primitive :: (State# (PrimState (RWST r w s m)) -> (# State# (PrimState (RWST r w s m)), a #)) -> RWST r w s m a Source #
(Monoid w, PrimMonad m) => PrimMonad (RWST r w s m) Source #
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (RWST r w s m) Source # Methods primitive :: (State# (PrimState (RWST r w s m)) -> (# State# (PrimState (RWST r w s m)), a #)) -> RWST r w s m a Source #

data RealWorld #

primitive_ :: PrimMonad m => (State# (PrimState m) -> State# (PrimState m)) -> m () Source #

Execute a primitive operation with no result

class PrimMonad m => PrimBase m where Source #

Class of primitive monads for state-transformer actions.

Unlike PrimMonad, this typeclass requires that the Monad be fully expressed as a state transformer, therefore disallowing other monad transformers on top of the base IO or ST.

Since: 0.6.0.0

Methods

internal :: m a -> State# (PrimState m) -> (# State# (PrimState m), a #) Source #

Expose the internal structure of the monad

Instances

Instances details

PrimBase IO Source #
Instance details Defined in Control.Monad.Primitive Methods internal :: IO a -> State# (PrimState IO) -> (# State# (PrimState IO), a #) Source #
PrimBase (ST s) Source #
Instance details Defined in Control.Monad.Primitive Methods internal :: ST s a -> State# (PrimState (ST s)) -> (# State# (PrimState (ST s)), a #) Source #
PrimBase m => PrimBase (IdentityT m) Source #	Since: 0.6.2.0
Instance details Defined in Control.Monad.Primitive Methods internal :: IdentityT m a -> State# (PrimState (IdentityT m)) -> (# State# (PrimState (IdentityT m)), a #) Source #

liftPrim :: (PrimBase m1, PrimMonad m2, PrimState m1 ~ PrimState m2) => m1 a -> m2 a Source #

Lifts a PrimBase into another PrimMonad with the same underlying state token type.

primToPrim :: (PrimBase m1, PrimMonad m2, PrimState m1 ~ PrimState m2) => m1 a -> m2 a Source #

Convert a PrimBase to another monad with the same state token.

primToIO :: (PrimBase m, PrimState m ~ RealWorld) => m a -> IO a Source #

Convert a PrimBase with a RealWorld state token to IO

primToST :: PrimBase m => m a -> ST (PrimState m) a Source #

Convert a PrimBase to ST

ioToPrim :: (PrimMonad m, PrimState m ~ RealWorld) => IO a -> m a Source #

Convert an IO action to a PrimMonad.

Since: 0.6.2.0

stToPrim :: PrimMonad m => ST (PrimState m) a -> m a Source #

Convert an ST action to a PrimMonad.

Since: 0.6.2.0

unsafePrimToPrim :: (PrimBase m1, PrimMonad m2) => m1 a -> m2 a Source #

Convert a PrimBase to another monad with a possibly different state token. This operation is highly unsafe!

unsafePrimToIO :: PrimBase m => m a -> IO a Source #

Convert any PrimBase to IO. This operation is highly unsafe!

unsafePrimToST :: PrimBase m => m a -> ST s a Source #

Convert any PrimBase to ST with an arbitrary state token. This operation is highly unsafe!

unsafeIOToPrim :: PrimMonad m => IO a -> m a Source #

Convert an IO action to any PrimMonad. This operation is highly unsafe!

Since: 0.6.2.0

unsafeSTToPrim :: PrimMonad m => ST s a -> m a Source #

Convert an ST action with an arbitrary state token to any PrimMonad. This operation is highly unsafe!

Since: 0.6.2.0

unsafeInlinePrim :: PrimBase m => m a -> a Source #

unsafeInlineIO :: IO a -> a Source #

unsafeInlineST :: ST s a -> a Source #

touch :: PrimMonad m => a -> m () Source #

evalPrim :: forall a m. PrimMonad m => a -> m a Source #

Create an action to force a value; generalizes evaluate

Since: 0.6.2.0

unsafeInterleave :: PrimBase m => m a -> m a Source #

unsafeDupableInterleave :: PrimBase m => m a -> m a Source #

noDuplicate :: PrimMonad m => m () Source #