Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- type PirProg = Program TyName Name DefaultUni DefaultFun
- type PirTerm = Term TyName Name DefaultUni DefaultFun
- type PlcProg = Program TyName Name DefaultUni DefaultFun
- type PlcTerm = Term TyName Name DefaultUni DefaultFun
- type UplcProg = Program Name DefaultUni DefaultFun
- type UplcTerm = Term Name DefaultUni DefaultFun
- data AstNameType
- data Input
- data Output
- data TimingMode
- data CekModel
- data PrintMode
- data NameFormat
- data TraceMode
- type ExampleName = Text
- data ExampleMode
- type Files = [FilePath]
- data Format
- type Certifier = Maybe String
- data ConvertOptions = ConvertOptions Input Format Output Format PrintMode
- data OptimiseOptions = OptimiseOptions Input Format Output Format PrintMode Certifier
- data PrintOptions = PrintOptions Input Output PrintMode
- newtype ExampleOptions = ExampleOptions ExampleMode
- data ApplyOptions = ApplyOptions Files Format Output Format PrintMode
- data PirFormat
- pirFormatToFormat ∷ PirFormat → Format
- data Language
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 #
Instances
Show AstNameType Source # | |
Defined in PlutusCore.Executable.Types |
data TimingMode Source #
Instances
Eq TimingMode Source # | |
Defined in PlutusCore.Executable.Types (==) ∷ TimingMode → TimingMode → Bool Source # (/=) ∷ TimingMode → TimingMode → Bool Source # |
type ExampleName = Text Source #
Input/output format for programs
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.
pirFormatToFormat ∷ PirFormat → Format Source #
Convert the PIR format type to the general format type.