dovin-0.1.0.0: A proof assistant for Magic: The Gathering puzzles.
Solutions.Core19_9
spellCount :: [Char] Source #
castWithTriggers :: ManaPool -> CardName -> ExceptT String (ReaderT Env (StateT Board (WriterT [(String, Board)] Identity))) () Source #
solution :: GameMonad () Source #
matchPowerstones :: CardMatcher Source #
matchArtifactMana :: CardMatcher Source #
attributes :: Formatter Source #
manaSources :: Formatter Source #
formatter :: (Eq a, Num a) => a -> Formatter Source #