| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Executable.Types
Synopsis
- type PirProg = SerialisedScript.
Hex serialization plus hex encoding. This is the format used in the blueprints and most other places.
Flat AstNameType
| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Executable.Types
serialization plus hex encoding. This is the format used in the blueprints and most other places.
data CertifierOutputMode #
Constructors
| CertBasic | |
| CertReport FilePath | |
| CertProject |
data ConvertOptions #
data OptimiseOptions #
Constructors
| OptimiseOptions Input Format Output Format PrintMode Certifier CertifierOutputMode |
data PrintOptions #
Constructors
| PrintOptions Input Output PrintMode |
newtype ExampleOptions #
Constructors
| ExampleOptions ExampleMode |
data ApplyOptions #
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 |
pirFormatToFormat :: PirFormat -> Format #
Convert the PIR format type to the general format type.