| Idris> :doc Monad | |
| Interface Monad | |
| Parameters: | |
| m | |
| Constraints: | |
| Applicative m | |
| Methods: | |
| (>>=) : Monad m => m a -> (a -> m b) -> m b | |
| join : Monad m => m (m a) -> m a |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment