We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent dc2996b commit 5d5c21aCopy full SHA for 5d5c21a
README.md
@@ -69,6 +69,18 @@
69
when :: forall m. (Monad m) => Boolean -> m Unit -> m Unit
70
71
72
+## Module Control.MonadPlus
73
+
74
+### Type Classes
75
76
+ class (Monad m, Alternative m) <= MonadPlus m where
77
78
79
+### Values
80
81
+ guard :: forall m. (MonadPlus m) => Boolean -> m Unit
82
83
84
## Module Control.Plus
85
86
### Type Classes
src/Control/MonadPlus.purs
@@ -0,0 +1,10 @@
1
+module Control.MonadPlus where
2
3
+import Control.Alternative
4
+import Control.Plus
5
6
+class (Monad m, Alternative m) <= MonadPlus m
7
8
+guard :: forall m. (MonadPlus m) => Boolean -> m Unit
9
+guard true = return unit
10
+guard false = empty
0 commit comments