ArrayRef-0.1.2: Unboxed references, dynamic arrays and more Contents Index

Control.Monad.STorIO Portability GHC/Hugs Stability experimental Maintainer Bulat Ziganshin <Bulat.Ziganshin@gmail.com>

Description

Unification of ST and IO operations!

Synopsis

class Monad m => STorIO m s | m -> s where mLift :: (State# s -> (#State# s, a#)) -> m a type IOSpecific a = a RealWorld type IOSpecific2 a = a RealWorld type IOSpecific3 a = a RealWorld

Documentation

class Monad m => STorIO m s | m -> s where

That's all we need to unify ST and IO operations! Methods mLift :: (State# s -> (#State# s, a#)) -> m a Instances STorIO IO RealWorld STorIO (ST s) s STorIO (ST s) s

type IOSpecific a = a RealWorld

Type functions which converts universal ST or IO types to IO-specific ones

type IOSpecific2 a = a RealWorld

type IOSpecific3 a = a RealWorld

Produced by Haddock version 2.1.0