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

Dovin.Builder

Contents

Description

Functions for adding new cards to the board.

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

# Builders

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

# Fluid interface

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

Perform action as the specified player.

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.

Helper version of withAttribute for adding multiple attributes at a time.
 :: CardMatcher A matcher that must apply to this card for this affect to apply. matchInPlay is a typical value. -> (Card -> CardMatcher) Given the current card, return a matcher that matches cards that this affect applies to. -> (Card -> GameMonad Card) Apply an effect to the given card. -> GameMonad () -> GameMonad ()