Module sapio_miniscript::miniscript::types [−][src]
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 |