| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Conventions
Description
Synopsis
- is_exiting_function_call :: [Char] -> Bool
- strip_GLIBC :: String -> String
- sections_with_instructions :: [(String, String)]
- section_is_unwritable :: (String, String) -> Bool
- callee_saved_registers :: [Register]
- return_registers :: [Register]
- parameter_registers :: [Register]
Documentation
is_exiting_function_call :: [Char] -> Bool Source #
A list of function names of functions that never return.
strip_GLIBC :: String -> String Source #
sections_with_instructions :: [(String, String)] Source #
Overview of sections with instructions.
section_is_unwritable :: (String, String) -> Bool Source #
Sections in the following list are assumed not to be modifiable during execution, i.e., constant.
callee_saved_registers :: [Register] Source #
A list if registers that are non-volatile, i.e., that must be preserved by a function (callee-saved)
return_registers :: [Register] Source #
A list of registers that may be used for return values
parameter_registers :: [Register] Source #
A list of registers used as parameters