DDC.Core.Flow.Context

Documentation

data Context

Constructors

ContextRate

A top-level context associated with a rate that is a parameter of the process. This context isn't created by the process itself.

Fields

contextRate :: Type Name

ContextSelect

A nested context created by a mkSel1# function.

Fields

contextOuterRate :: Type Name

contextInnerRate :: Type Name

contextFlags :: Bound Name

contextSelector :: Bind Name

ContextSegment

A nested context created by a mkSegd# function.

Fields

contextOuterRate :: Type Name

contextInnerRate :: Type Name

contextLens :: Bound Name

contextSegd :: Bind Name

Instances

Eq Context

Show Context