pub struct Redeem<J> { /* private fields */ }
Trait Implementations§
Source§impl<W: Iterator<Item = Value>, J: Jet> Converter<Commit<J>, Redeem<J>> for SimpleFinalizer<W>
impl<W: Iterator<Item = Value>, J: Jet> Converter<Commit<J>, Redeem<J>> for SimpleFinalizer<W>
Source§type Error = FinalizeError
type Error = FinalizeError
The error type returned by the methods on this trait.
Source§fn convert_witness(
&mut self,
data: &PostOrderIterItem<&CommitNode<J>>,
_: &NoWitness,
) -> Result<Value, Self::Error>
fn convert_witness( &mut self, data: &PostOrderIterItem<&CommitNode<J>>, _: &NoWitness, ) -> Result<Value, Self::Error>
For witness nodes, this method is called first to attach witness data to
the node. Read more
Source§fn convert_disconnect(
&mut self,
_: &PostOrderIterItem<&CommitNode<J>>,
_: Option<&Arc<RedeemNode<J>>>,
_: &NoDisconnect,
) -> Result<Arc<RedeemNode<J>>, Self::Error>
fn convert_disconnect( &mut self, _: &PostOrderIterItem<&CommitNode<J>>, _: Option<&Arc<RedeemNode<J>>>, _: &NoDisconnect, ) -> Result<Arc<RedeemNode<J>>, Self::Error>
For disconnect nodes, this method is called first to attach a disconnected
expression to the node. Read more
Source§fn convert_data(
&mut self,
data: &PostOrderIterItem<&CommitNode<J>>,
inner: Inner<&Arc<RedeemNode<J>>, J, &Arc<RedeemNode<J>>, &Value>,
) -> Result<Arc<RedeemData<J>>, Self::Error>
fn convert_data( &mut self, data: &PostOrderIterItem<&CommitNode<J>>, inner: Inner<&Arc<RedeemNode<J>>, J, &Arc<RedeemNode<J>>, &Value>, ) -> Result<Arc<RedeemData<J>>, Self::Error>
This method is called for every node, after
Self::convert_witness
or
Self::prune_case
, if either is applicable. Read moreSource§fn visit_node(&mut self, _data: &PostOrderIterItem<&Node<N>>)
fn visit_node(&mut self, _data: &PostOrderIterItem<&Node<N>>)
This method is called on every node, to inform the
Converter
about the
state of the iterator. Read moreSource§impl<J: Jet> Marker for Redeem<J>
impl<J: Jet> Marker for Redeem<J>
Source§type CachedData = Arc<RedeemData<J>>
type CachedData = Arc<RedeemData<J>>
Precomputed data about the node, such as its type arrow or various Merkle roots.
Source§type Disconnect = Arc<Node<Redeem<J>>>
type Disconnect = Arc<Node<Redeem<J>>>
Type of disconnect data attached to DAGs of this node type.
Source§type SharingId = Ihr
type SharingId = Ihr
A type which uniquely identifies a node, for purposes of sharing
during iteration over the DAG.
Source§fn compute_sharing_id(_: Cmr, cached_data: &Arc<RedeemData<J>>) -> Option<Ihr>
fn compute_sharing_id(_: Cmr, cached_data: &Arc<RedeemData<J>>) -> Option<Ihr>
Yields the sharing ID for a given type, starting from its CMR and its cached data. Read more
Source§impl<J: Ord> Ord for Redeem<J>
impl<J: Ord> Ord for Redeem<J>
Source§impl<J: PartialOrd> PartialOrd for Redeem<J>
impl<J: PartialOrd> PartialOrd for Redeem<J>
impl<J: Copy> Copy for Redeem<J>
impl<J: Eq> Eq for Redeem<J>
impl<J> StructuralPartialEq for Redeem<J>
Auto Trait Implementations§
impl<J> Freeze for Redeem<J>
impl<J> RefUnwindSafe for Redeem<J>where
J: RefUnwindSafe,
impl<J> Send for Redeem<J>where
J: Send,
impl<J> Sync for Redeem<J>where
J: Sync,
impl<J> Unpin for Redeem<J>where
J: Unpin,
impl<J> UnwindSafe for Redeem<J>where
J: UnwindSafe,
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