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