summaryrefslogtreecommitdiff
path: root/src/vylist.mli
blob: 76ec5edae1cc92768e4cfefddee0ed357f7265dc (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
val find : ('a -> bool) -> 'a list -> 'a option

val remove : ('a -> bool) -> 'a list -> 'a list

val replace : ?force:bool -> ('a -> bool) -> 'a -> 'a list -> 'a list
[@@alert exn "Not_found"]

val insert_before : ('a -> bool) -> 'a -> 'a list -> 'a list
[@@alert exn "Not_found"]

val insert_after : ('a -> bool) -> 'a -> 'a list -> 'a	list
[@@alert exn "Not_found"]

val insert_compare : ('a -> 'a -> int) -> 'a -> 'a list -> 'a list

val complement : 'a list -> 'a list -> 'a list

val in_list : 'a list -> 'a -> bool