diff options
Diffstat (limited to 'lib/monad.mli')
| -rw-r--r-- | lib/monad.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/monad.mli b/lib/monad.mli index c8655efa..f7de71f5 100644 --- a/lib/monad.mli +++ b/lib/monad.mli @@ -66,6 +66,9 @@ module type ListS = sig its second argument in a tail position. *) val iter : ('a -> unit t) -> 'a list -> unit t + (** Like the regular {!CList.map_filter}. The monadic effects are threaded left*) + val map_filter : ('a -> 'b option t) -> 'a list -> 'b list t + (** {6 Two-list iterators} *) |