Control.Monad.Primitive

Primitive state-transformer monads

Documentation

class Monad m => PrimMonad m where

Class of primitive state-transformer monads

Associated Types

type PrimState m

State token type

Methods

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

Execute a primitive operation

Instances

PrimMonad IO

PrimMonad (ST s)

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

Execute a primitive operation with no result