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

PlutusCore.Executable.Types

Synopsis

Documentation

type PirProg = Program TyName Name DefaultUni DefaultFun Source #

PIR program type.

type PirTerm = Term TyName Name DefaultUni DefaultFun Source #

PIR term type.

type PlcProg = Program TyName Name DefaultUni DefaultFun Source #

PLC program type.

type PlcTerm = Term TyName Name DefaultUni DefaultFun Source #

PLC term type.

type UplcProg = Program Name DefaultUni DefaultFun Source #

UPLC program type.

type UplcTerm = Term Name DefaultUni DefaultFun Source #

UPLC term type.

data AstNameType Source #

Constructors

Named 
DeBruijn 
NamedDeBruijn 

Instances

Instances details
Show AstNameType Source # 
Instance details

Defined in PlutusCore.Executable.Types

Methods

showsPrec ∷ Int → AstNameType → ShowS Source #

show ∷ AstNameType → String Source #

showList ∷ [AstNameType] → ShowS Source #

data Input Source #

Constructors

FileInput FilePath 
StdInput 

Instances

Instances details
Show Input Source # 
Instance details

Defined in PlutusCore.Executable.Types

Methods

showsPrec ∷ Int → Input → ShowS Source #

show ∷ Input → String Source #

showList ∷ [Input] → ShowS Source #

data Output Source #

Constructors

FileOutput FilePath 
StdOutput 
NoOutput 

data TimingMode Source #

Constructors

NoTiming 
Timing Integer 

Instances

Instances details
Eq TimingMode Source # 
Instance details

Defined in PlutusCore.Executable.Types

Methods

(==) ∷ TimingMode → TimingMode → Bool Source #

(/=) ∷ TimingMode → TimingMode → Bool Source #

data CekModel Source #

Constructors

Default 
Unit 

data PrintMode Source #

Constructors

Classic 
Simple 
Readable 
ReadableSimple 

Instances

Instances details
Read PrintMode Source # 
Instance details

Defined in PlutusCore.Executable.Types

Methods

readsPrec ∷ Int → ReadS PrintMode Source #

readList ∷ ReadS [PrintMode] Source #

readPrec ∷ ReadPrec PrintMode Source #

readListPrec ∷ ReadPrec [PrintMode] Source #

Show PrintMode Source # 
Instance details

Defined in PlutusCore.Executable.Types

Methods

showsPrec ∷ Int → PrintMode → ShowS Source #

show ∷ PrintMode → String Source #

showList ∷ [PrintMode] → ShowS Source #

data NameFormat Source #

Constructors

IdNames 
DeBruijnNames 

data TraceMode Source #

Constructors

None 
Logs 
LogsWithTimestamps 
LogsWithBudgets 

Instances

Instances details
Read TraceMode Source # 
Instance details

Defined in PlutusCore.Executable.Types

Methods

readsPrec ∷ Int → ReadS TraceMode Source #

readList ∷ ReadS [TraceMode] Source #

readPrec ∷ ReadPrec TraceMode Source #

readListPrec ∷ ReadPrec [TraceMode] Source #

Show TraceMode Source # 
Instance details

Defined in PlutusCore.Executable.Types

Methods

showsPrec ∷ Int → TraceMode → ShowS Source #

show ∷ TraceMode → String Source #

showList ∷ [TraceMode] → ShowS Source #

type ExampleName = Text Source #

data ExampleMode Source #

Constructors

ExampleSingle ExampleName 
ExampleAvailable 

type Files = [FilePath] 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

Methods

showsPrec ∷ Int → Format → ShowS Source #

show ∷ Format → String Source #

showList ∷ [Format] → ShowS Source #

type Certifier = Maybe String Source #

data ConvertOptions Source #

Constructors

ConvertOptions Input Format Output Format PrintMode 

data OptimiseOptions Source #

Constructors

OptimiseOptions Input Format Output Format PrintMode Certifier 

data PrintOptions Source #

Constructors

PrintOptions Input Output PrintMode 

newtype ExampleOptions Source #

Constructors

ExampleOptions ExampleMode 

data ApplyOptions Source #

Constructors

ApplyOptions Files Format Output Format PrintMode 

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

Methods

showsPrec ∷ Int → PirFormat → ShowS Source #

show ∷ PirFormat → String Source #

showList ∷ [PirFormat] → ShowS Source #

pirFormatToFormat ∷ PirFormat → Format Source #

Convert the PIR format type to the general format type.

data Language Source #

Output types for some pir commands

Constructors

PLC 
UPLC