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

Safe Haskell	None
Language	Haskell2010

Dovin.Monad

Documentation

runMonad :: Board -> GameMonad a -> (Either String a, Board, [Step]) Source #

execMonad :: Board -> GameMonad a -> Either String a Source #