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

Dovin.Attributes

Description

Attributes with special meaning to Dovin. Use these rather than strings to avoid typos. They should generally match Magic keywords.

Synopsis

Documentation

numbered :: Int -> CardName -> CardName Source #

Return a card name suffixed by the given number.