Hardware Monad Interface (work in progress)
Contents
Index
H.Monad
Description
The Hardware Monad (section 3 in the paper)
Synopsis
data
H
a
trappedRunH
::
H
a -> IO ()
runH
::
H
a -> IO a
class
LiftH
m
where
liftH
::
H
a -> m a
liftIO
:: IO a ->
H
a
Documentation
data
H
a
The Hardware Monad
Instances
Functor
H
Monad
H
LiftH
H
trappedRunH
::
H
a -> IO ()
runH
::
H
a -> IO a
class
LiftH
m
where
A class for lifting of H operations through arbitrary monad transformers
Methods
liftH
::
H
a -> m a
Instances
LiftH
H
(MonadTrans t, Monad m,
LiftH
m) =>
LiftH
(t m)
liftIO
:: IO a ->
H
a
Produced by
Haddock
version 0.6