Safe Haskell | None |
---|
- data WF s m l = WF {
- st :: s -> m (s, l)
- data Stat
- stat0 :: Stat
- statPrefix1 :: [Char]
- statPrefix :: [Char]
- header :: Stat -> STW ()
- getHeader :: STR ([Char], Int, Maybe Integer, Integer, [a], (Context, ByteString))
- lenLen :: Int64
- keyWF :: Indexable a => String -> a -> String
- data WFRef a = WFRef !Int !(DBRef Stat)
- pathWFlows :: [Char]
- stFName :: IResource a => a -> [Char]
- fr :: Key -> IO (Maybe ByteString)
- safe :: FilePath -> (Handle -> IO a) -> IO a
- hReadFile :: Handle -> IO ByteString
- readHeader :: ByteString -> Handle -> IO (Maybe ([Char], Int, Maybe Integer, Integer, [a], (Context, ByteString)))
- keyRunning :: String
- showHistory :: Stat -> ByteString
- showp1 :: IDynamic -> STW ()
- wFRefStr :: [Char]
Documentation
(Monad m, Functor m) => Functor (Workflow m) | |
(Monad m, Functor m) => Applicative (Workflow m) | |
(Monad m, MonadIO m, Serialize a, Typeable a) => PMonadTrans (WF Stat) m a | plift= step |
Monad m => Monad (WF s m) | |
MonadIO m => MonadIO (WF Stat m) | |
(HasFork io, MonadIO io, MonadCatch io) => HasFork (WF Stat io) |
Typeable Stat | |
Serialize Stat | |
IResource Stat | |
(Monad m, Functor m) => Functor (Workflow m) | |
(Monad m, Functor m) => Applicative (Workflow m) | |
(Monad m, MonadIO m, Serialize a, Typeable a) => PMonadTrans (WF Stat) m a | plift= step |
MonadIO m => MonadIO (WF Stat m) | |
(HasFork io, MonadIO io, MonadCatch io) => HasFork (WF Stat io) |
statPrefix1 :: [Char]Source
statPrefix :: [Char]Source
keyWF :: Indexable a => String -> a -> StringSource
Return the unique name of a workflow with a parameter (executed with exec or start)
pathWFlows :: [Char]Source
hReadFile :: Handle -> IO ByteStringSource
readHeader :: ByteString -> Handle -> IO (Maybe ([Char], Int, Maybe Integer, Integer, [a], (Context, ByteString)))Source
showHistory :: Stat -> ByteStringSource
show the state changes along the workflow, that is, all the intermediate results