claferIG-0.4.2.1: claferIG is an interactive tool that generates instances of Clafer models.

Safe HaskellNone
LanguageHaskell2010

Language.Clafer.IG.CommandLine

Synopsis

Documentation

runCommandLine :: ClaferIGT IO () Source

Interactive session interface

allowedMaxInt :: Integer -> Integer Source

the largest integer allowed by the given bitwidth

requiredBitwidth :: Integer -> Integer Source

bitwidth required to store the given integer