aboutsummaryrefslogtreecommitdiffstats
path: root/lib/Utilities.mli
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Utilities.mli')
-rw-r--r--lib/Utilities.mli2
1 files changed, 0 insertions, 2 deletions
diff --git a/lib/Utilities.mli b/lib/Utilities.mli
index 7af9f03..204fec3 100644
--- a/lib/Utilities.mli
+++ b/lib/Utilities.mli
@@ -7,7 +7,6 @@ end
module Result : sig
val ( let* ) : ('a, 'e) result -> ('a -> ('b, 'e) result) -> ('b, 'e) result
val ( |>> ) : ('a, 'e) result -> ('a -> ('b, 'e) result) -> ('b, 'e) result
- val fmap : ('a -> ('b, 'e) result) -> ('a, 'e) result -> ('b, 'e) result
end
module List : sig
@@ -20,7 +19,6 @@ end
module Option : sig
val ( let* ) : 'a option -> ('a -> 'b option) -> 'b option
val ( |>> ) : 'a option -> ('a -> 'b option) -> 'b option
- val fmap : ('a -> 'b option) -> 'a option -> 'b option
val sequence : ('a, 'b) result option -> ('a option, 'b) result
end