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

Hydra.Dsl.Lib.Flows

Documentation

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

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

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

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

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

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

sequence :: TTerm ([Flow s a] -> Flow s [a]) Source #

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

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

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

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

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

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

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

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

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