| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Tokstyle.Cimple.Analysis.Destructors
Description
Inference of destructors: functions that free their arguments.
Synopsis
- type Destructors = Map Text Done
- destructors :: [(FilePath, [Node (Lexeme Text)])] -> Destructors
- destroyed :: Destructors -> Node (Lexeme Text) -> [Node (Lexeme Text)]
Documentation
type Destructors = Map Text Done Source #
destructors :: [(FilePath, [Node (Lexeme Text)])] -> Destructors Source #
Infer the destructors of a program: functions that destroy a parameter or some of its fields on every exit except failure returns.