Index
| AbilityEffect | |
| 1 (Type/Class) | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| 2 (Data Constructor) | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| activate | |
| 1 (Function) | Dovin.Actions, Dovin.V2, Dovin.V3, Dovin |
| 2 (Function) | Dovin.V1 |
| activated | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| activatePlaneswalker | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Active | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| addArtifact | Dovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| addAura | Dovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| addCard | Dovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| addCreature | Dovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| addEffect | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| addEnchantment | Dovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| addInstant | Dovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| addLand | Dovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| addLands | Dovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| addMana | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| addPlaneswalker | Dovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| addSorcery | Dovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| aetherfluxTriggerName | Solutions.ChannelFireball |
| all | Solutions |
| allCards | Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| allLayers | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| applyMatcher | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| applyMatcherWithDesc | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| arcane | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| artifact | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| as | Dovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| askCards | Dovin.Effects, Dovin.V3, Dovin |
| askSelf | Dovin.Effects, Dovin.V3, Dovin |
| assign | Dovin.Prelude |
| at | Dovin.Prelude |
| attacking | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| attackWith | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| attribute | Dovin.Formatting, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| attributeFormatter | Dovin.Formatting, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| attributes | |
| 1 (Function) | Solutions.ChannelFireball |
| 2 (Function) | Solutions.Core19_9 |
| 3 (Function) | Solutions.Dominaria5 |
| 4 (Function) | Solutions.RavnicaAllegiance3 |
| 5 (Function) | Solutions.RavnicaAllegiance4 |
| 6 (Function) | Solutions.RavnicaAllegiance5 |
| 7 (Function) | Solutions.RavnicaAllegiance7 |
| 8 (Function) | Solutions.RavnicaAllegiancePre2 |
| 9 (Function) | Solutions.RivalsOfIxalan7 |
| 10 (Function) | Solutions.WarOfTheSpark2 |
| aura | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| BaseCard | |
| 1 (Type/Class) | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| 2 (Data Constructor) | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| BeginCombat | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Black | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| blankFormatter | Dovin.Formatting, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| blocked | |
| 1 (Function) | Solutions.RavnicaAllegiancePre2 |
| 2 (Function) | Solutions.RivalsOfIxalan7 |
| Blue | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Board | |
| 1 (Type/Class) | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| 2 (Data Constructor) | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| boardFormatter | Dovin.Formatting, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| 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 |
| cardAbilityEffects | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| CardAttribute | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| CardAttributes | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| cardAttributes | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| cardCmc | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| cardColors | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| cardController | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| cardDamage | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| cardDefaultAttributes | Dovin.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 |
| cardEffects | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| cardFormatter | Dovin.Formatting, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| CardLocation | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| cardLocation | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| cardLoyalty | Dovin.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 |
| cardMinusOneCounters | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| CardName | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| cardName | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| cardOwner | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| cardPassiveEffects | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| cardPlusOneCounters | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| cardPower | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| cards | Dovin.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 |
| cardStrength | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| cardStrengthModifier | Dovin.Types, Dovin.V1, Dovin.V2 |
| cardTargets | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| cardTimestamp | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| cardToughness | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| cast | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| castFromLocation | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| castWithTriggers | Solutions.Core19_9 |
| catchError | Dovin.Prelude |
| Color | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Colors | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| CombatDamage | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| combatDamage | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| copy | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| copyAttributes | Solutions.RivalsOfIxalan7 |
| copySpell | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| countCards | Dovin.Formatting, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| counter | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| counters | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| countLife | Dovin.Formatting, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| countManaPool | Dovin.Formatting, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| countValue | Dovin.Formatting, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| creature | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| currentStep | Dovin.Types, Dovin.V1 |
| currentTime | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| damage | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| damageFormatter | Solutions.ExplorersOfIxalanContest |
| deathtouch | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| deathtouched | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Deck | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| deck | Dovin.Types, Dovin.V1 |
| DeclareAttackers | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| DeclareBlockers | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| defender | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| destroy | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| dinosaur | Solutions.WarOfTheSpark2 |
| discard | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| doublestrike | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| DrawStep | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| effectAction | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| effectAddAbility | Dovin.Effects, Dovin.V3, Dovin |
| effectAddType | Dovin.Effects, Dovin.V3, Dovin |
| EffectDuration | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| effectEnabled | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| effectFilter | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| EffectMonad | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| EffectMonadEnv | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| EffectName | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| effectNoAbilities | Dovin.Effects, Dovin.V3, Dovin |
| effectPTAdjust | Dovin.Effects, Dovin.V3, Dovin |
| effectPTAdjustF | Dovin.Effects, Dovin.V3, Dovin |
| effectPTSet | Dovin.Effects, Dovin.V3, Dovin |
| effectPTSetF | Dovin.Effects, Dovin.V3, Dovin |
| emptyBoard | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| emptyCard | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| emptyEnv | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| enabledInPlay | Dovin.Effects, Dovin.V3, Dovin |
| enchantment | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| EndCombat | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| EndOfTurn | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| EndStep | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Env | |
| 1 (Type/Class) | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| 2 (Data Constructor) | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| envActor | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| envOwner | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| envSBAEnabled | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| envTemplate | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| execMonad | Dovin.Monad |
| exert | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| exerted | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Exile | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| exile | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| exileWhenLeaveStack | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| fight | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| FirstMain | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| firststrike | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| FirstStrikeDamage | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| flash | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| flashback | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| flashbackSnapped | Solutions.ChannelFireball |
| flying | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| foldM | Dovin.Prelude |
| forCards | Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| fork | |
| 1 (Function) | Dovin.Actions, Dovin.V2, Dovin.V3, Dovin |
| 2 (Function) | Dovin.V1 |
| formatCard | Dovin.Formatting, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| formatCards | Dovin.Formatting, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| FormatMonad | Dovin.Formatting, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Formatter | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| formatter | |
| 1 (Function) | Solutions.ChannelFireball |
| 2 (Function) | Solutions.Core19_9 |
| 3 (Function) | Solutions.Dominaria5 |
| 4 (Function) | Solutions.Example |
| 5 (Function) | Solutions.ExplorersOfIxalanContest |
| 6 (Function) | Solutions.GuildsOfRavnica1 |
| 7 (Function) | Solutions.GuildsOfRavnica3 |
| 8 (Function) | Solutions.GuildsOfRavnica8 |
| 9 (Function) | Solutions.GuildsOfRavnica9 |
| 10 (Function) | Solutions.GuildsOfRavnicaPre2 |
| 11 (Function) | Solutions.RavnicaAllegiance3 |
| 12 (Function) | Solutions.RavnicaAllegiance4 |
| 13 (Function) | Solutions.RavnicaAllegiance5 |
| 14 (Function) | Solutions.RavnicaAllegiance7 |
| 15 (Function) | Solutions.RavnicaAllegiancePre2 |
| 16 (Function) | Solutions.RivalsOfIxalan7 |
| 17 (Function) | Solutions.UltimateMasters |
| 18 (Function) | Solutions.WarOfTheSpark2 |
| forM_ | Dovin.Prelude |
| gainAttribute | Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| gainLife | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| gameFinished | Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| GameMonad | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| getTimestamp | Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Graveyard | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Green | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Hand | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| hasAttribute | Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| haste | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| hexproof | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| highTideCounter | Solutions.ChannelFireball |
| incrementStep | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| indestructible | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| instant | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| invert | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| jumpstart | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| labelMatch | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| land | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Layer | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Layer1A | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Layer1B | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Layer2 | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Layer3 | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Layer4 | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Layer5 | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Layer6 | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Layer7A | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Layer7B | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Layer7C | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Layer7D | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| LayeredEffect | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| LayeredEffectDefinition | |
| 1 (Type/Class) | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| 2 (Data Constructor) | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| LayeredEffectPart | |
| 1 (Type/Class) | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| 2 (Data Constructor) | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| LayerOther | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| leAppliesTo | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| leEffect | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| legendary | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| leName | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| life | Dovin.Types, Dovin.V1 |
| lifelink | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Location | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| location | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| loseAttribute | Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| loseLife | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| manaAttribute | Solutions.UltimateMasters |
| manaFormatter | Solutions.Example |
| ManaPool | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| manaPool | Dovin.Types, Dovin.V1 |
| manaPoolFor | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| manaSources | Solutions.Core19_9 |
| manaSpec | Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| ManaString | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| matchArtifactMana | Solutions.Core19_9 |
| matchAttribute | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| matchAttributes | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| matchCard | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| matchController | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| matchDamage | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| matchInPlay | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| matchLesserPower | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| matchLocation | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| matchLoyalty | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| matchMinusOneCounters | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| matchName | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| matchNone | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| matchOr | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| matchOther | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| matchOtherCreatures | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| matchPlusOneCounters | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| matchPower | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| matchPowerstones | Solutions.Core19_9 |
| matchStrength | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| matchTarget | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| matchToughness | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| mentor | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| missingAttribute | Dovin.Matchers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| mkCard | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| mkEffect | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| mkLayeredEffectPart | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| mkStep | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| mkStrength | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| modifyCard | Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| modifyCardDeprecated | Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| modifying | Dovin.Prelude |
| modifyStrength | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| move | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| moveTo | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| non | Dovin.Prelude |
| numbered | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| oldFormatter | Solutions.UltimateMasters |
| Opponent | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| opposing | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| over | Dovin.Prelude |
| parseMana | Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Phase | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| phase | Dovin.Types, Dovin.V1 |
| planeswalker | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Play | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Player | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| playExLandFormatter | Solutions.ChannelFireball |
| Red | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| remove | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| removeAttribute | Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| requireCard | Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| resolve | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| resolveAetherflux | Solutions.ChannelFireball |
| resolvedCards | Dovin.Types, Dovin.V1 |
| resolveEffects | Dovin.Effects |
| resolveHarpyTrigger | Solutions.RavnicaAllegiancePre2 |
| resolveMentor | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| resolveTop | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| run | Dovin.Runner, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| runMonad | Dovin.Monad |
| runStateBasedActions | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| sacrifice | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| sacrificeToAltar | Solutions.UltimateMasters |
| SecondMain | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| set | Dovin.Prelude |
| setAttribute | Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| setLife | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| snapped | Solutions.ChannelFireball |
| solution | |
| 1 (Function) | Solutions.ChannelFireball |
| 2 (Function) | Solutions.Core19_9 |
| 3 (Function) | Solutions.Dominaria5 |
| 4 (Function) | Solutions.Example |
| 5 (Function) | Solutions.ExplorersOfIxalanContest |
| 6 (Function) | Solutions.GuildsOfRavnica1 |
| 7 (Function) | Solutions.GuildsOfRavnica3 |
| 8 (Function) | Solutions.GuildsOfRavnica8 |
| 9 (Function) | Solutions.GuildsOfRavnica9 |
| 10 (Function) | Solutions.GuildsOfRavnicaPre2 |
| 11 (Function) | Solutions.RavnicaAllegiance3 |
| 12 (Function) | Solutions.RavnicaAllegiance4 |
| 13 (Function) | Solutions.RavnicaAllegiance5 |
| 14 (Function) | Solutions.RavnicaAllegiance7 |
| 15 (Function) | Solutions.RavnicaAllegiancePre2 |
| 16 (Function) | Solutions.RivalsOfIxalan7 |
| 17 (Function) | Solutions.UltimateMasters |
| 18 (Function) | Solutions.WarOfTheSpark2 |
| sorcery | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| spellCount | Solutions.Core19_9 |
| spellCounter | Solutions.ChannelFireball |
| spendMana | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| splice | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Stack | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| stack | Dovin.Types, Dovin.V1 |
| stackFormatter | Dovin.Formatting, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Step | |
| 1 (Type/Class) | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| 2 (Data Constructor) | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| step | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| stepFork | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| stepId | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| StepIdentifier | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| stepLabel | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| stepNumber | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| stepState | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| storm | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| summoned | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| tap | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| tapForMana | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| tapForManaWithTide | Solutions.ChannelFireball |
| tapped | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| tapWithFreyalise | Solutions.RavnicaAllegiance5 |
| Target | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| target | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| TargetCard | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| targetCard | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| targetInLocation | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| TargetPlayer | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| targetPlayer | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| throwError | Dovin.Prelude |
| Timestamp | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| token | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| trample | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| transitionTo | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| transitionToForced | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| trigger | |
| 1 (Function) | Dovin.Actions, Dovin.V2, Dovin.V3, Dovin |
| 2 (Function) | Dovin.V1 |
| triggered | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| triggerMentor | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| triggerStorm | Solutions.GuildsOfRavnica9 |
| unblockable | Solutions.RavnicaAllegiance7 |
| undying | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| unless | Dovin.Prelude |
| Untap | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| untap | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| Upkeep | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| use | Dovin.Prelude |
| validate | |
| 1 (Function) | Dovin.Actions, Dovin.V2, Dovin.V3, Dovin |
| 2 (Function) | Dovin.V1 |
| validateCanCastSorcery | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| validateLife | |
| 1 (Function) | Dovin.Actions, Dovin.V2, Dovin.V3, Dovin |
| 2 (Function) | Dovin.V1 |
| validatePhase | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| validateRemoved | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| view | Dovin.Prelude, Dovin.V2, Dovin.V3, Dovin |
| viewSelf | Dovin.Effects, Dovin.V3, Dovin |
| vigilance | Dovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| when | Dovin.Prelude |
| whenMatch | Solutions.GuildsOfRavnica3 |
| White | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| with | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| withAttribute | Dovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| withAttributes | Dovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| withCMC | Dovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| withEffect | |
| 1 (Function) | Dovin.Builder, Dovin.V3, Dovin |
| 2 (Function) | Dovin.V1, Dovin.V2 |
| withEffectWhen | Dovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| withLocation | |
| 1 (Function) | Dovin.Builder, Dovin.V2, Dovin.V3, Dovin |
| 2 (Function) | Dovin.V1 |
| withMinusOneCounters | Dovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| withOwner | Dovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| withPlusOneCounters | Dovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| withStateBasedActions | Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| withTriggers | Solutions.ChannelFireball |
| Won | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _cardAbilityEffects | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _cardAttributes | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _cardCmc | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _cardColors | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _cardDamage | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _cardDefaultAttributes | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _cardEffects | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _cardLoyalty | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _cardMinusOneCounters | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _cardName | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _cardOwner | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _cardPassiveEffects | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _cardPlusOneCounters | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _cards | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _cardStrength | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _cardStrengthModifier | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _cardTargets | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _cardTimestamp | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _counters | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _currentStep | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _currentTime | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _deck | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _effectAction | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _effectEnabled | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _effectFilter | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _envActor | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _envOwner | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _envSBAEnabled | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _envTemplate | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _leAppliesTo | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _leEffect | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _leName | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _life | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _location | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _manaPool | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _manaPoolForTyping | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _phase | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _resolvedCards | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _stack | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _stepId | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _stepLabel | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |
| _stepState | Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin |