Dovin.Builder

Functions for adding new cards to the board.

withLocation Hand $ do
  withAttributes ["angel", token] $ addCreature (4, 4) "Angel"

Builders

Each of these terminates a build chain, and will add a card with the specified type to the board.

addCard :: CardName -> GameMonad ()

addAura :: CardName -> GameMonad ()

addArtifact :: CardName -> GameMonad ()

addCreature :: (Int, Int) -> CardName -> GameMonad ()

addEnchantment :: CardName -> GameMonad ()

addInstant :: CardName -> GameMonad ()

addLand :: CardName -> GameMonad ()

addLands :: Int -> CardName -> GameMonad ()

addPlaneswalker :: Int -> CardName -> GameMonad ()

addSorcery :: CardName -> GameMonad ()

Fluid interface

These methods can be chained together to specify different properties of the card to be created.

as :: Player -> GameMonad () -> GameMonad ()

Perform action as the specified player.

withAttribute :: String -> GameMonad () -> GameMonad ()

Add an attribute to the created card, as identified by a string. Attributes with that special meaning to Dovin built-ins (such as flying) are defined in Dovin.Attributes.

withAttributes :: [String] -> GameMonad () -> GameMonad ()

Helper version of withAttribute for adding multiple attributes at a time.

withCMC :: Int -> GameMonad () -> GameMonad ()

Set the converted mana cost of the created card.

withEffect

Arguments

:: EffectMonad CardMatcher

The set of cards to apply the effect to

-> [LayeredEffectPart]

The effect to apply

-> EffectName

Human-readable description, cosmetic only.

-> GameMonad ()

-> GameMonad ()

Add an effect to the created card. The effect will only apply when the card is in play.

withEffectWhen

Arguments

:: EffectMonad Bool

Effect only applies when this returns true

-> EffectMonad CardMatcher

The set of cards to apply the effect to

-> [LayeredEffectPart]

The effect to apply

-> EffectName

Human-readable description, cosmetic only.

-> GameMonad ()

-> GameMonad ()

A more flexible version of withEffect that allows customization of then the effect should apply.

withLocation :: Location -> GameMonad () -> GameMonad ()

Place the created card into a specific location.

withOwner :: Player -> GameMonad () -> GameMonad ()

Set the owner for the created card. If not specified, defaults to the owner of the card location.

withPlusOneCounters :: Int -> GameMonad () -> GameMonad ()

Set the number of +1/+1 counters of the created card.

withMinusOneCounters :: Int -> GameMonad () -> GameMonad ()

Set the number of -1/-1 counters of the created card.