| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Generators.NEAT.Spec
Description
This file contains the tests and some associated machinery but not the generators.
Synopsis
- tests ∷ TestTree
- data Options
- data TestFail
- bigTest ∷ (Check t a, Enumerable a) ⇒ String → t → (t → a → Assertion) → TestTree
- packAssertion ∷ Show e ⇒ (t → a → ExceptT e Quote ()) → t → a → Assertion
- tynames ∷ Stream Text
- names ∷ Stream Text
- throwCtrex ∷ Ctrex → ExceptT TestFail Quote ()
- data Ctrex
- = CtrexNormalizeConvertCommuteTypes (Kind ()) ClosedTypeG (Type TyName DefaultUni ()) (Type TyName DefaultUni ())
- | CtrexNormalTypesCannotReduce (Kind ()) ClosedTypeG
- | CtrexKindCheckFail (Kind ()) ClosedTypeG
- | CtrexKindPreservationFail (Kind ()) ClosedTypeG
- | CtrexKindMismatch (Kind ()) ClosedTypeG (Kind ()) (Kind ())
- | CtrexTypeNormalizationFail (Kind ()) ClosedTypeG
- | CtrexTypeNormalizationMismatch (Kind ()) ClosedTypeG (Type TyName DefaultUni ()) (Type TyName DefaultUni ())
- | CtrexTypeCheckFail ClosedTypeG ClosedTermG
- | CtrexTypePreservationFail ClosedTypeG ClosedTermG (Term TyName Name DefaultUni DefaultFun ()) (Term TyName Name DefaultUni DefaultFun ())
- | CtrexTermEvaluationFail String ClosedTypeG ClosedTermG
- | CtrexTermEvaluationMismatch ClosedTypeG ClosedTermG [(String, Term TyName Name DefaultUni DefaultFun ())]
- | CtrexUntypedTermEvaluationMismatch ClosedTypeG ClosedTermG [(String, Term Name DefaultUni DefaultFun ())]
- handleError ∷ Type TyName DefaultUni () → ErrorWithCause (EvaluationError structural operational) term → Either (ErrorWithCause (EvaluationError structural operational) term) (Term TyName Name DefaultUni DefaultFun ())
- handleUError ∷ ErrorWithCause (EvaluationError structural operational) term → Either (ErrorWithCause (EvaluationError structural operational) term) (Term Name DefaultUni DefaultFun ())
- newtype GenDepth = GenDepth {}
- newtype GenMode = GenMode {}
Documentation
Options for parallel conjunction strategies. Only matters for
predicates using the Cool data type instead of Bool.
Constructors
| D | Sequential |
| O | Optimal Short-circuiting |
| F | Parallel (fair) |
| OF | Optimal Short-circuiting and fairness |
| OS | Optimal Short-circuiting and choice-subset detection |
| OSF | Subset choice short-circuiting |
Instances
| Enum Options | |
Defined in Control.Search Methods succ ∷ Options → Options Source # pred ∷ Options → Options Source # toEnum ∷ Int → Options Source # fromEnum ∷ Options → Int Source # enumFrom ∷ Options → [Options] Source # enumFromThen ∷ Options → Options → [Options] Source # enumFromTo ∷ Options → Options → [Options] Source # enumFromThenTo ∷ Options → Options → Options → [Options] Source # | |
| Read Options | |
| Show Options | |
| Eq Options | |
bigTest ∷ (Check t a, Enumerable a) ⇒ String → t → (t → a → Assertion) → TestTree Source #
generate examples using search' and then generate one big test
that applies the given test to each of them.
packAssertion ∷ Show e ⇒ (t → a → ExceptT e Quote ()) → t → a → Assertion Source #
given a prop, generate one test
Constructors
handleError ∷ Type TyName DefaultUni () → ErrorWithCause (EvaluationError structural operational) term → Either (ErrorWithCause (EvaluationError structural operational) term) (Term TyName Name DefaultUni DefaultFun ()) Source #
handleUError ∷ ErrorWithCause (EvaluationError structural operational) term → Either (ErrorWithCause (EvaluationError structural operational) term) (Term Name DefaultUni DefaultFun ()) Source #
Search depth, measured in program size
Constructors
| GenDepth | |
Fields | |
Instances
| Read GenDepth Source # | |
| Eq GenDepth Source # | |
| Ord GenDepth Source # | |
Defined in PlutusCore.Generators.NEAT.Spec | |
| IsOption GenDepth Source # | |
Defined in PlutusCore.Generators.NEAT.Spec | |