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

Dovin.Formatting

Documentation

type FormatMonad = Writer [(String, GameMonad String)] Source #

blankFormatter :: Formatter Source #

attributeFormatter :: FormatMonad () -> Formatter Source #

stackFormatter :: Formatter Source #

cardFormatter :: String -> CardMatcher -> Formatter Source #

formatCards :: [Card] -> [Char] Source #

formatCard :: Card -> [Char] Source #

boardFormatter :: Formatter Source #

attribute :: Show a => String -> GameMonad a -> FormatMonad () Source #

countLife :: Player -> GameMonad Int Source #

countValue :: String -> GameMonad Int Source #

countCards :: CardMatcher -> GameMonad Int Source #

countManaPool :: Player -> GameMonad Int Source #