Enum CovenantExt

pub enum CovenantExt<T: ExtParam> {
    LegacyVerEq(LegacyVerEq),
    LegacyOutputsPref(LegacyOutputsPref),
    Csfs(CheckSigFromStack<T>),
    Arith(Arith<T>),
    Introspect(CovOps<T>),
}

All known Extensions for elements-miniscript

Variants

LegacyVerEq(LegacyVerEq)

Version Equal

LegacyOutputsPref(LegacyOutputsPref)

Outputs Prefix equal

Csfs(CheckSigFromStack<T>)

CSFS

Arith(Arith<T>)

Arith opcodes

Introspect(CovOps<T>)

Cov opcodes

Trait Implementations

impl<T: Clone + ExtParam> Clone for CovenantExt<T>

fn clone(&self) -> CovenantExt<T>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug + ExtParam> Debug for CovenantExt<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T: ExtParam> Display for CovenantExt<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T, PArg, QArg, E> ExtTranslator<CovenantExt<PArg>, CovenantExt<QArg>, E> for T

where T: ExtParamTranslator<PArg, QArg, E>, PArg: ExtParam, QArg: ExtParam,

fn ext(&mut self, cov: &CovenantExt<PArg>) -> Result<CovenantExt<QArg>, E>

Translates one extension to another

impl<T: ExtParam> Extension for CovenantExt<T>

fn corr_prop(&self) -> Correctness

Calculate the correctness property for the leaf fragment. See miniscript reference for more info on different types

fn mall_prop(&self) -> Malleability

Calculate the malleability property for the leaf fragment. See miniscript reference for more info on different types

fn extra_prop(&self) -> ExtData

Calculate the Extra properties property for the leaf fragment. See current implementation for different fragments in extra_props.rs

fn script_size(&self) -> usize

Get the script size of the current fragment

fn from_name_tree( name: &str, children: &[Tree<'_>], ) -> Result<Self, FromTokenIterError>

Create an instance of this object from a Tree with root name and children as Vec<Tree>.

fn segwit_ctx_checks(&self) -> Result<(), ScriptContextError>

Validity rules for fragment in segwit context

fn tap_ctx_checks(&self) -> Result<(), ScriptContextError>

Validity rules for fragment in tap context

impl<T: Hash + ExtParam> Hash for CovenantExt<T>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<T: Ord + ExtParam> Ord for CovenantExt<T>

fn cmp(&self, other: &CovenantExt<T>) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl ParseableExt for CovenantExt<CovExtArgs>

fn satisfy<Pk, S>(&self, sat: &S) -> Satisfaction

where Pk: ToPublicKey, S: Satisfier<Pk>,

Produce a satisfaction for this from satisfier. See satisfaction code in satisfy.rs for example Note that the Satisfaction struct also covers the case when satisfaction is impossible/unavailable

fn dissatisfy<Pk, S>(&self, sat: &S) -> Satisfaction

where Pk: ToPublicKey, S: Satisfier<Pk>,

Produce a satisfaction for this from satisfier. See satisfaction code in satisfy.rs for example Note that the Satisfaction struct also covers the case when dissatisfaction is impossible/unavailable

fn evaluate( &self, stack: &mut Stack<'_>, txenv: Option<&TxEnv<'_, '_>>, ) -> Result<bool, Error>

Interpreter support Evaluate the fragment based on inputs from stack. If an implementation of this is provided the user can use the interpreter API to parse scripts from blockchain and check which constraints are satisfied Output Ok(true) when the ext fragment is satisfied. Output Ok(false) when the ext fragment is dissatisfied, Output Some(Err) when there is an error in interpreter value.

fn push_to_builder(&self, builder: Builder) -> Builder

Encoding of the current fragment

fn from_token_iter( tokens: &mut TokenIter<'_>, ) -> Result<Self, FromTokenIterError>

Parse the terminal from TokenIter. Implementers of this trait are responsible for making sure tokens is mutated correctly. If parsing is not successful, the tokens should not be consumed.

impl<T: PartialEq + ExtParam> PartialEq for CovenantExt<T>

fn eq(&self, other: &CovenantExt<T>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: PartialOrd + ExtParam> PartialOrd for CovenantExt<T>

fn partial_cmp(&self, other: &CovenantExt<T>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<PArg, QArg> TranslateExt<CovenantExt<PArg>, CovenantExt<QArg>> for CovenantExt<PArg>

where CovenantExt<PArg>: Extension, CovenantExt<QArg>: Extension, PArg: ExtParam, QArg: ExtParam,

type Output = CovenantExt<QArg>

The associated output type.

fn translate_ext<T, E>(&self, t: &mut T) -> Result<Self::Output, E>

where T: ExtTranslator<CovenantExt<PArg>, CovenantExt<QArg>, E>,

Translates a struct from one generic to another where the translations for Pk are provided by the given Translator.

impl<T: Eq + ExtParam> Eq for CovenantExt<T>

impl<T: ExtParam> StructuralPartialEq for CovenantExt<T>