prelude.ml, cleanup
[sqlgg.git] / src / listMore.ml
blob12098eb2b13d58a791f1a15b32aed6e58857aa48
1 (* *)
3 open Prelude
5 module List =
6 struct
8 include ExtList.List
10 let filter_valid lst =
11 (*List.fold_left (fun l elem -> match elem with | Some x -> x::l | None -> l) [] (List.rev lst)*)
12 filter_map id lst
14 let find_option f = catch (find f)
16 end (* List *)