Crate simfony

Library for parsing and compiling simfony

Re-exports

pub extern crate either;

pub extern crate simplicity;

pub use crate::types::ResolvedType;

pub use crate::value::Value;

pub use simplicity::elements;

Modules

array

ast

compile

Compile the parsed ast into a simplicity program

debug

dummy_env

Dummy Elements environment for testing

error

jet

named

num

parse

This module contains the parsing code to convert the tokens into an AST.

pattern

str

Types for handling strings with invariants.

types

value

Macros

impl_eq_hash

Recursively implement PartialEq, Eq and std::hash::Hash using selected members of a given type. The type must have a getter method for each selected member.

Structs

Arguments

Map of arguments.

CompiledProgram

A Simfony program, compiled to Simplicity.

Parameters

Map of parameters.

SatisfiedProgram

A Simfony program, compiled to Simplicity and satisfied with witness data.

TemplateProgram

The template of a Simfony program.

WitnessTypes

Map of witness types.

WitnessValues

Map of witness values.

Type Aliases

ProgNode