plutus-metatheory-0.1.0.0: Command line tool for running plutus core programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Opts

Documentation

data BudgetMode a Source #

Constructors

Silent 
Counting a 
Tallying a 

Instances

Instances details
Functor BudgetMode Source # 
Instance details

Defined in Opts

Methods

fmap ∷ (a → b) → BudgetMode a → BudgetMode b Source #

(<$) ∷ a → BudgetMode b → BudgetMode a Source #

data EvalMode Source #

Constructors

U 
TL 
TCK 
TCEK 

Instances

Instances details
Read EvalMode Source # 
Instance details

Defined in Opts

Show EvalMode Source # 
Instance details

Defined in Opts

data EvalOptions a Source #

Instances

Instances details
Functor EvalOptions Source # 
Instance details

Defined in Opts

Methods

fmap ∷ (a → b) → EvalOptions a → EvalOptions b Source #

(<$) ∷ a → EvalOptions b → EvalOptions a Source #

data Command a Source #

Instances

Instances details
Functor Command Source # 
Instance details

Defined in Opts

Methods

fmap ∷ (a → b) → Command a → Command b Source #

(<$) ∷ a → Command b → Command a Source #