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

Safe HaskellNone

DDC.Driver.Command.Trans

Synopsis

Documentation

cmdTransDetectSource

Arguments

:: Config

Driver config.

-> Language

Language definition.

-> Bool

Print transform info.

-> Source

Source of the code.

-> String

Input text.

-> ErrorT String IO () 

Load and transform a module or expression, and print the result to stdout.

If the source starts with the 'module' keyword then treat it as one, otherwise treat it as an expression.

cmdTransModuleSource

Arguments

:: Config

Driver config.

-> Language

Language definition.

-> Bool

Print transform info.

-> Source

Source of the code.

-> String

Input text.

-> ErrorT String IO () 

Load and transform a module, and print the result to stdout.

cmdTransExpSource

Arguments

:: Config

Driver config.

-> Language

Source language.

-> Bool

Print transform info.

-> Source

Source of input text.

-> String

Input text.

-> ErrorT String IO () 

Load and transfrom an expression and print the result to stdout.

cmdTransExpContSource

Arguments

:: Config

Driver config.

-> Bool 
-> Language 
-> (forall n. Typeable n => Exp (AnTEC () n) n -> IO ()) 
-> Source 
-> String 
-> IO () 

Load an expression and apply the current transformation.

transExpSource

Arguments

:: (Eq n, Ord n, Pretty n, Show n) 
=> Bool

Trace transform information.

-> Profile n

Language profile.

-> KindEnv n

Kind Environment.

-> TypeEnv n

Type Environment.

-> s 
-> Simplifier s (AnTEC () n) n 
-> Exp (AnTEC () n) n 
-> IO (Maybe (Exp (AnTEC () n) n)) 

Transform an expression, or display errors