Haskell ATerm Library (1.4)ContentsIndex
ATermIO
Portability portable
Stability experimental
Maintainer joost.visser@di.uminho.pt
Contents
Transformation wrapper
Helpers
Option handling
Description
This module is part of the ATerm library for Haskell. This module provides wrapper functions that take care of IO.
Synopsis
atermIOwrap :: (ATermConvertible t, ATermConvertible a) => ProgramName -> (t -> IO a) -> IO ()
type ProgramName = String
dehyphen :: String -> String
dehyphenAST :: ATerm -> ATerm
headToUpper :: String -> String
afunCap :: ATerm -> ATerm
data OptionsATermIO = OptionsATermIO {
fin :: String
fout :: String
format :: String
}
defaultOptionsATermIO :: OptionsATermIO
parseOptions :: String -> [String] -> OptionsATermIO
usage :: String -> String
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