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

Safe HaskellNone
LanguageHaskell2010

Dovin.Dump

Documentation

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

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

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

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

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

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