| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Generators.Spec
Description
UPLC property tests (pretty-printing/parsing and binary encoding/decoding).
Synopsis
- test_parsing ∷ TestTree
- propFlat ∷ TestTree
- propParser ∷ TestTree
- propTermSrcSpan ∷ TestTree
- propUnit ∷ TestTree
- propDefaultUni ∷ TestTree
- propListElementErrorLocation ∷ TestTree
- propTypeNameTypoErrorLocation ∷ TestTree
- propMissingClosingParen ∷ TestTree
- propMissingClosingBracket ∷ TestTree
- propMissingBuiltinOperand ∷ TestTree
- propMissingConOperands ∷ TestTree
- propInvalidKeyword ∷ TestTree
- propBracketMismatch ∷ TestTree
- testParseErrorGolden ∷ String → String → Text → TestTree
Documentation
propTermSrcSpan ∷ TestTree Source #
The SrcSpan of a parsed Term should not including trailing whitespaces.
propListElementErrorLocation ∷ TestTree Source #
Test that parser errors for list element type mismatches point to the correct location. This uses the exact example from the issue report.
propTypeNameTypoErrorLocation ∷ TestTree Source #
Test that parser errors for typos in type names point to the correct location. This tests the case where "boot" is used instead of "bool".
propMissingClosingParen ∷ TestTree Source #
Test that parser errors for missing closing parenthesis are clear.
propMissingClosingBracket ∷ TestTree Source #
Test that parser errors for missing closing bracket are clear.
propMissingBuiltinOperand ∷ TestTree Source #
Test that parser errors for missing builtin operand are clear.
propMissingConOperands ∷ TestTree Source #
Test that parser errors for missing con operands are clear.
propInvalidKeyword ∷ TestTree Source #
Test that parser errors for invalid keywords are clear.
propBracketMismatch ∷ TestTree Source #
Test that parser errors for bracket mismatches are clear.