Module Main

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

Author: Michael Hanus

Version: December 2018

Summary of exported operations:

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

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 ()  Non-deterministic 

version :: String  Deterministic 

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

usageText :: String  Deterministic 

defaultOptions :: Options  Deterministic 

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

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