Copyright | (c) 2013-2015 Galois, Inc. |
---|---|
License | BSD3 |
Maintainer | cryptol@galois.com |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell98 |
The purpose of this module is to convert all patterns to variable
patterns. It also eliminates pattern bindings by de-sugaring them
into Bind
. Furthermore, here we associate signatures and pragmas
with the names to which they belong.
Documentation
class RemovePatterns t where Source
removePatterns :: t -> (t, [Error]) Source
Eliminate all patterns in a program.