clarify toMaybeT docstring

idris-lang · Jun 5, 2024 · 40d4cd8 · 40d4cd8
1 parent c0ac024
commit 40d4cd8
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/libs/base/Control/Monad/Maybe.idr b/libs/base/Control/Monad/Maybe.idr
@@ -68,7 +68,9 @@ public export
 fromMaybeT : Monad m => m a -> MaybeT m a -> m a
 fromMaybeT v x = runMaybeT x >>= maybe v pure
 
-||| Return a value if a condition is met, or else no value.
+||| Return a value if a condition is met, or else no value. The condition
+||| only affects whether the `Maybe` produces a value; the effect is run
+||| either way.
 |||
 ||| This is a version of `toMaybe` lifted to work with `MaybeT`.
 public export