Moduleprimitive-0.9.1.0

Control.Monad.Primitive

1 type
4 classes
23 values

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