Merge remote-tracking branch 'perso/master' into CCHeap

containers.opam

@@ -6,7 +6,7 @@ maintainer: "simon.cruanes.2007@m4x.org"
 build: [
     ["jbuilder" "build" "-p" name "-j" jobs]
 ]
-build-doc: [ "jbuilder" "doc" ]
+build-doc: [ "jbuilder" "build" "@doc" ]
 build-test: [ "jbuilder" "runtest" ]
 depends: [
   "jbuilder" {build}

src/core/CCList.ml

@@ -855,6 +855,10 @@ let head_opt = function
   | [] -> None
   | x::_ -> Some x
 
+let tail_opt = function
+  | [] -> None
+  | _ :: tail -> Some tail
+
 let rec last_opt = function
   | [] -> None
   | [x] -> Some x
@@ -864,6 +868,9 @@ let rec last_opt = function
   (Some 1) (head_opt [1;2;3])
   (Some 1) (head_opt [1])
   None (head_opt [])
+  (Some [2;3]) (tail_opt [1;2;3])
+  (Some []) (tail_opt [1])
+  None (tail_opt [])
   (Some 3) (last_opt [1;2;3])
   (Some 1) (last_opt [1])
   None (last_opt [])

src/core/CCList.mli

@@ -249,6 +249,10 @@ val head_opt : 'a t -> 'a option
 (** First element.
     @since 0.20 *)
 
+val tail_opt : 'a t -> 'a t option
+(** Return the given list without its first element.
+    @since NEXT_RELEASE *)
+    
 val last_opt : 'a t -> 'a option
 (** Last element.
     @since 0.20 *)

src/core/CCListLabels.mli

@@ -159,6 +159,10 @@ val head_opt : 'a t -> 'a option
 (** First element.
     @since 0.20 *)
 
+val tail_opt : 'a t -> 'a t option
+(** Return the given list without its first element.
+    @since NEXT_RELEASE *)
+
 val last_opt : 'a t -> 'a option
 (** Last element.
     @since 0.20 *)