Documentation

Fields

processName :: Name

Name of whole process. This is taken from the function name in the original source code.

processParamTypes :: [BindF]

Type parameters to process. These are the type parameters of the original function.

processParamValues :: [BindF]

Value parameters to process. These are the value parameters of the original function.

processContexts :: [Context]

Flow contexts in this process. This contains a ContextRate entry for all the Rate variables in the parameters, along with an entry for all the nested contexts introduced by the process itself.

processOperators :: [Operator]

Flow operators in this process.