Skip to content

Instantly share code, notes, and snippets.

Created November 16, 2017 18:49
What would you like to do?
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