| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
FreeC.Environment.RenamerTests
Description
This module contains tests for FreeC.Environment.Renamer.
Synopsis
- testRenamer :: Spec
- genIdent :: Gen String
- genRegularIdent :: Gen String
- genReservedIdent :: Gen String
- genKeyword :: Gen String
- genVernacularCommand :: Gen String
- testMustRenameIdent :: Spec
- testRenameIdent :: Spec
Documentation
testRenamer :: Spec Source #
Test group for all FreeC.Environment.Renamer tests.
genRegularIdent :: Gen String Source #
Generator for arbitrary user defined identifiers.
genReservedIdent :: Gen String Source #
Generator for arbitrary identifiers reserved by the Coq Base library.
genKeyword :: Gen String Source #
Generator for arbitrary Coq keywords.
genVernacularCommand :: Gen String Source #
Generator for arbitrary Vernacular commands.
testMustRenameIdent :: Spec Source #
Test group for mustRenameIdent tests.
testRenameIdent :: Spec Source #
Test group for renameIdent tests.