Skip to main content Module card Copy item path Source pub use counter_type::CounterType ;activation_table card_changed_words Changed-word replacement table (Java parity: CardChangedWords). card_clone_states Clone-state container (Java parity: CardCloneStates). card_collection card_collection_view card_copy_service Card copy helpers (Java parity: CardCopyService). card_damage_history card_damage_map Card damage aggregation map. card_factory card_factory_util Partial parity module for Java CardFactoryUtil. card_lists card_play_option Card play-option metadata (Java parity: CardPlayOption). card_predicates Card predicate helpers mirroring Java CardPredicates. card_property Card property matching for targeting and filtering. card_state Java-parity helpers for CardState behavior. card_trait_changes Rust parity model for Java CardTraitChanges. card_util Card utility helpers mirroring Java’s CardUtil. card_zone_table Zone-change aggregation table (Java parity: CardZoneTable). counter_enum_type counter_keyword_type counter_type damage_history filter_constants Constants for card filter strings used in ValidCard$, Affected$, ValidBlocker$, etc. perpetual svar_cache token token_create_table trait_card_trait_changes Rust trait parity for Java ICardTraitChanges. valid_filter Shared card/player filter matching used across triggers, static abilities,
replacement effects, and combat. Consolidates 34 duplicate implementations. AnimateState Saved pre-animate state for AnimateEffect, restored at cleanup. Card A card instance in a game. This is the mutable game-state representation,
as opposed to CardRules which is the immutable definition. CardActionSpellSpec CardActionTargetSpec CardOtherPart Stores alternate-face characteristics for double-faced cards (DFCs).
The transform() method swaps Card fields with these values.
Mirrors Java’s CardState stored as the “backside” state. CloneState Saved pre-clone copiable characteristics. LoseControlCondition When a SP$ GainControl steals a permanent, the revert trigger is stored
here. Fires during the appropriate phase or event handler, at which point
the card’s original_controller_eot is restored. KEYWORD_PLOTTED_PREFIX Prefix for the Plotted marker. Full keyword is "Plotted:{turn}".
The turn number prevents casting on the same turn the card was plotted. KEYWORD_WARP_EXILED Marker for cards exiled via Warp’s end-of-turn trigger.
These cards can be cast from exile on a later turn for their normal mana cost. make_plotted_keyword parse_plotted_turn Extract the turn number from a "Plotted:{turn}" keyword, if present. CardInstance Transitional alias for downstream code still importing CardInstance.