Struct miniscript::miniscript::analyzable::ExtParams

pub struct ExtParams {
    pub top_unsafe: bool,
    pub resource_limitations: bool,
    pub timelock_mixing: bool,
    pub malleability: bool,
    pub repeated_pk: bool,
    pub raw_pkh: bool,
}

Params for parsing miniscripts that either non-sane or non-specified(experimental) in the spec. Used as a parameter Miniscript::from_str_ext and Miniscript::parse_with_ext.

This allows parsing miniscripts if

1. It is unsafe(does not require a digital signature to spend it)
2. It contains a unspendable path because of either a. Resource limitations b. Timelock Mixing
3. The script is malleable and thereby some of satisfaction weight guarantees are not satisfied.
4. It has repeated public keys
5. raw pkh fragments without the pk. This could be obtained when parsing miniscript from script

Fields

top_unsafe: bool

Allow parsing of non-safe miniscripts

resource_limitations: bool

Allow parsing of miniscripts with unspendable paths

timelock_mixing: bool

Allow parsing of miniscripts with timelock mixing

malleability: bool

Allow parsing of malleable miniscripts

repeated_pk: bool

Allow parsing of miniscripts with repeated public keys

raw_pkh: bool

Allow parsing of miniscripts with raw pkh fragments without the pk. This could be obtained when parsing miniscript from script

Implementations

impl ExtParams

pub fn new() -> ExtParams

Create a new ExtParams that with all the sanity rules

pub fn sane() -> ExtParams

Create a new ExtParams that allows all the sanity rules

pub fn insane() -> ExtParams

Create a new ExtParams that insanity rules This enables parsing well specified but “insane” miniscripts. Refer to the ExtParams documentation for more details on “insane” miniscripts.

pub fn allow_all() -> ExtParams

Enable all non-sane rules and experimental rules

pub fn top_unsafe(self) -> ExtParams

Builder that allows non-safe miniscripts.

pub fn exceed_resource_limitations(self) -> ExtParams

Builder that allows miniscripts with exceed resource limitations.

pub fn timelock_mixing(self) -> ExtParams

Builder that allows miniscripts with timelock mixing.

pub fn malleability(self) -> ExtParams

Builder that allows malleable miniscripts.

pub fn repeated_pk(self) -> ExtParams

Builder that allows miniscripts with repeated public keys.

pub fn raw_pkh(self) -> ExtParams

Builder that allows miniscripts with raw pkh fragments.

Trait Implementations

impl Clone for ExtParams

fn clone(&self) -> ExtParams

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ExtParams

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

Formats the value using the given formatter.

impl Default for ExtParams

fn default() -> ExtParams

Returns the “default value” for a type.

impl Ord for ExtParams

fn cmp(&self, other: &ExtParams) -> Ordering

This method returns an Ordering between self and other.

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

Compares and returns the maximum of two values.

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

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere
    Self: Sized + PartialOrd<Self>,

Restrict a value to a certain interval.

impl PartialEq<ExtParams> for ExtParams

fn eq(&self, other: &ExtParams) -> 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<ExtParams> for ExtParams

fn partial_cmp(&self, other: &ExtParams) -> 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 Copy for ExtParams

impl Eq for ExtParams

impl StructuralEq for ExtParams

impl StructuralPartialEq for ExtParams