dovin-3.0.1: A proof assistant for Magic: The Gathering puzzles.

Index - C

Card 
1 (Type/Class)Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
2 (Data Constructor)Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
cardAbilityEffectsDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
CardAttributeDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
CardAttributesDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
cardAttributesDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
cardCmcDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
cardColorsDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
cardControllerDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
cardDamageDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
cardDefaultAttributesDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
CardEffect 
1 (Type/Class)Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
2 (Data Constructor)Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
cardEffectsDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
cardFormatterDovin.Formatting, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
CardLocationDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
cardLocationDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
cardLoyaltyDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
CardMatcher 
1 (Type/Class)Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
2 (Data Constructor)Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
cardMinusOneCountersDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
CardNameDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
cardNameDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
cardOwnerDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
cardPassiveEffectsDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
cardPlusOneCountersDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
cardPowerDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
cardsDovin.Types, Dovin.V1
CardStrength 
1 (Type/Class)Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
2 (Data Constructor)Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
cardStrengthDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
cardStrengthModifierDovin.Types, Dovin.V1, Dovin.V2
cardTargetsDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
cardTimestampDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
cardToughnessDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
castDovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
castFromLocationDovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
castWithTriggersSolutions.Core19_9
catchErrorDovin.Prelude
ColorDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
ColorsDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
CombatDamageDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
combatDamageDovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
copyDovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
copyAttributesSolutions.RivalsOfIxalan7
copySpellDovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
countCardsDovin.Formatting, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
counterDovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
countersDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
countLifeDovin.Formatting, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
countManaPoolDovin.Formatting, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
countValueDovin.Formatting, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
creatureDovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
currentStepDovin.Types, Dovin.V1
currentTimeDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin