Moduleprimitive-0.9.1.0

Control.Monad.Primitive

Synopsis

value evalPrim
value ioToPrim
value keepAlive
value keepAliveUnlifted
value liftPrim
value noDuplicate
value primToIO
value primToPrim
value primToST
value primitive_
value stToPrim
value touch
value touchUnlifted
value unsafeDupableInterleave
value unsafeIOToPrim
value unsafeInlineIO
value unsafeInlinePrim
value unsafeInlineST
value unsafeInterleave
value unsafePrimToIO
value unsafePrimToPrim
value unsafePrimToST
value unsafeSTToPrim
class MonadPrim
class MonadPrimBase
class PrimBase
class PrimMonad
data RealWorld

Packageprimitive-0.9.1.0
Exports28
LicenceBSD-3-Clause

valueevalPrim :: PrimMonad m => a -> m a

valueioToPrim :: (PrimMonad m, PrimState m ~ RealWorld) => IO a -> m a

valuekeepAlive :: PrimBase m => a -> m r -> m r

valuekeepAliveUnlifted :: PrimBase m => a -> m r -> m r

valueliftPrim

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

valuenoDuplicate :: PrimMonad m => m ()

valueprimToIO :: (PrimBase m, PrimState m ~ RealWorld) => m a -> IO a

valueprimToPrim

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

valueprimToST :: PrimBase m => m a -> ST (PrimState m) a

valueprimitive_

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

valuestToPrim :: PrimMonad m => ST (PrimState m) a -> m a

valuetouch :: PrimMonad m => a -> m ()

valuetouchUnlifted :: PrimMonad m => a -> m ()

valueunsafeDupableInterleave :: PrimBase m => m a -> m a

valueunsafeIOToPrim :: PrimMonad m => IO a -> m a

valueunsafeInlineIO :: IO a -> a

valueunsafeInlinePrim :: PrimBase m => m a -> a

valueunsafeInlineST :: ST s a -> a

valueunsafeInterleave :: PrimBase m => m a -> m a

valueunsafePrimToIO :: PrimBase m => m a -> IO a

valueunsafePrimToPrim :: (PrimBase m1, PrimMonad m2) => m1 a -> m2 a

valueunsafePrimToST :: PrimBase m => m a -> ST s a

valueunsafeSTToPrim :: PrimMonad m => ST s a -> m a

classclass (PrimMonad m, s ~ PrimState m) => MonadPrim s (m :: Type -> Type)

Instances1MonadPrim

(PrimMonad m, s ~ PrimState m) => MonadPrim s mDefined in primitive-0.9.1.0 · Control.Monad.Primitive

classclass (PrimBase m, MonadPrim s m) => MonadPrimBase s (m :: Type -> Type)

Instances1MonadPrimBase

(PrimBase m, MonadPrim s m) => MonadPrimBase s mDefined in primitive-0.9.1.0 · Control.Monad.Primitive

classclass PrimMonad m => PrimBase (m :: Type -> Type) where

Methods

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

Instances4PrimBase

PrimBase IODefined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimBase (ST s)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimBase (ST s)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimBase m => PrimBase (IdentityT m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive

classclass Monad m => PrimMonad (m :: Type -> Type) where

Associated types

type family PrimState (m :: Type -> Type)

Methods

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

Instances18PrimMonad, …

PrimMonad IODefined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimMonad (ST s)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimMonad (ST s)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimMonad m => PrimMonad (MaybeT m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimMonad m => PrimMonad (ExceptT e m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimMonad m => PrimMonad (IdentityT m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimMonad m => PrimMonad (ReaderT r m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimMonad m => PrimMonad (SelectT r m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimMonad m => PrimMonad (StateT s m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimMonad m => PrimMonad (StateT s m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
(Monoid w, PrimMonad m) => PrimMonad (AccumT w m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
(Monoid w, PrimMonad m) => PrimMonad (WriterT w m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
(Monoid w, PrimMonad m) => PrimMonad (WriterT w m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
(Monoid w, PrimMonad m) => PrimMonad (WriterT w m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
PrimMonad m => PrimMonad (ContT r m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
(Monoid w, PrimMonad m) => PrimMonad (RWST r w s m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
(Monoid w, PrimMonad m) => PrimMonad (RWST r w s m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive
(Monoid w, PrimMonad m) => PrimMonad (RWST r w s m)Defined in primitive-0.9.1.0 · Control.Monad.Primitive

datadata RealWorld

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#.