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

PlutusCore.Executable.Types

Synopsis

Documentation

type UplcProg = Program Name DefaultUni DefaultFun Source #

UPLC program type.

data AstNameType Source #

Constructors

Named 
DeBruijn 
NamedDeBruijn 

Instances

Instances details
Show AstNameType Source # 
Instance details

Defined in PlutusCore.Executable.Types

data Input Source #

Constructors

FileInput FilePath 
StdInput 

Instances

Instances details
Show Input Source # 
Instance details

Defined in PlutusCore.Executable.Types

data TimingMode Source #

Constructors

NoTiming 
Timing Integer 

Instances

Instances details
Eq TimingMode Source # 
Instance details

Defined in PlutusCore.Executable.Types

data CekModel Source #

Constructors

Default 
Unit 

type ExampleName = Text Source #

data Format Source #

Input/output format for programs

Constructors

Textual 
Flat AstNameType 

Instances

Instances details
Show Format Source # 
Instance details

Defined in PlutusCore.Executable.Types

data PirFormat Source #

Specialised types for PIR, which doesn't support deBruijn names in ASTs | A specialised format type for PIR. We don't support deBruijn or named deBruijn for PIR.

Constructors

TextualPir 
FlatNamed 

Instances

Instances details
Show PirFormat Source # 
Instance details

Defined in PlutusCore.Executable.Types

pirFormatToFormatPirFormatFormat Source #

Convert the PIR format type to the general format type.

data Language Source #

Output types for some pir commands

Constructors

PLC 
UPLC