Data.ATerm.IO

This module is part of the ATerm library for Haskell. This module provides wrapper functions that take care of IO.

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.

dehyphenUnquoted :: [Char] -> [Char]

Turn hyphens in unquoted literal into underscores.

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

Fields

fin :: String

fout :: String

format :: String

defaultOptionsATermIO :: OptionsATermIO

parseOptions :: String -> [String] -> OptionsATermIO

usage :: String -> String