Exported names:
- Datatypes:
- Options
- Constructors:
- Options
- Fields:
- optHelp
- optOutput
- optRoot
- optTool
- optVerb
- Operations:
- banner
- defaultOptions
- main
- options
- usageText
- version
Imported modules:

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

version
                  ::  String

Deterministic

banner
                  ::  String

Deterministic

usageText
                  ::  String

defaultOptions
                  ::  Options

Deterministic

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)]