Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Scoping.Spec
Synopsis
- test_mangle ∷ TestTree
- prop_equalityFor ∷ program ~ Program Name DefaultUni DefaultFun () ⇒ (program → Quote program) → Property
- test_equalityRename ∷ TestTree
- test_equalityBrokenRename ∷ TestTree
- test_equalityNoMarkRename ∷ TestTree
- test_names ∷ TestTree
Documentation
prop_equalityFor ∷ program ~ Program Name DefaultUni DefaultFun () ⇒ (program → Quote program) → Property Source #
Test equality of a program and its renamed version, given a renamer.