Trait rtlola_hir::hir::HirStage

pub trait HirStage: Sized {
    type Error;
    type NextStage: HirMode;
    fn progress(
        self, 
        handler: &Handler
    ) -> Result<RtLolaHir<Self::NextStage>, Self::Error>;
}

Defines the functionality to progress one mode to the next one

Associated Types

type Error

Defines the Error type of the progress function

type NextStage: HirMode

Defines the next mode that is produced by the progress function

Required methods

fn progress(
    self,
    handler: &Handler
) -> Result<RtLolaHir<Self::NextStage>, Self::Error>

Returns an RtLolaHir with additional functionality

Implementors

impl HirStage for RtLolaHir<BaseMode>

type Error = DependencyErr

type NextStage = DepAnaMode

impl HirStage for RtLolaHir<DepAnaMode>

type Error = String

type NextStage = TypedMode

impl HirStage for RtLolaHir<MemBoundMode>

type Error = CompletionErr

type NextStage = CompleteMode

impl HirStage for RtLolaHir<OrderedMode>

type Error = MemBoundErr

type NextStage = MemBoundMode

impl HirStage for RtLolaHir<TypedMode>

type Error = OrderErr

type NextStage = OrderedMode