hydra-0.5.1: Type-aware transformations for data and programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Dsl.Lib.Flows

Documentation

apply :: Datum (Flow s (x -> y) -> Flow s x -> Flow s y) Source #

bind :: Datum (Flow s x -> (x -> Flow s y) -> Flow s y) Source #

fail :: Datum (String -> Flow s x) Source #

map :: Datum ((x -> y) -> Flow s x -> Flow s y) Source #

mapList :: Datum ((x -> Flow s y) -> [x] -> Flow s [y]) Source #

pure :: Datum (x -> Flow s x) Source #

flowState :: Datum (Maybe x) -> Datum s -> Datum Trace -> Datum (FlowState s x) Source #

flowStateState :: Datum (FlowState s x -> s) Source #

flowStateTrace :: Datum (FlowState s x -> Trace) Source #

flowStateValue :: Datum (FlowState s x -> Maybe x) Source #

trace :: Datum [String] -> Datum [String] -> Datum (Map String Term) -> Datum Trace Source #

traceStack :: Datum (Trace -> [String]) Source #

traceMessages :: Datum (Trace -> [String]) Source #

traceOther :: Datum (Trace -> Map String Term) Source #

unFlow :: Datum (Flow s x -> s -> Trace -> FlowState s x) Source #