| interpret : IOSpec r -> IO r | |
| interpret (Pure a) = pure a | |
| interpret (Bind a f) = interpret a >>= interpret . f | |
| interpret ReadLine = getLine | |
| interpret (WriteLine s) = putStrLn s |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment