ddc-driver-0.4.1.3: Disciplined Disciple Compiler top-level driver.

Safe HaskellNone

DDC.Driver.Stage.Flow

Synopsis

Documentation

stageFlowLoad :: Config -> Source -> [PipeCore () Name] -> PipeText Name ErrorSource

Type check Core Flow.

stageFlowPrep :: Config -> Source -> [PipeCore () Name] -> PipeCore () NameSource

Prepare a Core Flow module for lowering.

stageFlowRate :: Config -> Source -> [PipeCore () Name] -> PipeCore () NameSource

Perform rate inference to transform vector operations to series

stageFlowLower :: Config -> Config -> Source -> [PipeCore () Name] -> PipeCore (AnTEC () Name) NameSource

Lower a Core Flow module. Is needs to already be prepped, and have full type annotations.

stageFlowWind :: Config -> Source -> [PipeCore () Name] -> PipeCore (AnTEC () Name) NameSource

Wind loop primops into tail recursive loops in a Core Flow module.