Struct SingletonDriver 

pub struct SingletonDriver<S> { /* private fields */ }

Core driver for Action Layer singletons.

Generic over the state type S. Handles common singleton operations:

• Launching
• Building action spends
• State/lineage tracking
• Proof generation

Specific singleton implementations (NetworkSingleton, CollateralSingleton, etc.) wrap this driver and expose typed action methods.

Implementations

impl<S> SingletonDriver<S>

where S: Clone + ToClvm<Allocator> + FromClvm<Allocator> + ToTreeHash,

pub fn new(action_hashes: Vec<Bytes32>, hint: Bytes32, initial_state: S) -> Self

Create a driver for a new singleton (not yet launched)

pub fn from_coin( singleton: SingletonCoin, state: S, action_hashes: Vec<Bytes32>, hint: Bytes32, ) -> Self

Create a driver for an existing on-chain singleton

pub fn launcher_id(&self) -> Option<Bytes32>

Get the launcher ID (None if not launched)

pub fn current_coin(&self) -> Option<&Coin>

Get the current coin (None if not launched or melted)

pub fn state(&self) -> &S

Get the current state

pub fn state_mut(&mut self) -> &mut S

Get mutable reference to state (for direct updates)

pub fn is_launched(&self) -> bool

Check if the singleton has been launched

pub fn hint(&self) -> Bytes32

Get the hint

pub fn action_config(&self) -> &ActionLayerConfig<S>

Get the action layer config

pub fn inner_puzzle_hash(&self) -> TreeHash

Compute the inner puzzle hash for the current state

pub fn inner_puzzle_hash_for_state(&self, state: &S) -> TreeHash

Compute the inner puzzle hash for a given state

pub fn singleton_puzzle_hash(&self) -> Option<TreeHash>

Compute the full singleton puzzle hash (None if not launched)

pub fn singleton_puzzle_hash_for_state(&self, state: &S) -> Option<TreeHash>

Compute singleton puzzle hash for a given state

pub fn proof(&self) -> Option<Proof>

Get the proof for the next spend (None if not launched)

pub fn update_action_hashes(&mut self, action_hashes: Vec<Bytes32>)

Update action hashes (needed after launch when network_id becomes known)

pub fn launch( &mut self, ctx: &mut SpendContext, funding_coin: &Coin, amount: u64, ) -> Result<LaunchResult, DriverError>

Launch the singleton

Creates the launcher spend in the context. Returns the launcher ID and conditions to be included in the funding coin spend.

pub fn build_action_spend( &self, ctx: &mut SpendContext, action_index: usize, action_puzzle: NodePtr, action_solution: NodePtr, ) -> Result<(), DriverError>

Build an action spend.

Adds the singleton spend to the context. Does NOT update internal state - call apply_spend() after the transaction confirms.

Arguments

• ctx - Spend context
• action_index - Index of the action in the merkle tree
• action_puzzle - The curried action puzzle (NodePtr)
• action_solution - The action solution (NodePtr)

pub fn apply_spend(&mut self, new_state: S)

Update internal state after a spend confirms.

Call this after the transaction is confirmed on chain.

pub fn mark_melted(&mut self)

Mark the singleton as melted (destroyed).

Call this after a melt action (like withdraw) confirms.

pub fn expected_new_coin(&self, new_state: &S) -> Option<Coin>

Compute the expected new coin after a spend with given new state

pub fn expected_child_launcher_id(&self) -> Option<Bytes32>

Compute the expected child launcher ID for a child singleton emitted by the current singleton

Trait Implementations

impl<S: Debug> Debug for SingletonDriver<S>

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

Formats the value using the given formatter.