simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-06 03:05:28 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix readme across versions

Browse source
This commit is contained in:
Simon Cruanes 2019-02-02 20:44:16 -06:00
parent 18024cc5e9
commit 6f681256f7
1 changed files with 9 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
README.md
View file

@ -316,7 +316,7 @@ module IntMap = CCMap.Make(CCInt)
# (* conversions using the "sequence" type, fast iterators that are # (* conversions using the "sequence" type, fast iterators that are
pervasively used in containers. Combinators can be found pervasively used in containers. Combinators can be found
in the opam library "sequence". *) in the opam library "sequence". *)
let map = let map : string IntMap.t =
l2 l2
|> List.map (fun x -> x, string_of_int x) |> List.map (fun x -> x, string_of_int x)
|> CCList.to_seq |> CCList.to_seq
@ -378,13 +378,17 @@ Now for a few examples:
vector that is mutable OR immutable (see the 'mut parameter?) *) vector that is mutable OR immutable (see the 'mut parameter?) *)
CCVector.init ;; CCVector.init ;;
- : int -> (int -> 'a) -> ('a, 'mut) CCVector.t = <fun> - : int -> (int -> 'a) -> ('a, 'mut) CCVector.t = <fun>
```
```ocaml non-deterministic=output
# (* use the infix (--) operator for creating a range. Notice # (* use the infix (--) operator for creating a range. Notice
that v is a vector of integer but its mutability is not that v is a vector of integer but its mutability is not
decided yet. *) decided yet. *)
let v = CCVector.(1 -- 10);; let v = CCVector.(1 -- 10);;
val v : (int, '_weak1) CCVector.t = <abstr> val v : (int, '_a) CCVector.t = <abstr>
```
```ocaml
# Format.printf "v = @[%a@]@." (CCVector.pp CCInt.pp) v;; # Format.printf "v = @[%a@]@." (CCVector.pp CCInt.pp) v;;
v = 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 v = 1, 2, 3, 4, 5, 6, 7, 8, 9, 10
- : unit = () - : unit = ()
@ -395,11 +399,11 @@ v = 1, 2, 3, 4, 5, 6, 7, 8, 9, 10
- : (int, CCVector.rw) CCVector.t = <abstr> - : (int, CCVector.rw) CCVector.t = <abstr>
# (* functional combinators! *) # (* functional combinators! *)
let v2 = v let v2 : _ CCVector.ro_vector = v
|> CCVector.map (fun x-> x+1) |> CCVector.map (fun x-> x+1)
|> CCVector.filter (fun x-> x mod 2=0) |> CCVector.filter (fun x-> x mod 2=0)
|> CCVector.rev ;; |> CCVector.rev ;;
val v2 : (int, '_weak2) CCVector.t = <abstr> val v2 : int CCVector.ro_vector = <abstr>
# Format.printf "v2 = @[%a@]@." (CCVector.pp CCInt.pp) v2;; # Format.printf "v2 = @[%a@]@." (CCVector.pp CCInt.pp) v2;;
v2 = 10, 8, 6, 4, 2 v2 = 10, 8, 6, 4, 2
@ -479,7 +483,7 @@ a record with an explicitely quantified function type).
Now we can read the file again: Now we can read the file again:
```ocaml ```ocaml
# let lines = CCIO.with_in "./foobar" CCIO.read_lines_l ;; # let lines : string list = CCIO.with_in "./foobar" CCIO.read_lines_l ;;
val lines : string list = ["hello"; "world"] val lines : string list = ["hello"; "world"]
``` ```