2 Commits

Author SHA1 Message Date
Quaternions b6861747a7 clippy fixes 2026-06-10 20:42:02 -07:00
Quaternions b34373750b iterators for Tableau and Foundation 2026-06-10 20:39:05 -07:00
6 changed files with 59 additions and 112 deletions
+27 -73
View File
@@ -5,6 +5,7 @@ struct ReadmeDoctests;
use core::ops::RangeBounds;
// TODO: pub struct ValidInstruction<I>(I);
pub trait Game: Clone {
type Score: Clone + core::fmt::Debug;
type Stats: Clone + core::fmt::Debug;
@@ -15,51 +16,14 @@ pub trait Game: Clone {
&self,
config: &Self::Config,
) -> impl Iterator<Item = Self::Instruction> + use<Self>;
fn is_instruction_valid(&self, config: &Self::Config, instruction: &Self::Instruction) -> bool;
fn process_instruction(valid_instruction: StagedInstruction<'_, Self>);
fn is_win(&self) -> bool;
/// Validate an instruction to prepare to run it.
fn stage_instruction<'a>(
&'a mut self,
stats: &'a mut Self::Stats,
config: &'a Self::Config,
fn is_instruction_valid(&self, config: &Self::Config, instruction: Self::Instruction) -> bool;
fn process_instruction(
&mut self,
stats: &mut Self::Stats,
config: &Self::Config,
instruction: Self::Instruction,
) -> Option<StagedInstruction<'a, Self>> {
self.is_instruction_valid(config, &instruction)
.then_some(StagedInstruction {
game: self,
stats,
config,
instruction,
})
}
}
/// Call .commit() to run the staged instruction.
/// Cannot be constructed other than by Game::stage_instruction.
pub struct StagedInstruction<'a, G: Game> {
game: &'a mut G,
stats: &'a mut G::Stats,
config: &'a G::Config,
instruction: G::Instruction,
}
impl<'a, G: Game> StagedInstruction<'a, G> {
/// Consume the staged instruction. Use this in your implementation of InstructionConsumer::process_instruction for your game.
pub fn consume(self) -> (&'a mut G, &'a mut G::Stats, &'a G::Config, G::Instruction) {
let StagedInstruction {
game,
stats,
config,
instruction,
} = self;
(game, stats, config, instruction)
}
}
impl<G: Game> StagedInstruction<'_, G> {
/// Process the staged instruction.
pub fn commit(self) {
G::process_instruction(self);
}
);
fn is_win(&self) -> bool;
}
/// card_game supports up to 4 identifiably separate decks.
@@ -578,21 +542,14 @@ where
&self.state.history
}
pub fn undo(&mut self) {
if let Some(staged) =
self.state
.stage_instruction(&mut self.stats, &self.config, SessionInstruction::Undo)
{
staged.commit();
}
self.state
.process_instruction(&mut self.stats, &self.config, SessionInstruction::Undo)
}
pub fn possible_instructions(&self) -> impl Iterator<Item = G::Instruction> + use<G> {
self.state.state.possible_instructions(&self.config.inner)
}
pub fn stage_instruction(
&mut self,
instruction: G::Instruction,
) -> Option<StagedInstruction<'_, SessionState<G>>> {
self.state.stage_instruction(
pub fn process_instruction(&mut self, instruction: G::Instruction) {
self.state.process_instruction(
&mut self.stats,
&self.config,
SessionInstruction::InnerInstruction(instruction),
@@ -626,8 +583,7 @@ where
// Run one possible move
if let Some(instruction) = it.next() {
// TODO: no unwrap
session.stage_instruction(instruction).unwrap().commit();
session.process_instruction(instruction);
continue;
}
@@ -662,7 +618,7 @@ where
.possible_instructions(&config.inner)
.map(SessionInstruction::InnerInstruction)
}
fn is_instruction_valid(&self, config: &Self::Config, instruction: &Self::Instruction) -> bool {
fn is_instruction_valid(&self, config: &Self::Config, instruction: Self::Instruction) -> bool {
match instruction {
SessionInstruction::Undo => !self.history.is_empty(),
SessionInstruction::InnerInstruction(instruction) => {
@@ -670,27 +626,26 @@ where
}
}
}
fn process_instruction(valid_instruction: StagedInstruction<'_, Self>) {
let (game, stats, config, instruction) = valid_instruction.consume();
fn process_instruction(
&mut self,
stats: &mut Self::Stats,
config: &Self::Config,
instruction: Self::Instruction,
) {
match instruction {
SessionInstruction::Undo => {
if let Some(snapshot) = game.history.pop() {
game.state = snapshot.state;
if let Some(snapshot) = self.history.pop() {
self.state = snapshot.state;
stats.increment_undos();
}
}
SessionInstruction::InnerInstruction(instruction) => {
game.history.push(StateSnapshot {
state: game.state.clone(),
self.history.push(StateSnapshot {
state: self.state.clone(),
instruction: instruction.clone(),
});
// This might be considered cheaing a bit, we're pre-approving the instruction here by accessing the inner fields.
G::process_instruction(StagedInstruction {
game: &mut game.state,
stats: &mut stats.inner,
config: &config.inner,
instruction,
});
self.state
.process_instruction(&mut stats.inner, &config.inner, instruction);
}
}
}
@@ -726,8 +681,7 @@ where
let serialized = SerializedSession::deserialize(deserializer)?;
let mut session = Session::new(serialized.initial_state, serialized.config);
for instruction in serialized.instructions {
// TODO: no unwrap
session.stage_instruction(instruction).unwrap().commit();
session.process_instruction(instruction);
}
Ok(session)
}
+1 -3
View File
@@ -21,9 +21,7 @@ fn play_to_win(rng: &mut Rng) -> Option<KlondikeStats> {
return None;
}
game.stage_instruction(&mut stats, &CONFIG, instruction)
.unwrap()
.commit();
game.process_instruction(&mut stats, &CONFIG, instruction);
}
game.is_win().then_some(stats)
}
+5 -8
View File
@@ -210,7 +210,7 @@ fn find_valid_instruction(
});
let instruction =
KlondikeInstruction::DstTableau(DstTableau { tableau, src });
if state.is_instruction_valid(config, &instruction) {
if state.is_instruction_valid(config, instruction) {
return Some(instruction);
}
}
@@ -228,7 +228,7 @@ fn find_valid_instruction(
_ => return None,
};
state
.is_instruction_valid(config, &instruction)
.is_instruction_valid(config, instruction)
.then_some(instruction)
}
@@ -277,16 +277,13 @@ fn main() -> Result<(), std::io::Error> {
.state()
.get_auto_move(&session.config().inner)
{
session.stage_instruction(instruction).unwrap().commit();
session.process_instruction(instruction);
} else {
println!("No valid moves!");
}
}
SessionInstruction::Stock => {
session
.stage_instruction(KlondikeInstruction::RotateStock)
.unwrap()
.commit();
session.process_instruction(KlondikeInstruction::RotateStock)
}
SessionInstruction::Klondike(naive_instruction) => {
if let Some(instruction) = find_valid_instruction(
@@ -294,7 +291,7 @@ fn main() -> Result<(), std::io::Error> {
session.state().state(),
naive_instruction,
) {
session.stage_instruction(instruction).unwrap().commit();
session.process_instruction(instruction);
} else {
println!("Invalid move!");
}
+1 -1
View File
@@ -16,7 +16,7 @@ let mut session = Session::new_default(game);
// play game a bit
while let Some(instruction) = session.state().state().get_auto_move(&config) {
session.stage_instruction(instruction).unwrap().commit();
session.process_instruction(instruction);
// quit after 200 moves or win
if session.is_win() || 200 < session.stats().stats().moves() {
+23 -19
View File
@@ -1,6 +1,6 @@
pub type Rng = rand::rngs::StdRng;
use card_game::{Card, Game, Pile, Rank, Stack, StagedInstruction};
use card_game::{Card, Game, Pile, Rank, Stack};
#[cfg(test)]
mod test;
@@ -182,9 +182,9 @@ impl Default for TableauIter {
impl Iterator for TableauIter {
type Item = Tableau;
fn next(&mut self) -> Option<Self::Item> {
let tableau = self.tableau?;
self.tableau = tableau.next();
Some(tableau)
let t = self.tableau?;
self.tableau = t.next();
Some(t)
}
}
impl IntoIterator for Tableau {
@@ -234,9 +234,9 @@ impl Default for FoundationIter {
impl Iterator for FoundationIter {
type Item = Foundation;
fn next(&mut self) -> Option<Self::Item> {
let foundation = self.foundation?;
self.foundation = foundation.next();
Some(foundation)
let t = self.foundation?;
self.foundation = t.next();
Some(t)
}
}
impl IntoIterator for Foundation {
@@ -621,7 +621,7 @@ impl KlondikeState {
pub fn is_instruction_valid(
&self,
config: &KlondikeConfig,
instruction: &KlondikeInstruction,
instruction: KlondikeInstruction,
) -> bool {
match instruction {
// Stock -> Stock draws a card or resets the stock
@@ -830,34 +830,38 @@ impl Game for Klondike {
let state = self.state.clone();
let config = config.clone();
KlondikeIter::new()
.filter(move |instruction| state.is_instruction_valid(&config, instruction))
.filter(move |&instruction| state.is_instruction_valid(&config, instruction))
}
fn is_instruction_valid(&self, config: &Self::Config, instruction: &Self::Instruction) -> bool {
fn is_instruction_valid(&self, config: &Self::Config, instruction: Self::Instruction) -> bool {
self.state.is_instruction_valid(config, instruction)
}
fn process_instruction(valid_instruction: StagedInstruction<'_, Self>) {
let (game, stats, config, instruction) = valid_instruction.consume();
fn process_instruction(
&mut self,
stats: &mut Self::Stats,
config: &Self::Config,
instruction: Self::Instruction,
) {
stats.increment_moves();
match instruction {
// Reset the stock if it's empty
KlondikeInstruction::RotateStock => {
if game.state.stock.face_down().is_empty() {
game.state.stock.flip_it_and_reverse_it();
if self.state.stock.face_down().is_empty() {
self.state.stock.flip_it_and_reverse_it();
stats.increment_recycle_count();
} else {
for _ in 0..config.draw_stock as usize {
game.state.stock.flip_up();
self.state.stock.flip_up();
}
}
}
// Move a card from anywhere to a foundation
KlondikeInstruction::DstFoundation(DstFoundation { src, foundation }) => {
stats.increment_move_to_foundation();
let (card, did_flip_up) = game.state.take_top_card_flip_up(src);
let (card, did_flip_up) = self.state.take_top_card_flip_up(src);
if did_flip_up {
stats.increment_flip_up_bonus();
}
game.state.extend_foundation(foundation, card);
self.state.extend_foundation(foundation, card);
}
// Move a stack of cards from anywhere to a tableau
KlondikeInstruction::DstTableau(DstTableau { src, tableau }) => {
@@ -866,11 +870,11 @@ impl Game for Klondike {
KlondikePileStack::Foundation(_) => stats.increment_move_from_foundation(),
KlondikePileStack::Tableau(_) => {}
}
let (cards, did_flip_up) = game.state.take_stack_flip_up(src);
let (cards, did_flip_up) = self.state.take_stack_flip_up(src);
if did_flip_up {
stats.increment_flip_up_bonus();
}
game.state.extend_tableau(tableau, cards);
self.state.extend_tableau(tableau, cards);
}
}
}
+2 -8
View File
@@ -23,10 +23,7 @@ fn test_json() {
let solution_result = session.solve();
if let Ok(Some(solution)) = solution_result {
for snapshot in solution.clean_solution() {
session
.stage_instruction(snapshot.instruction().clone())
.unwrap()
.commit();
session.process_instruction(snapshot.instruction().clone());
}
}
let serialized = serde_json::to_string(&session).unwrap();
@@ -45,10 +42,7 @@ fn test_rmp() {
let solution_result = session.solve();
if let Ok(Some(solution)) = solution_result {
for snapshot in solution.clean_solution() {
session
.stage_instruction(snapshot.instruction().clone())
.unwrap()
.commit();
session.process_instruction(snapshot.instruction().clone());
}
}
let serialized = rmp_serde::to_vec(&session).unwrap();