Module spec

Defines the checker workflow itself.

Structs

• Dataset
  Defines a representation of a dataset.
• ElemBranch
  Defines a branching connection between graph Elements.
• ElemCommit
  Defines a commit node in the graph consisting of Elems, which defines data promotion.
• ElemLoop
  Defines a looping connection between graph Elements.
• ElemParallel
  Defines a parallel connection between graph Elements.
• ElemTask
  Defines a task node in the graph consisting of Elems, which defines data access.
• Metadata
  Represents a “tag” and everything we need to know.
• User
  Defines how a user looks like.
• Workflow
  Defines the workflow’s toplevel view.

Enums

• Elem
  Defines an element in the graph. This is either a Node, which defines a task execution, or an Edge, which defines how next tasks may be reached.