| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Clafer.IG.CommandLine
- runCommandLine :: ClaferIGT IO ()
- printError :: ClaferErrs -> [String]
- findNecessaryBitwidth :: IModule -> Integer -> [Integer] -> Integer
- intToFloat :: Integer -> Float
- pickLargerScope :: [(String, Integer)] -> (String, Integer) -> (String, Integer)
- allowedMaxInt :: Integer -> Integer
- requiredBitwidth :: Integer -> Integer
Documentation
runCommandLine :: ClaferIGT IO () Source
Interactive session interface
printError :: ClaferErrs -> [String] Source
findNecessaryBitwidth :: IModule -> Integer -> [Integer] -> Integer Source
intToFloat :: Integer -> Float Source
allowedMaxInt :: Integer -> Integer Source
the largest integer allowed by the given bitwidth
requiredBitwidth :: Integer -> Integer Source
bitwidth required to store the given integer