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

Safe HaskellNone
LanguageHaskell2010

Dovin.Helpers

Documentation

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

hasAttribute :: CardAttribute -> Card -> Bool Source #

manaSpec :: ParsecT String u Identity [Char] Source #

parseMana :: String -> ManaPool Source #

requireCard :: CardName -> CardMatcher -> GameMonad Card Source #

applyEffects :: BaseCard -> GameMonad Card Source #

allCards :: GameMonad [Card] Source #

modifyCard :: CardName -> ASetter Card Card a b -> (a -> b) -> GameMonad () Source #

matchDamage :: Int -> CardMatcher Source #

matchLoyalty :: Int -> CardMatcher Source #

matchPlusOneCounters :: 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 #

matchController :: Player -> CardMatcher Source #

matchLesserPower :: Int -> CardMatcher Source #

missingAttribute :: CardAttribute -> CardMatcher Source #

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

invert :: CardMatcher -> CardMatcher Source #

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

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

loseAttribute :: CardAttribute -> CardName -> ExceptT String (ReaderT Env (StateT Board (WriterT [(String, Board)] Identity))) () Source #

removeAttribute :: CardAttribute -> Card -> Card Source #

gainAttribute :: CardAttribute -> CardName -> ExceptT String (ReaderT Env (StateT Board (WriterT [(String, Board)] Identity))) () Source #

setAttribute :: CardAttribute -> Card -> Card Source #

forCards :: CardMatcher -> (CardName -> GameMonad ()) -> GameMonad () Source #