dovin-0.1.0.0: A proof assistant for Magic: The Gathering puzzles.
Dovin.Monad
runMonad :: Board -> GameMonad () -> (Either String (), Board, [(String, Board)]) Source #
execMonad :: Board -> GameMonad a -> Either String a Source #