Show AstNameType Source #
Instance details Defined in PlutusCore.Executable.Types Methods showsPrec ∷ Int → AstNameType → ShowS Source # show ∷ AstNameType → String Source # showList ∷ [AstNameType] → ShowS Source #
Eq AstNameType Source #
Instance details Defined in PlutusCore.Executable.Types Methods (==) ∷ AstNameType → AstNameType → Bool Source # (/=) ∷ AstNameType → AstNameType → Bool 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

Bounded PrintMode Source #
Instance details Defined in PlutusCore.Executable.Types Methods minBound ∷ PrintMode Source # maxBound ∷ PrintMode Source #
Enum PrintMode Source #
Instance details Defined in PlutusCore.Executable.Types Methods succ ∷ PrintMode → PrintMode Source # pred ∷ PrintMode → PrintMode Source # toEnum ∷ Int → PrintMode Source # fromEnum ∷ PrintMode → Int Source # enumFrom ∷ PrintMode → [PrintMode] Source # enumFromThen ∷ PrintMode → PrintMode → [PrintMode] Source # enumFromTo ∷ PrintMode → PrintMode → [PrintMode] Source # enumFromThenTo ∷ PrintMode → PrintMode → PrintMode → [PrintMode] Source #
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
LogsWithCallTrace

Instances

Instances details

Bounded TraceMode Source #
Instance details Defined in PlutusCore.Executable.Types Methods minBound ∷ TraceMode Source # maxBound ∷ TraceMode Source #
Enum TraceMode Source #
Instance details Defined in PlutusCore.Executable.Types Methods succ ∷ TraceMode → TraceMode Source # pred ∷ TraceMode → TraceMode Source # toEnum ∷ Int → TraceMode Source # fromEnum ∷ TraceMode → Int Source # enumFrom ∷ TraceMode → [TraceMode] Source # enumFromThen ∷ TraceMode → TraceMode → [TraceMode] Source # enumFromTo ∷ TraceMode → TraceMode → [TraceMode] Source # enumFromThenTo ∷ TraceMode → TraceMode → TraceMode → [TraceMode] Source #
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
Serialised	standard serialization/deserialization using `SerialisedScript`.
Hex	serialization plus hex encoding. This is the format used in the blueprints and most other places.
Flat AstNameType
Blueprint

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 #
Eq Format Source #
Instance details Defined in PlutusCore.Executable.Types Methods (==) ∷ Format → Format → Bool Source # (/=) ∷ Format → Format → Bool Source #

type Certifier = Maybe String Source #

data CertifierOutputMode Source #

Constructors

CertBasic
CertReport FilePath
CertProject

data ConvertOptions Source #

Constructors

ConvertOptions Input Format Output Format PrintMode

data OptimiseOptions name a Source #

Constructors

OptimiseOptions Input Format Output Format PrintMode Certifier CertifierOutputMode (OptimizeOpts name a) OptimiseEvalOpts

data PrintOptions Source #

Constructors

PrintOptions Input Output PrintMode

newtype ExampleOptions Source #

Constructors

ExampleOptions ExampleMode

data ApplyOptions Source #

Each input file is paired with the input format to read it with (the explicit --if, or the format deduced from that file's own extension).

Constructors

ApplyOptions [(FilePath, Format)] Output Format PrintMode

data EvalArgKind Source #

Constructors

ArgProg	Each argument is a program
ArgData	Each argment is a Data object

Instances

Instances details

Show EvalArgKind Source #
Instance details Defined in PlutusCore.Executable.Types Methods showsPrec ∷ Int → EvalArgKind → ShowS Source # show ∷ EvalArgKind → String Source # showList ∷ [EvalArgKind] → ShowS Source #

data OptimiseEvalOpts Source #

Constructors

OptimiseEvalOpts
Fields oeEval ∷ Bool Whether or not to evaluate the program before/after optimisation. oeArgFiles ∷ [FilePath] Argument files, when optimising a single program (i.e., the input-format is anything other than blueprint). oeArgKind ∷ EvalArgKind oeBlueprintArgsDir ∷ Maybe FilePath

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

Instances

Instances details

Show Language Source #
Instance details Defined in PlutusCore.Executable.Types Methods showsPrec ∷ Int → Language → ShowS Source # show ∷ Language → String Source # showList ∷ [Language] → ShowS Source #