1. camlspotter
  2. spotlib

Commits

camlspotter  committed 74bd50a

added try_bool

  • Participants
  • Parent commits 73d7047
  • Branches default

Comments (0)

Files changed (2)

File lib/base.ml

View file
  • Ignore whitespace
 let catch ~f v = try `Ok (f v) with e -> `Error e;;
 
 let try_ignore ~f v = try f v with _ -> ();;
+let try_bool ~f v = try ignore (f v); true with _ -> false
 
 let time f v =
   let start = Unix.gettimeofday () in

File lib/base.mli

View file
  • Ignore whitespace
 val catch      : f:('a -> 'b) -> 'a -> ('b, exn) result
 val try_ignore : f:('a -> unit) -> 'a -> unit
 
+val try_bool   : f:('a -> 'b) -> 'a -> bool
+(** [true] at success *)
+
 (** {6 Imperative operations } *)
 
 val imp : 'a -> ('a ref -> 'b) -> ('a * 'b)
-val imp_ : 'a -> ('a ref -> unit) -> 'a
+val imp_ : 'a -> ('a ref -> 'b) -> 'a
 (** IMPerative application tamed a bit functionally. A sort of.
 
     [imp init f] creates a reference of [init],