| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Generators
Description
UPLC property tests (pretty-printing/parsing and binary encoding/decoding).
Synopsis
- newtype TextualProgram a = TextualProgram {}
- compareName ∷ Name → Name → Bool
- compareTerm ∷ (GEq uni, Closed uni, uni `Everywhere` Eq, Eq fun, Eq a) ⇒ Term Name uni fun a → Term Name uni fun a → Bool
- compareProgram ∷ (GEq uni, Closed uni, uni `Everywhere` Eq, Eq fun, Eq a) ⇒ Program Name uni fun a → Program Name uni fun a → Bool
- genTerm ∷ ∀ fun. (Bounded fun, Enum fun) ⇒ AstGen (Term Name DefaultUni fun ())
- genProgram ∷ ∀ fun. (Bounded fun, Enum fun) ⇒ AstGen (Program Name DefaultUni fun ())
- propFlat ∷ TestTree
- propParser ∷ TestTree
- propTermSrcSpan ∷ TestTree
- propUnit ∷ TestTree
- propDefaultUni ∷ TestTree
- test_parsing ∷ TestTree
Documentation
newtype TextualProgram a Source #
A Program which we compare using textual equality of names rather than alpha-equivalence.
Constructors
| TextualProgram | |
Fields | |
Instances
| Show a ⇒ Show (TextualProgram a) Source # | |
Defined in Generators | |
| Eq a ⇒ Eq (TextualProgram a) Source # | |
Defined in Generators Methods (==) ∷ TextualProgram a → TextualProgram a → Bool Source # (/=) ∷ TextualProgram a → TextualProgram a → Bool Source # | |
compareTerm ∷ (GEq uni, Closed uni, uni `Everywhere` Eq, Eq fun, Eq a) ⇒ Term Name uni fun a → Term Name uni fun a → Bool Source #
compareProgram ∷ (GEq uni, Closed uni, uni `Everywhere` Eq, Eq fun, Eq a) ⇒ Program Name uni fun a → Program Name uni fun a → Bool Source #
genProgram ∷ ∀ fun. (Bounded fun, Enum fun) ⇒ AstGen (Program Name DefaultUni fun ()) Source #