Copyright | (c) Galois Inc 2024 |
---|---|
License | BSD3 |
Maintainer | Langston Barrett <langston@galois.com> |
Stability | provisional |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Synopsis
- newtype FunctionName = FunctionName {}
- newtype CallStack = CallStack {}
- cons :: FunctionName -> CallStack -> CallStack
- null :: CallStack -> Bool
- getCallStack :: MemState sym -> CallStack
- ppCallStack :: CallStack -> Doc ann
Documentation
newtype FunctionName Source #
Instances
Call stacks (lists of function names), mostly for diagnostics
cons :: FunctionName -> CallStack -> CallStack Source #
Add a function name to the top of the call stack
getCallStack :: MemState sym -> CallStack Source #
Summarize the StackFrame
s of a MemState
into a CallStack
ppCallStack :: CallStack -> Doc ann Source #
Pretty-print a call stack (one function per line)