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

Safe HaskellNone
LanguageHaskell98

DDC.Driver.Stage.Flow

Synopsis

Documentation

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

Type check Core Flow.

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

Prepare a Core Flow module for lowering.

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

Perform rate inference to transform vector operations to series

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

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

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

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

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

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