Module VerifyOptions

Exported Datatypes

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 Functions

defaultOptions :: Options   

isUntranslatedFunc :: (String, String) -> Bool   

defPrimTypes :: [(String, String)]   

Further infos:

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

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