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

Generators.Lib

Synopsis

Documentation

genTerm ∷ ∀ fun. (Bounded fun, Enum fun) ⇒ AstGen (Term Name DefaultUni fun ()) Source #

genProgram ∷ ∀ fun. (Bounded fun, Enum fun) ⇒ AstGen (Program Name DefaultUni fun ()) Source #

newtype TextualProgram a Source #

A Program which we compare using textual equality of names rather than alpha-equivalence.

Constructors

TextualProgram 

Fields

Instances

Instances details
Show a ⇒ Show (TextualProgram a) Source # 
Instance details

Defined in Generators.Lib

Methods

showsPrec ∷ Int → TextualProgram a → ShowS Source #

show ∷ TextualProgram a → String Source #

showList ∷ [TextualProgram a] → ShowS Source #

Eq a ⇒ Eq (TextualProgram a) Source # 
Instance details

Defined in Generators.Lib

Methods

(==) ∷ TextualProgram a → TextualProgram a → Bool Source #

(/=) ∷ TextualProgram a → TextualProgram a → Bool Source #

compareName ∷ Name → Name → 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 #