Module Main

The main module of currypp, the Curry Preprocessor

The Curry Preprocessor transforms the source code of Curry programs. Currently, only the translation of foreign code integrated in Curry code is supported (option foreigncode, see module Translator).

Author: Michael Hanus

Version: April 2023

Summary of exported operations:

cppBanner
                  ::  String

parseTarget
                  ::  String -> Maybe PPTarget

initOpts
                  ::  PPOpts

main
                  ::  IO ()

The main function of the Curry Preprocessor.

processOptions
                  ::  PPOpts -> [String] -> Maybe PPOpts

showUsage
                  ::  [String] -> IO ()

usageText
                  ::  String

preprocess
                  ::  PPOpts -> String -> String -> String -> String -> IO ()

callPreprocessors
                  ::  PPOpts -> String -> String -> String -> String -> IO String

pathToModName
                  ::  String -> String -> (Maybe String,String)

Transforms a file path name for a module back into a hierarchical module name since only the file path of a module is passed to the preprocessor.

replaceOptionsLine
                  ::  String -> String

isOptionLine
                  ::  String -> Bool

optionLines
                  ::  String -> String

Exported datatypes:

PPTarget

Preprocessor targets, i.e., kind of entities to be preprocessed:

Constructors:

ForeignCode :: PPTarget
DefaultRules :: PPTarget
Contracts :: PPTarget

PPOpts

Preprocessor options:

Constructors:

PPOpts :: Bool -> Bool -> Int -> [PPTarget] -> String -> [String] -> [String] -> PPOpts
Fields:
- optHelp :: Bool
- optSave :: Bool
- optVerb :: Int
- optTgts :: [PPTarget]
- optModel :: String
- optDefRules :: [String]
- optContracts :: [String]

Exported operations:

cppBanner :: String

parseTarget :: String -> Maybe PPTarget

initOpts :: PPOpts

Further infos:

solution complete, i.e., able to compute all solutions

main :: IO ()

The main function of the Curry Preprocessor.

processOptions :: PPOpts -> [String] -> Maybe PPOpts

showUsage :: [String] -> IO ()

usageText :: String

preprocess :: PPOpts -> String -> String -> String -> String -> IO ()

callPreprocessors :: PPOpts -> String -> String -> String -> String -> IO String

pathToModName :: String -> String -> (Maybe String,String)

Transforms a file path name for a module back into a hierarchical module name since only the file path of a module is passed to the preprocessor. This is done if the file path name is prefixed by a directory in the currypath, otherwise the directory of the path is returned in the first result component and the plain base name in the second. This might be wrong for a hierachical module not occurring in the currypath, but in this case it is difficult to reconstruct the original module name from the file path without looking inside the module.

replaceOptionsLine :: String -> String

isOptionLine :: String -> Bool

optionLines :: String -> String

Exported names:

Imported modules:

Module Main

The main module of currypp, the Curry Preprocessor

Summary of exported operations:

Exported datatypes:

Exported operations: