repo.or.cz
/
sqlgg.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
prelude.ml, cleanup
[sqlgg.git]
/
src
/
listMore.ml
blob
12098eb2b13d58a791f1a15b32aed6e58857aa48
1
(* *)
2
3
open
Prelude
4
5
module
List
=
6
struct
7
8
include
ExtList
.
List
9
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
13
14
let
find_option
f
=
catch
(
find f
)
15
16
end
(* List *)