pub enum NoExt {}
Expand description
No Extensions for elements-miniscript All the implementations for the this function are unreachable
Trait Implementations§
Source§impl Extension for NoExt
impl Extension for NoExt
Source§fn corr_prop(&self) -> Correctness
fn corr_prop(&self) -> Correctness
Calculate the correctness property for the leaf fragment.
See miniscript reference for more info on different types
Source§fn mall_prop(&self) -> Malleability
fn mall_prop(&self) -> Malleability
Calculate the malleability property for the leaf fragment.
See miniscript reference for more info on different types
Source§fn extra_prop(&self) -> ExtData
fn extra_prop(&self) -> ExtData
Calculate the Extra properties property for the leaf fragment.
See current implementation for different fragments in extra_props.rs
Source§fn script_size(&self) -> usize
fn script_size(&self) -> usize
Get the script size of the current fragment
Source§fn from_name_tree(
_name: &str,
_children: &[Tree<'_>],
) -> Result<Self, FromTokenIterError>
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>
.Source§fn segwit_ctx_checks(&self) -> Result<(), ScriptContextError>
fn segwit_ctx_checks(&self) -> Result<(), ScriptContextError>
Validity rules for fragment in segwit context
Source§fn tap_ctx_checks(&self) -> Result<(), ScriptContextError>
fn tap_ctx_checks(&self) -> Result<(), ScriptContextError>
Validity rules for fragment in tap context
Source§impl<Pk: MiniscriptKey> Liftable<Pk> for NoExt
impl<Pk: MiniscriptKey> Liftable<Pk> for NoExt
Source§impl Ord for NoExt
impl Ord for NoExt
Source§impl ParseableExt for NoExt
impl ParseableExt for NoExt
Source§fn satisfy<Pk, S>(&self, _sat: &S) -> Satisfactionwhere
Pk: ToPublicKey,
S: Satisfier<Pk>,
fn satisfy<Pk, S>(&self, _sat: &S) -> Satisfactionwhere
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/unavailableSource§fn dissatisfy<Pk, S>(&self, _sat: &S) -> Satisfactionwhere
Pk: ToPublicKey,
S: Satisfier<Pk>,
fn dissatisfy<Pk, S>(&self, _sat: &S) -> Satisfactionwhere
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/unavailableSource§fn evaluate(
&self,
_stack: &mut Stack<'_>,
_txenv: Option<&TxEnv<'_, '_>>,
) -> Result<bool, Error>
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.
Source§fn push_to_builder(&self, _builder: Builder) -> Builder
fn push_to_builder(&self, _builder: Builder) -> Builder
Encoding of the current fragment
Source§fn from_token_iter(
_tokens: &mut TokenIter<'_>,
) -> Result<Self, FromTokenIterError>
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.Source§impl PartialOrd for NoExt
impl PartialOrd for NoExt
Source§impl<PExt, QExt> TranslateExt<PExt, QExt> for NoExt
impl<PExt, QExt> TranslateExt<PExt, QExt> for NoExt
Source§fn translate_ext<T, E>(&self, _t: &mut T) -> Result<Self::Output, E>where
T: ExtTranslator<PExt, QExt, E>,
fn translate_ext<T, E>(&self, _t: &mut T) -> Result<Self::Output, E>where
T: ExtTranslator<PExt, QExt, E>,
Translates a struct from one generic to another where the translations
for Pk are provided by the given
Translator
.impl Copy for NoExt
impl Eq for NoExt
impl StructuralPartialEq for NoExt
Auto Trait Implementations§
impl Freeze for NoExt
impl RefUnwindSafe for NoExt
impl Send for NoExt
impl Sync for NoExt
impl Unpin for NoExt
impl UnwindSafe for NoExt
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more