Module types

Miniscript Types Contains structures representing Miniscript types and utility functions Contains all the type checking rules for correctness and malleability Implemented as per rules on bitcoin.sipa.be/miniscript

Re-exports

pub use self::correctness::Base;

pub use self::correctness::Correctness;

pub use self::correctness::Input;

pub use self::extra_props::ExtData;

pub use self::malleability::Dissat;

pub use self::malleability::Malleability;

Modules

correctness

Correctness/Soundness type properties

extra_props

Other miscellaneous type properties which are not related to correctness or malleability.

malleability

Malleability-related Type properties

Structs

Error

Error type for typechecking

Type

Structure representing the type of a Miniscript fragment, including all properties relevant to the main codebase

Enums

ErrorKind

Detailed type of a typechecker error

Traits

Property

Trait representing a type property, which defines how the property propagates from terminals to the root of a Miniscript