|
ATermIO | Portability | portable | Stability | experimental | Maintainer | joost.visser@di.uminho.pt |
|
|
|
|
|
Description |
This module is part of the ATerm library for Haskell. This module
provides wrapper functions that take care of IO.
|
|
Synopsis |
|
|
|
|
Transformation wrapper |
|
atermIOwrap :: (ATermConvertible t, ATermConvertible a) => ProgramName -> (t -> IO a) -> IO () |
Wrapper function to create a main function in the IO monad, given a
program name and a monadic transformation function. |
|
Helpers |
|
type ProgramName = String |
|
dehyphen :: String -> String |
Turn hyphens in a String into underscores. |
|
dehyphenAST :: ATerm -> ATerm |
Turn hyphens in AST into underscores except inside nodes
that represent literals. |
|
headToUpper :: String -> String |
Turn the first character into upper case. |
|
afunCap :: ATerm -> ATerm |
Make all AFun's start with an uppercase letter. |
|
Option handling |
|
data OptionsATermIO |
Constructors | OptionsATermIO | | fin :: String | | fout :: String | | format :: String | |
|
|
|
|
defaultOptionsATermIO :: OptionsATermIO |
|
parseOptions :: String -> [String] -> OptionsATermIO |
|
usage :: String -> String |
|
Produced by Haddock version 0.6 |