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

Safe HaskellNone

DDC.Driver.Command.ToLlvm

Synopsis

Documentation

cmdToLlvmFromFileSource

Arguments

:: Config

Driver config.

-> FilePath

Core language definition.

-> ErrorT String IO () 

Convert a module to LLVM. The output is printed to stdout. Any errors are thrown in the ErrorT monad.

cmdToLlvmSourceTetraFromFileSource

Arguments

:: Config

Driver config.

-> FilePath

Module file path.

-> ErrorT String IO () 

Convert Disciple Source Tetra to LLVM. The result is printed to stdout. Any errors are thrown in the ErrorT monad.

cmdToLlvmSourceTetraFromStringSource

Arguments

:: Config

Driver config.

-> Source

Source of the code.

-> String

Program module text.

-> ErrorT String IO () 

Convert Disciple Source Tetra to LLVM. The result is printed to stdout. Any errors are thrown in the ErrorT monad.

cmdToLlvmCoreFromFileSource

Arguments

:: Config

Driver config.

-> Language

Core language definition.

-> FilePath

Module file path.

-> ErrorT String IO () 

Parse, check and convert a Core module to LLVM. Works for the Tetra, Lite and Salt fragments. The result is printed to stdout. Any errors are thrown in the ErrorT monad.

cmdToLlvmCoreFromStringSource

Arguments

:: Config

Driver config.

-> Language

Language definition.

-> Source

Source of the code.

-> String

Program module text.

-> ErrorT String IO () 

Parse, check and convert a Core module to LLVM. Works for the Tetra, Lite and Salt fragments. The result is printed to stdout. Any errors are thrown in the ErrorT monad.