plutus-core-1.30.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

tests ∷ TestTree Source #

data Options #

Constructors

D 
O 
F 
OF 
OS 
OSF 

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

tynames ∷ Stream Text Source #

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

names ∷ Stream Text Source #

Stream of names x0, x1, x2, ..

throwCtrexCtrex → ExceptT TestFail Quote () Source #

Throw a counter-example.

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

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

newtype GenMode Source #

Search strategy

Constructors

GenMode 

Fields