Struct sapio_miniscript::miniscript::types::extra_props::ExtData

pub struct ExtData {
    pub pk_cost: usize,
    pub has_free_verify: bool,
    pub ops_count_static: usize,
    pub ops_count_sat: Option<usize>,
    pub ops_count_nsat: Option<usize>,
    pub stack_elem_count_sat: Option<usize>,
    pub stack_elem_count_dissat: Option<usize>,
    pub max_sat_size: Option<(usize, usize)>,
    pub max_dissat_size: Option<(usize, usize)>,
    pub timelock_info: TimeLockInfo,
    pub exec_stack_elem_count_sat: Option<usize>,
    pub exec_stack_elem_count_dissat: Option<usize>,
}

Structure representing the extra type properties of a fragment.

Fields

pk_cost: usize

The number of bytes needed to encode its scriptpubkey

has_free_verify: bool

Whether this fragment can be verify-wrapped for free

ops_count_static: usize

The worst case static(unexecuted) ops-count for this Miniscript fragment.

ops_count_sat: Option<usize>

The worst case ops-count for satisfying this Miniscript fragment.

ops_count_nsat: Option<usize>

The worst case ops-count for dissatisfying this Miniscript fragment.

stack_elem_count_sat: Option<usize>

The worst case number of stack elements for satisfying this Miniscript fragment.

stack_elem_count_dissat: Option<usize>

The worst case number of stack elements for dissatisfying this Miniscript fragment.

max_sat_size: Option<(usize, usize)>

Maximum size, in bytes, of a satisfying witness. First elements is the cost for the witness stack, the second one is the cost for scriptSig. All signatures are assumed to be 73 bytes in size, including the length prefix (segwit) or push opcode (pre-segwit) and sighash postfix.

max_dissat_size: Option<(usize, usize)>

Maximum dissatisfaction cost, in bytes, of a Miniscript fragment. First elements is the cost for the witness stack, the second one is the cost for scriptSig.

timelock_info: TimeLockInfo

The timelock info about heightlocks and timelocks

exec_stack_elem_count_sat: Option<usize>

Maximum stack + alt stack size during satisfaction execution This does not include initial witness elements. This element only captures the additional elements that are pushed during execution.

exec_stack_elem_count_dissat: Option<usize>

Maximum stack + alt stack size during dissat execution This does not include initial witness elements. This element only captures the additional elements that are pushed during execution.

Trait Implementations

impl Clone for ExtData

fn clone(&self) -> ExtData

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ExtData

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

Formats the value using the given formatter.

impl Hash for ExtData

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 Ord for ExtData

fn cmp(&self, other: &ExtData) -> 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 + PartialOrd,

Restrict a value to a certain interval.

impl PartialEq for ExtData

fn eq(&self, other: &ExtData) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

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

impl PartialOrd for ExtData

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

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

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

This method tests less than (for self and other) and is used by the < operator.

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

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

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

This method tests greater than (for self and other) and is used by the > operator.

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

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

impl Property for ExtData

fn type_check<Pk, Ctx, C>( fragment: &Terminal<Pk, Ctx>, _child: C ) -> Result<Self, Error<Pk, Ctx>>

where C: FnMut(usize) -> Option<Self>, Ctx: ScriptContext, Pk: MiniscriptKey,

Compute the type of a fragment assuming all the children of Miniscript have been computed already.

fn sanity_checks(&self)

Any extra sanity checks/assertions that should be applied after typechecking

fn from_true() -> Self

Type property of the True fragment

fn from_false() -> Self

Type property of the False fragment

fn from_pk_k() -> Self

Type property of the PkK fragment

fn from_pk_h() -> Self

Type property of the PkH fragment

fn from_multi(k: usize, n: usize) -> Self

Type property of a Multi fragment

fn from_multi_a(k: usize, n: usize) -> Self

Type property of a MultiA fragment

fn from_hash() -> Self

Type property of a hash fragment

fn from_sha256() -> Self

Type property of a Sha256 hash. Default implementation simply passes through to from_hash

fn from_txtemplate() -> Self

Type property of a TxTemplate hash. Default implementation simply passes through to from_txtemplate

fn from_hash256() -> Self

Type property of a Hash256 hash. Default implementation simply passes through to from_hash

fn from_ripemd160() -> Self

Type property of a Ripemd160 hash. Default implementation simply passes through to from_hash

fn from_hash160() -> Self

Type property of a Hash160 hash. Default implementation simply passes through to from_hash

fn from_time(_t: u32) -> Self

Type property of a timelock

fn from_after(t: u32) -> Self

Type property of a relative timelock. Default implementation simply passes through to from_time

fn from_older(t: u32) -> Self

Type property of an absolute timelock. Default implementation simply passes through to from_time

fn cast_alt(self) -> Result<Self, ErrorKind>

Cast using the Alt wrapper

fn cast_swap(self) -> Result<Self, ErrorKind>

Cast using the Swap wrapper

fn cast_check(self) -> Result<Self, ErrorKind>

Cast using the Check wrapper

fn cast_dupif(self) -> Result<Self, ErrorKind>

Cast using the DupIf wrapper

fn cast_verify(self) -> Result<Self, ErrorKind>

Cast using the Verify wrapper

fn cast_nonzero(self) -> Result<Self, ErrorKind>

Cast using the NonZero wrapper

fn cast_zeronotequal(self) -> Result<Self, ErrorKind>

Cast using the ZeroNotEqual wrapper

fn cast_true(self) -> Result<Self, ErrorKind>

Cast by changing [X] to AndV([X], True)

fn cast_or_i_false(self) -> Result<Self, ErrorKind>

Cast by changing [X] to or_i([X], 0) or or_i(0, [X])

fn cast_unlikely(self) -> Result<Self, ErrorKind>

Cast by changing [X] to or_i([X], 0). Default implementation simply passes through to cast_or_i_false

fn cast_likely(self) -> Result<Self, ErrorKind>

Cast by changing [X] to or_i(0, [X]). Default implementation simply passes through to cast_or_i_false

fn and_b(l: Self, r: Self) -> Result<Self, ErrorKind>

Computes the type of an AndB fragment

fn and_v(l: Self, r: Self) -> Result<Self, ErrorKind>

Computes the type of an AndV fragment

fn or_b(l: Self, r: Self) -> Result<Self, ErrorKind>

Computes the type of an OrB fragment

fn or_d(l: Self, r: Self) -> Result<Self, ErrorKind>

Computes the type of an OrD fragment

fn or_c(l: Self, r: Self) -> Result<Self, ErrorKind>

Computes the type of an OrC fragment

fn or_i(l: Self, r: Self) -> Result<Self, ErrorKind>

Computes the type of an OrI fragment

fn and_or(a: Self, b: Self, c: Self) -> Result<Self, ErrorKind>

Computes the type of an AndOr fragment

fn threshold<S>(k: usize, n: usize, sub_ck: S) -> Result<Self, ErrorKind>

where S: FnMut(usize) -> Result<Self, ErrorKind>,

Computes the type of an Thresh fragment

fn and_n(left: Self, right: Self) -> Result<Self, ErrorKind>

Computes the type of an AndN fragment

impl Copy for ExtData

impl Eq for ExtData

impl StructuralEq for ExtData

impl StructuralPartialEq for ExtData