stateful-mtl-1.0.4: Stateful monad transformers with pure evaluation semantics.
Source code
Contents
Index
Control.Monad.Array.Class
Synopsis
class
Monad
m =>
MonadArray
m
where
type
ArrayElem
m
readAt
::
Int
-> m (
ArrayElem
m)
unsafeReadAt
::
Int
-> m (
ArrayElem
m)
writeAt
::
Int
->
ArrayElem
m -> m ()
unsafeWriteAt
::
Int
->
ArrayElem
m -> m ()
replaceAt
::
Int
->
ArrayElem
m -> m (
ArrayElem
m)
askElems
:: m [
ArrayElem
m]
askAssocs
:: m [(
Int
,
ArrayElem
m)]
askSize
:: m
Int
resize
::
Int
-> m ()
ensureSize
::
Int
-> m ()
Documentation
class
Monad
m =>
MonadArray
m
where
Source
Type class abstraction for a monad with access to an underlying mutable array indexed by
Int
s. Minimal implementation:
readAt
or
unsafeReadAt
,
writeAt
or
unsafeWriteAt
,
askSize
,
resize
or
ensureSize
.
Associated Types
type
ArrayElem
m
Source
Methods
readAt
::
Int
-> m (
ArrayElem
m)
Source
unsafeReadAt
::
Int
-> m (
ArrayElem
m)
Source
writeAt
::
Int
->
ArrayElem
m -> m ()
Source
unsafeWriteAt
::
Int
->
ArrayElem
m -> m ()
Source
replaceAt
::
Int
->
ArrayElem
m -> m (
ArrayElem
m)
Source
askElems
:: m [
ArrayElem
m]
Source
askAssocs
:: m [(
Int
,
ArrayElem
m)]
Source
askSize
:: m
Int
Source
resize
::
Int
-> m ()
Source
ensureSize
::
Int
-> m ()
Source
Instances
MonadArray
m =>
MonadArray
(
MaybeT
m)
MonadArray
m =>
MonadArray
(
ListT
m)
MonadArray
(
IntMapM
e)
(
Monoid
w,
MonadArray
m) =>
MonadArray
(
WriterT
w m)
(
Monoid
w,
MonadArray
m) =>
MonadArray
(
WriterT
w m)
MonadArray
m =>
MonadArray
(
StateT
s m)
MonadArray
m =>
MonadArray
(
StateT
s m)
MonadArray
m =>
MonadArray
(
ReaderT
r m)
Monad
m =>
MonadArray
(
IntMapT
e m)
(
MonadST
m,
Monad
m) =>
MonadArray
(
ArrayT
e m)
(
Monad
m,
MArray
a e m) =>
MonadArray
(
MArrayM
a e m)
Produced by
Haddock
version 2.4.1