Safe Haskell | None |
---|
- cmdTransDetect :: Config -> Language -> Bool -> Source -> String -> ErrorT String IO ()
- cmdTransModule :: Config -> Language -> Bool -> Source -> String -> ErrorT String IO ()
- cmdTransExp :: Config -> Language -> Bool -> Source -> String -> ErrorT String IO ()
- cmdTransExpCont :: Config -> Bool -> Language -> (forall n. Typeable n => Exp (AnTEC () n) n -> IO ()) -> Source -> String -> IO ()
- transExp :: (Eq n, Ord n, Pretty n, Show n) => Bool -> Profile n -> KindEnv n -> TypeEnv n -> s -> Simplifier s (AnTEC () n) n -> Exp (AnTEC () n) n -> IO (Maybe (Exp (AnTEC () n) n))
Documentation
:: 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.
:: 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
.
:: 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
.
:: 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.