Ivory.Language.Ion.Util

Documentation

procName :: Def proc -> String

Return the symbol name of an Ivory procedure

fitWordType :: Integer -> Type

Return the Ivory unsigned int type (in its AST) that the given Integer would require (i.e. any value from 0 to 255 returns a Word8; values beyond that but less than 65535 require a Word16; and so on.) The given integer must be non-negative.

checkCName :: String -> Maybe Int

Checks the given string for being a valid C identifier. If it is, then it returns Nothing, and otherwise Just and the string index of the character which renders it invalid.