Enum miniscript::miniscript::decode::Terminal

pub enum Terminal<Pk: MiniscriptKey, Ctx: ScriptContext> {
    True,
    False,
    PkK(Pk),
    PkH(Pk::Hash),
    After(u32),
    Older(u32),
    Sha256(Hash),
    Hash256(Hash),
    Ripemd160(Hash),
    Hash160(Hash),
    Alt(Arc<Miniscript<Pk, Ctx>>),
    Swap(Arc<Miniscript<Pk, Ctx>>),
    Check(Arc<Miniscript<Pk, Ctx>>),
    DupIf(Arc<Miniscript<Pk, Ctx>>),
    Verify(Arc<Miniscript<Pk, Ctx>>),
    NonZero(Arc<Miniscript<Pk, Ctx>>),
    ZeroNotEqual(Arc<Miniscript<Pk, Ctx>>),
    AndV(Arc<Miniscript<Pk, Ctx>>, Arc<Miniscript<Pk, Ctx>>),
    AndB(Arc<Miniscript<Pk, Ctx>>, Arc<Miniscript<Pk, Ctx>>),
    AndOr(Arc<Miniscript<Pk, Ctx>>, Arc<Miniscript<Pk, Ctx>>, Arc<Miniscript<Pk, Ctx>>),
    OrB(Arc<Miniscript<Pk, Ctx>>, Arc<Miniscript<Pk, Ctx>>),
    OrD(Arc<Miniscript<Pk, Ctx>>, Arc<Miniscript<Pk, Ctx>>),
    OrC(Arc<Miniscript<Pk, Ctx>>, Arc<Miniscript<Pk, Ctx>>),
    OrI(Arc<Miniscript<Pk, Ctx>>, Arc<Miniscript<Pk, Ctx>>),
    Thresh(usize, Vec<Arc<Miniscript<Pk, Ctx>>>),
    Multi(usize, Vec<Pk>),
}

All AST elements

Variants

True

1

False

0

PkK

<key>

Tuple Fields of PkK

0: Pk

PkH

DUP HASH160 <keyhash> EQUALVERIFY

Tuple Fields of PkH

0: Pk::Hash

After

n CHECKLOCKTIMEVERIFY

Tuple Fields of After

0: u32

Older

n CHECKSEQUENCEVERIFY

Tuple Fields of Older

0: u32

Sha256

SIZE 32 EQUALVERIFY SHA256 <hash> EQUAL

Tuple Fields of Sha256

0: Hash

Hash256

SIZE 32 EQUALVERIFY HASH256 <hash> EQUAL

Tuple Fields of Hash256

0: Hash

Ripemd160

SIZE 32 EQUALVERIFY RIPEMD160 <hash> EQUAL

Tuple Fields of Ripemd160

0: Hash

Hash160

SIZE 32 EQUALVERIFY HASH160 <hash> EQUAL

Tuple Fields of Hash160

0: Hash

Alt

TOALTSTACK [E] FROMALTSTACK

Tuple Fields of Alt

0: Arc<Miniscript<Pk, Ctx>>

Swap

SWAP [E1]

Tuple Fields of Swap

0: Arc<Miniscript<Pk, Ctx>>

Check

[Kt]/[Ke] CHECKSIG

Tuple Fields of Check

0: Arc<Miniscript<Pk, Ctx>>

DupIf

DUP IF [V] ENDIF

Tuple Fields of DupIf

0: Arc<Miniscript<Pk, Ctx>>

Verify

[T] VERIFY

Tuple Fields of Verify

0: Arc<Miniscript<Pk, Ctx>>

NonZero

SIZE 0NOTEQUAL IF Fn ENDIF

Tuple Fields of NonZero

0: Arc<Miniscript<Pk, Ctx>>

ZeroNotEqual

[X] 0NOTEQUAL

Tuple Fields of ZeroNotEqual

0: Arc<Miniscript<Pk, Ctx>>

AndV

[V] [T]/[V]/[F]/[Kt]

Tuple Fields of AndV

0: Arc<Miniscript<Pk, Ctx>>1: Arc<Miniscript<Pk, Ctx>>

AndB

[E] [W] BOOLAND

Tuple Fields of AndB

0: Arc<Miniscript<Pk, Ctx>>1: Arc<Miniscript<Pk, Ctx>>

AndOr

[various] NOTIF [various] ELSE [various] ENDIF

Tuple Fields of AndOr

0: Arc<Miniscript<Pk, Ctx>>1: Arc<Miniscript<Pk, Ctx>>2: Arc<Miniscript<Pk, Ctx>>

OrB

[E] [W] BOOLOR

Tuple Fields of OrB

0: Arc<Miniscript<Pk, Ctx>>1: Arc<Miniscript<Pk, Ctx>>

OrD

[E] IFDUP NOTIF [T]/[E] ENDIF

Tuple Fields of OrD

0: Arc<Miniscript<Pk, Ctx>>1: Arc<Miniscript<Pk, Ctx>>

OrC

[E] NOTIF [V] ENDIF

Tuple Fields of OrC

0: Arc<Miniscript<Pk, Ctx>>1: Arc<Miniscript<Pk, Ctx>>

OrI

IF [various] ELSE [various] ENDIF

Tuple Fields of OrI

0: Arc<Miniscript<Pk, Ctx>>1: Arc<Miniscript<Pk, Ctx>>

Thresh

[E] ([W] ADD)* k EQUAL

Tuple Fields of Thresh

0: usize1: Vec<Arc<Miniscript<Pk, Ctx>>>

Multi

k ()* n CHECKMULTISIG

Tuple Fields of Multi

0: usize1: Vec<Pk>

Implementations

impl<Pk: MiniscriptKey, Ctx: ScriptContext> Terminal<Pk, Ctx>

pub fn encode(&self, builder: Builder) -> Builder where
    Pk: ToPublicKey, 

Encode the element as a fragment of Bitcoin Script. The inverse function, from Script to an AST element, is implemented in the parse module.

pub fn script_size(&self) -> usize

Size, in bytes of the script-pubkey. If this Miniscript is used outside of segwit (e.g. in a bare or P2SH descriptor), this quantity should be multiplied by 4 to compute the weight.

In general, it is not recommended to use this function directly, but to instead call the corresponding function on a Descriptor, which will handle the segwit/non-segwit technicalities for you.

Trait Implementations

impl<Pk: Clone + MiniscriptKey, Ctx: Clone + ScriptContext> Clone for Terminal<Pk, Ctx> where
    Pk::Hash: Clone, 

fn clone(&self) -> Terminal<Pk, Ctx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Pk: MiniscriptKey, Ctx: ScriptContext> Debug for Terminal<Pk, Ctx>

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

Formats the value using the given formatter.

impl<Pk: MiniscriptKey, Ctx: ScriptContext> Display for Terminal<Pk, Ctx>

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

Formats the value using the given formatter.

impl<Pk: MiniscriptKey, Ctx: ScriptContext> ForEachKey<Pk> for Terminal<Pk, Ctx>

fn for_each_key<'a, F: FnMut(ForEach<'a, Pk>) -> bool>(
    &'a self,
    pred: F
) -> bool where
    Pk: 'a,
    Pk::Hash: 'a, 

Run a predicate on every key in the descriptor, returning whether the predicate returned true for every key

fn for_any_key<'a, F: FnMut(ForEach<'a, Pk>) -> bool>(&'a self, pred: F) -> bool where
    Pk: 'a,
    Pk::Hash: 'a, 

Run a predicate on every key in the descriptor, returning whether the predicate returned true for any key

impl<Pk, Ctx> FromTree for Terminal<Pk, Ctx> where
    Pk: MiniscriptKey + FromStr,
    Pk::Hash: FromStr,
    Ctx: ScriptContext,
    <Pk as FromStr>::Err: ToString,
    <<Pk as MiniscriptKey>::Hash as FromStr>::Err: ToString, 

fn from_tree(top: &Tree<'_>) -> Result<Terminal<Pk, Ctx>, Error>

Extract a structure from Tree representation

impl<Pk: Hash + MiniscriptKey, Ctx: Hash + ScriptContext> Hash for Terminal<Pk, Ctx> where
    Pk::Hash: Hash, 

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, 

Feeds a slice of this type into the given Hasher.

impl<Pk: MiniscriptKey, Ctx: ScriptContext> Liftable<Pk> for Terminal<Pk, Ctx>

fn lift(&self) -> Result<Semantic<Pk>, Error>

Convert the object into an abstract policy

impl<Pk: Ord + MiniscriptKey, Ctx: Ord + ScriptContext> Ord for Terminal<Pk, Ctx> where
    Pk::Hash: Ord, 

fn cmp(&self, other: &Terminal<Pk, Ctx>) -> Ordering

This method returns an Ordering between self and other.

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

Compares and returns the maximum of two values.

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

Compares and returns the minimum of two values.

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

Restrict a value to a certain interval.

impl<Pk: PartialEq + MiniscriptKey, Ctx: PartialEq + ScriptContext> PartialEq<Terminal<Pk, Ctx>> for Terminal<Pk, Ctx> where
    Pk::Hash: PartialEq, 

fn eq(&self, other: &Terminal<Pk, Ctx>) -> bool

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

fn ne(&self, other: &Terminal<Pk, Ctx>) -> bool

This method tests for !=.

impl<Pk: PartialOrd + MiniscriptKey, Ctx: PartialOrd + ScriptContext> PartialOrd<Terminal<Pk, Ctx>> for Terminal<Pk, Ctx> where
    Pk::Hash: PartialOrd, 

fn partial_cmp(&self, other: &Terminal<Pk, Ctx>) -> 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<Pk: MiniscriptKey, Q: MiniscriptKey, Ctx: ScriptContext> TranslatePk<Pk, Q> for Terminal<Pk, Ctx>

fn translate_pk<FPk, FPkh, FuncError>(
    &self,
    translatefpk: FPk,
    translatefpkh: FPkh
) -> Result<Self::Output, FuncError> where
    FPk: FnMut(&Pk) -> Result<Q, FuncError>,
    FPkh: FnMut(&Pk::Hash) -> Result<Q::Hash, FuncError>, 

Convert an AST element with one public key type to one of another public key type .This will panic while converting to Segwit Miniscript using uncompressed public keys

type Output = Terminal<Q, Ctx>

The associated output type. This must be Self

fn translate_pk_infallible<Fpk, Fpkh>(
    &self,
    translatefpk: Fpk,
    translatefpkh: Fpkh
) -> Self::Output where
    Fpk: FnMut(&P) -> Q,
    Fpkh: FnMut(&P::Hash) -> Q::Hash, 

Calls translate_pk with conversion functions that cannot fail

impl<Pk: Eq + MiniscriptKey, Ctx: Eq + ScriptContext> Eq for Terminal<Pk, Ctx> where
    Pk::Hash: Eq, 

impl<Pk: MiniscriptKey, Ctx: ScriptContext> StructuralEq for Terminal<Pk, Ctx>

impl<Pk: MiniscriptKey, Ctx: ScriptContext> StructuralPartialEq for Terminal<Pk, Ctx>