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

Safe HaskellNone
LanguageHaskell98

DDC.Driver.Command.Trans

Synopsis

Documentation

cmdTransDetect Source #

Arguments

:: Config

Driver config.

-> Language

Language definition.

-> Bool

Print transform info.

-> Source

Source of the code.

-> String

Input text.

-> ExceptT 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.

cmdTransModule Source #

Arguments

:: Config

Driver config.

-> Language

Language definition.

-> Bool

Print transform info.

-> Source

Source of the code.

-> String

Input text.

-> ExceptT String IO () 

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

cmdTransExp Source #

Arguments

:: Config

Driver config.

-> Language

Source language.

-> Bool

Print transform info.

-> Source

Source of input text.

-> String

Input text.

-> ExceptT String IO () 

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

cmdTransExpCont Source #

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.

transExp Source #

Arguments

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

Trace transform information.

-> Profile n

Language profile.

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

Transform an expression, or display errors