Skip to content

MoveEval.bs update #1

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
va1ery wants to merge 1 commit into
base: main
Choose a base branch
from
Open

MoveEval.bs update #1

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
47 changes: 38 additions & 9 deletions MoveEval.bs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -214,7 +214,7 @@ mkMoveEval = module
in mkMoveRule "pawn_enpassant_left" (evalPieceIs Pawn && evalPos.rank == enPassantRank && otherHist.pawnMoved2 == Just movePos.file && evalPos.file > 0 && capturable capturePos) $ EnPassant {from=evalPos; to=movePos;})
(let capturePos = Position {rank=evalPos.rank; file=evalPos.file + 1}
movePos = Position {rank=evalPos.rank `pawnDirection` 1; file=evalPos.file + 1}
in mkMoveRule "pawn_enpassant_right" (evalPieceIs Pawn && evalPos.rank == enPassantRank && otherHist.pawnMoved2 == Just movePos.file && evalPos.file > 0 && capturable capturePos) $ EnPassant {from=evalPos; to=movePos;})
in mkMoveRule "pawn_enpassant_right" (evalPieceIs Pawn && evalPos.rank == enPassantRank && otherHist.pawnMoved2 == Just movePos.file && evalPos.file < 7 && capturable capturePos) $ EnPassant {from=evalPos; to=movePos;})
`append` map (\ d ->
let pos = dispPos evalPos d
in mkMoveRule "king_move" (evalPieceIs King && dispInBounds evalPos d && (open pos || capturable pos)) $ Move {from=evalPos; to=pos;}) kingMoves
Expand All @@ -236,16 +236,45 @@ mkMoveEval = module
in mkMoveRule "diagonal_move" cond $ Move {from=evalPos; to=pos;})
(genVector :: Vector 7 Integer)) diagonalDisps)
`append` vec
(let kingPath = vec kingStartPos (Position {rank=homeRank; file=3;}) (Position {rank=homeRank; file=2;})
between = vec (Position {rank=homeRank; file=1;}) (Position {rank=homeRank; file=2;}) (Position {rank=homeRank; file=3;})
threat = any (isThreatened state.board state.turn) kingPath
(let rookPos = Position {rank=homeRank; file=0;}
rookPresent = selectPos board rookPos == Just (Piece {color=turn; kind=Rook;})
kingPath = vec kingStartPos
(Position {rank=homeRank; file=3;})
(Position {rank=homeRank; file=2;})
between = vec (Position {rank=homeRank; file=1;})
(Position {rank=homeRank; file=2;})
(Position {rank=homeRank; file=3;})
threatBoard = updatePos board kingStartPos Nothing
threat = any (isThreatened threatBoard turn) kingPath
clear = all open between
in mkMoveRule "castle_queenside" (evalPos == kingStartPos && not hist.kingMoved && not hist.qRookMoved && not threat && clear) $ Castle {kingSide=False})
(let kingPath = vec kingStartPos (Position {rank=homeRank; file=5;}) (Position {rank=homeRank; file=6;})
between = vec (Position {rank=homeRank; file=5;}) (Position {rank=homeRank; file=6;})
threat = any (isThreatened state.board state.turn) kingPath
in mkMoveRule "castle_queenside"
(evalPieceIs King &&
evalPos == kingStartPos &&
not hist.kingMoved &&
not hist.qRookMoved &&
rookPresent &&
not threat &&
clear)
$ Castle {kingSide=False})
(let rookPos = Position {rank=homeRank; file=7;}
rookPresent = selectPos board rookPos == Just (Piece {color=turn; kind=Rook;})
kingPath = vec kingStartPos
(Position {rank=homeRank; file=5;})
(Position {rank=homeRank; file=6;})
between = vec (Position {rank=homeRank; file=5;})
(Position {rank=homeRank; file=6;})
threatBoard = updatePos board kingStartPos Nothing
threat = any (isThreatened threatBoard turn) kingPath
clear = all open between
in mkMoveRule "castle_kingside" (evalPos == kingStartPos && not hist.kingMoved && not hist.kRookMoved && not threat && clear) $ Castle {kingSide=True})
in mkMoveRule "castle_kingside"
(evalPieceIs King &&
evalPos == kingStartPos &&
not hist.kingMoved &&
not hist.kRookMoved &&
rookPresent &&
not threat &&
clear)
$ Castle {kingSide=True})

moveEval <- liftM (foldr1 joinMoveRule) $ sequence moveRules

Expand Down