Hydra.Monads

Documentation

module Hydra.Common

module Hydra.Core

module Hydra.Compute

type GraphFlow m = Flow (Context m)

emptyTrace :: Trace

flowSucceeds :: s -> Flow s a -> Bool

flowWarning :: String -> Flow s a -> Flow s a

fromFlow :: s -> Flow s a -> a

fromFlowIo :: s -> Flow s a -> IO a

getState :: Flow s s

putState :: s -> Flow s ()

traceSummary :: Trace -> String

unexpected :: (MonadFail m, Show a1) => String -> a1 -> m a2

withState :: s1 -> Flow s1 a -> Flow s2 a

withTrace :: String -> Flow s a -> Flow s a

withWarning :: String -> a -> Flow s a

Orphan instances

MonadFail (Flow s)

Methods

fail :: String -> Flow s a

Applicative (Flow s)

Methods

pure :: a -> Flow s a

(<*>) :: Flow s (a -> b) -> Flow s a -> Flow s b

liftA2 :: (a -> b -> c) -> Flow s a -> Flow s b -> Flow s c

(*>) :: Flow s a -> Flow s b -> Flow s b

(<*) :: Flow s a -> Flow s b -> Flow s a

Functor (Flow s)

Methods

fmap :: (a -> b) -> Flow s a -> Flow s b

(<$) :: a -> Flow s b -> Flow s a

Monad (Flow s)

Methods

(>>=) :: Flow s a -> (a -> Flow s b) -> Flow s b

(>>) :: Flow s a -> Flow s b -> Flow s b

return :: a -> Flow s a