plutus-core-1.36.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.Generators.NEAT.Spec

Description

This file contains the tests and some associated machinery but not the generators.

Synopsis

Documentation

data Options Source #

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

Instances details
Enum Options 
Instance details

Defined in Control.Search

Read Options 
Instance details

Defined in Control.Search

Show Options 
Instance details

Defined in Control.Search

Eq Options 
Instance details

Defined in Control.Search

Methods

(==)OptionsOptionsBool Source #

(/=)OptionsOptionsBool Source #

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.

packAssertionShow e ⇒ (t → a → ExceptT e Quote ()) → t → a → Assertion Source #

given a prop, generate one test

tynamesStream Text Source #

Stream of type names t0, t1, t2, ..

namesStream Text Source #

Stream of names x0, x1, x2, ..

throwCtrexCtrexExceptT TestFail Quote () Source #

Throw a counter-example.

handleErrorType TyName DefaultUni () → ErrorWithCause (EvaluationError structural operational) term → Either (ErrorWithCause (EvaluationError structural operational) term) (Term TyName Name DefaultUni DefaultFun ()) Source #

handleUErrorErrorWithCause (EvaluationError structural operational) term → Either (ErrorWithCause (EvaluationError structural operational) term) (Term Name DefaultUni DefaultFun ()) Source #