Module VerifyOptions

The options of the Curry->Verifier translation tool.

Author: Michael Hanus

Version: August 2016

Summary of exported operations:

defaultOptions
                  :: Options

isUntranslatedFunc
                  :: (String,String) -> Bool

defPrimTypes
                  :: [(String,String)]

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

Exported datatypes:

Options

Constructors:

Options :: Bool -> Int -> Bool -> String -> String -> [QName] -> (QName -> Bool) -> [QName] -> (ProgInfo Deterministic) -> (ProgInfo Completeness) -> Options
Fields:
- optHelp :: Bool
- optVerb :: Int
- optStore :: Bool
- optTarget :: String
- optScheme :: String
- optTheorems :: [QName]
- isPrimFunc :: (QName -> Bool)
- primTypes :: [QName]
- detInfos :: (ProgInfo Deterministic)
- patInfos :: (ProgInfo Completeness)

Exported operations:

defaultOptions :: Options

isUntranslatedFunc :: (String,String) -> Bool

defPrimTypes :: [(String,String)]

Further infos:

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

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