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

Dovin.Matchers

Documentation

matchDamage :: Int -> CardMatcher Source #

matchLoyalty :: Int -> CardMatcher Source #

matchPlusOneCounters :: Int -> CardMatcher Source #

matchMinusOneCounters :: Int -> CardMatcher Source #

matchLocation :: CardLocation -> CardMatcher Source #

matchInPlay :: CardMatcher Source #

matchAttribute :: CardAttribute -> CardMatcher Source #

matchAttributes :: [CardAttribute] -> CardMatcher Source #

matchName :: CardName -> CardMatcher Source #

matchOtherCreatures :: Card -> CardMatcher Source #

matchOther :: CardAttribute -> Card -> CardMatcher Source #

matchController :: Player -> CardMatcher Source #

matchLesserPower :: Int -> CardMatcher Source #

matchNone :: CardMatcher Source #

matchCard :: Card -> CardMatcher Source #

matchToughness :: Int -> CardMatcher Source #

matchPower :: Int -> CardMatcher Source #

matchStrength :: (Int, Int) -> CardMatcher Source #

matchTarget :: Target -> CardMatcher Source #

missingAttribute :: CardAttribute -> CardMatcher Source #

matchOr :: CardMatcher -> CardMatcher -> CardMatcher Source #

invert :: CardMatcher -> CardMatcher Source #

labelMatch :: String -> CardMatcher -> CardMatcher Source #

applyMatcherWithDesc :: CardMatcher -> Card -> Either String () Source #

applyMatcher :: CardMatcher -> Card -> Bool Source #