Module Main

Main module of a tool to generate a makefile for a Curry application.

Author: Michael Hanus

Version: March 2017

Summary of exported operations:

main :: IO ()   
version :: String   
:: String   
usageText :: String   
defaultOptions :: Options   
options :: [OptDescr (Options -> Options)]   

Exported datatypes:


Options

Constructors:

  • Options :: Bool -> Int -> String -> String -> String -> Options

    Fields:

    • optHelp :: Bool
    • optVerb :: Int
    • optOutput :: String
    • optRoot :: String
    • optTool :: String

Exported operations:

main :: IO ()   

version :: String   

Further infos:
  • solution complete, i.e., able to compute all solutions

usageText :: String   

defaultOptions :: Options   

Further infos:
  • solution complete, i.e., able to compute all solutions

options :: [OptDescr (Options -> Options)]