ArrayRef-0.1: Unboxed references, dynamic arrays and more
Source code
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
Source
That's all we need to unify ST and IO operations!
Methods
mLift
:: (
State#
s -> (#
State#
s, a#)) -> m a
Source
Instances
STorIO
IO
RealWorld
STorIO
IO
RealWorld
STorIO
(
ST
s) s
STorIO
(
ST
s) s
type
IOSpecific
a = a
RealWorld
Source
Type functions which converts universal ST or IO types to IO-specific ones
type
IOSpecific2
a = a
RealWorld
Source
type
IOSpecific3
a = a
RealWorld
Source
Produced by
Haddock
version 2.4.2