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

Dovin.Helpers

Documentation

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

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

parseMana :: String -> ManaPool Source #

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

allCards :: GameMonad [Card] Source #

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

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

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

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

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

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

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

gameFinished :: GameMonad Bool Source #

getTimestamp :: GameMonad Timestamp Source #