Enum miniscript::miniscript::types::malleability::Dissat
source · [−]pub enum Dissat {
None,
Unique,
Unknown,
}
Expand description
Whether the fragment has a dissatisfaction, and if so, whether it is unique. Affects both correctness and malleability-freeness, since we assume 3rd parties are able to produce dissatisfactions for all fragments.
Variants
None
Fragment has no dissatisfactions and will abort given non-satisfying input.
Unique
Fragment has a unique dissatisfaction, which is always available,
and will push 0 given this dissatisfaction as input. The combination
of Dissat::Unique
and Input::Zero
implies that a fragment is
impossible to satisfy (is a 0
or equivalent).
Unknown
No assumptions may be made about dissatisfying this fragment. This
does not necessarily mean that there are multiple dissatisfactions;
there may be none, or none that are always available (e.g. for a
pk_h
the key preimage may not be available).
Trait Implementations
sourceimpl Ord for Dissat
impl Ord for Dissat
sourceimpl PartialOrd<Dissat> for Dissat
impl PartialOrd<Dissat> for Dissat
sourcefn partial_cmp(&self, other: &Dissat) -> Option<Ordering>
fn partial_cmp(&self, other: &Dissat) -> Option<Ordering>
This method returns an ordering between self
and other
values if one exists. Read more
1.0.0 · sourcefn lt(&self, other: &Rhs) -> bool
fn lt(&self, other: &Rhs) -> bool
This method tests less than (for self
and other
) and is used by the <
operator. Read more
1.0.0 · sourcefn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
impl Copy for Dissat
impl Eq for Dissat
impl StructuralEq for Dissat
impl StructuralPartialEq for Dissat
Auto Trait Implementations
impl RefUnwindSafe for Dissat
impl Send for Dissat
impl Sync for Dissat
impl Unpin for Dissat
impl UnwindSafe for Dissat
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcefn clone_into(&self, target: &mut T)
fn clone_into(&self, target: &mut T)
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more