Workflow-0.8.3: Workflow patterns over a monad for thread state logging & recovery

Safe HaskellNone
LanguageHaskell98

Control.Workflow.Stat

Contents

Synopsis

Documentation

data WF s m l #

Constructors

WF 

Fields

  • st :: s -> m (s, l)
     

Instances

(Monad m, MonadIO m, Serialize a, Typeable * a) => PMonadTrans (WF Stat) m a #
plift= step

Methods

plift :: m a -> WF Stat m a #

(HasFork io, MonadIO io, MonadCatch io) => HasFork (WF Stat io) # 

Methods

fork :: WF Stat io () -> WF Stat io ThreadId #

data Stat #

Instances

Serialize Stat # 

Methods

showp :: Stat -> STW () #

readp :: STR Stat #

IResource Stat # 
(Monad m, MonadIO m, Serialize a, Typeable * a) => PMonadTrans (WF Stat) m a #
plift= step

Methods

plift :: m a -> WF Stat m a #

(HasFork io, MonadIO io, MonadCatch io) => HasFork (WF Stat io) # 

Methods

fork :: WF Stat io () -> WF Stat io ThreadId #

header :: Stat -> STW () #

keyWF :: Indexable a => String -> a -> String #

Return the unique name of a workflow with a parameter (executed with exec or start)

data WFRef a #

Constructors

WFRef !Int !(DBRef Stat) 

Instances

Read (WFRef a) # 
Show (WFRef a) # 

Methods

showsPrec :: Int -> WFRef a -> ShowS #

show :: WFRef a -> String #

showList :: [WFRef a] -> ShowS #

Serialize (WFRef a) # 

Methods

showp :: WFRef a -> STW () #

readp :: STR (WFRef a) #

Indexable (WFRef a) # 

Methods

key :: WFRef a -> String #

defPath :: WFRef a -> String #

stFName :: IResource a => a -> [Char] #

safe :: FilePath -> (Handle -> IO a) -> IO a #

showHistory :: Stat -> ByteString #

show the state changes along the workflow, that is, all the intermediate results

showp1 :: IDynamic -> STW () #

Orphan instances

(Show a, Read a) => Serialize a #

default instances

Methods

showp :: a -> STW () #

readp :: STR a #

Serialize ThreadId # 

Methods

showp :: ThreadId -> STW () #

readp :: STR ThreadId #