Module program 

Core abstractions, definitions, and errors for compiling and evaluating Simplicity programs.

Modules

arguments

Definitions and traits for handling program arguments in Simplicity programs.

core

Core definitions, features, and abstractions for working with Simplicity programs.

error

Error types and definitions for program compilation, manipulation, and execution failures.

witness

Definitions and traits for resolving and satisfying execution witnesses for Simplicity programs.

Structs

Program

Represents a program structure containing its source, a public key, arguments, and associated storage.

Enums

ProgramError

Errors that can occur when compiling, preparing, and executing Simplicity programs.

TrackerLogLevel

Controls the verbosity of program execution logging.

Traits

ArgumentsTrait

An interface for structs capable of generating static argument mapping for Simplicity programs. See the include_simc!() macro, which generates automatic ArgumentsTrait implementation.

ProgramTrait

Executes simplicity programs at runtime.

WitnessTrait

An interface for structs capable of generating Simplicity program witness mappings. See the include_simc!() macro, which generates an automatic WitnessTrait implementation.