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
actually produce meaningful code for select
[sqlgg.git]
/
listMore.ml
blob
01b24e3ddfffeebae35497c35965b13bce109836
1
(* *)
2
3
open
Operators
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 l
=
try
Some
(
find f l
)
with
Not_found
->
None
15
16
end
(* List *)