Copyright | (c) Harm Brouwer and Noortje Venhuizen |
---|---|
License | Apache-2.0 |
Maintainer | me@hbrouwer.eu, n.j.venhuizen@rug.nl |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell98 |
Structural operations on PDRSs
Exported
isLambdaPDRS :: PDRS -> Bool #
Returns whether a PDRS is entirely a LambdaPDRS
(at its top-level)
isResolvedPDRS :: PDRS -> Bool #
Returns whether a PDRS
is resolved (containing no unresolved merges
or lambdas)