Module miniscript::miniscript::types
source · Expand description
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/Soundness type properties
- Other miscellaneous type properties which are not related to correctness or malleability.
- Malleability-related Type properties
Structs
- Error type for typechecking
- Structure representing the type of a Miniscript fragment, including all properties relevant to the main codebase
Enums
- Detailed type of a typechecker error
Traits
- Trait representing a type property, which defines how the property propagates from terminals to the root of a Miniscript