data IOSpec a | |
= ReadLine (String -> IOSpec a) | |
| PrintLine String (IOSpec a) | |
-- Missing constructors |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
data IOSpec a | |
= ReadLine (String -> IOSpec a) | |
| PrintLine String (IOSpec a) | |
-- Missing constructors |