DDC.Driver.Command.Trans

Documentation

cmdTransDetect

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

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

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

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

Arguments

:: (Eq n, Ord n, Pretty n, Show n, CompoundName 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