primitive-0.1: Wrappers for primitive operations

Portabilitynon-portable
MaintainerRoman Leshchinskiy <rl@cse.unsw.edu.au>

Control.Monad.Primitive

Description

Primitive state-transformer monads

Synopsis

Documentation

class Monad m => PrimMonad m whereSource

Class of primitive state-transformer monads

Associated Types

type PrimState m Source

State token type

Methods

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

Execute a primitive operation

Instances

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

Execute a primitive operation with no result