Module Main

A tool to verify non-failure properties and to check contracts of Curry operations.

Author: Michael Hanus

Version: February 2022

Summary of exported operations:

test
                  ::  Int -> String -> IO ()

testv
                  ::  String -> IO ()

testcv
                  ::  String -> IO ()

banner
                  ::  String

main
                  ::  IO ()

showEncodedNames
                  ::  String -> String

verifyModules
                  ::  [String] -> [String] -> StateT VState IO ()

verifyMod
                  ::  String -> StateT VState IO ()

axiomatizedOps
                  ::  [String]

test :: Int -> String -> IO ()

testv :: String -> IO ()

testcv :: String -> IO ()

main :: IO ()

showEncodedNames :: String -> String

verifyModules :: [String] -> [String] -> StateT VState IO ()

verifyMod :: String -> StateT VState IO ()

Further infos: