Documentation

class (PrimMonad m, PrimState m ~ s) => MonadPrim s m | s -> m Source

class MonadPrim RealWorld m => MonadPrimIO m Source

primIO :: MonadPrimIO m => IO a -> m a Source

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