data IOSpec : Type -> Type where | |
Bind : IOSpec a -> (a -> IOSpec b) -> IOSpec b | |
-- Or, using our Cont type alias | |
data IOSpec : Type -> Type where | |
Bind : IOSpec a -> Cont (IOSpec b) a |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment