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

Safe HaskellNone
LanguageHaskell2010

Dovin.Dump

Documentation

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

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

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

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

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

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

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

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

triggerStorm :: (Int -> GameMonad ()) -> GameMonad () Source #

resetStrength :: CardName -> (Int, Int) -> GameMonad () Source #

modifyStrength :: (Int, Int) -> CardName -> GameMonad () Source #

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

fight :: CardName -> CardName -> GameMonad () Source #

gainLife :: Player -> Int -> GameMonad () Source #

loseLife :: Player -> Int -> GameMonad () Source #

setLife :: Player -> Int -> GameMonad () Source #

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

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

activatePlaneswalker :: Int -> CardName -> GameMonad () Source #

fork :: [GameMonad ()] -> GameMonad () Source #

with :: t1 -> (t1 -> t2) -> t2 Source #

run :: (Int -> Formatter) -> GameMonad () -> IO () Source #

runVerbose :: GameMonad () -> IO () Source #