Hardware Monad Interface (work in progress)ContentsIndex
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