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
• contextOps :: [Operator]
• contextInner :: [Context]

ContextSelect

A nested context created by a mkSel1# function.

Fields

• contextOuterRate :: Type Name
• contextInnerRate :: Type Name
• contextFlags :: Bound Name
• contextSelector :: Bind Name
• contextOps :: [Operator]
• contextInner :: [Context]

ContextSegment

A nested context created by a mkSegd# function.

Fields

• contextOuterRate :: Type Name
• contextInnerRate :: Type Name
• contextLens :: Bound Name
• contextSegd :: Bind Name
• contextOps :: [Operator]
• contextInner :: [Context]

ContextAppend

Fields

• contextRate1 :: Type Name
• contextInner1 :: Context
• contextRate2 :: Type Name
• contextInner2 :: Context

Instances

Show Context

Methods

showsPrec :: Int -> Context -> ShowS

show :: Context -> String

showList :: [Context] -> ShowS

type FillMap = Map Name (FillPath, Type Name)

data FillPath

Instances

Eq FillPath

Methods

(==) :: FillPath -> FillPath -> Bool

(/=) :: FillPath -> FillPath -> Bool

Show FillPath

Methods

showsPrec :: Int -> FillPath -> ShowS

show :: FillPath -> String

showList :: [FillPath] -> ShowS

pathsOfFills :: Context -> Maybe FillMap

getAccForPath :: FillMap -> FillPath -> Maybe Name

getAcc :: FillMap -> Name -> Maybe Name

isSimple :: FillPath -> Bool

isNone :: FillPath -> Bool