| Safe Haskell | None |
|---|
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] -> IntegerSource
intToFloat :: Integer -> FloatSource
pickLargerScope :: [(String, Integer)] -> (String, Integer) -> (String, Integer)Source
allowedMaxInt :: Integer -> IntegerSource
the largest integer allowed by the given bitwidth
requiredBitwidth :: Integer -> IntegerSource
bitwidth required to store the given integer