package containers

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Input
Output
Both
Misc for Generators
File and file names

containers
- CCArray
- CCArrayLabels
  - Infix
  - MONO_ARRAY
- CCAtomic
- CCBool
- CCByte_buffer
- CCCanonical_sexp
  - Make
    
    Sexp
- CCChar
  - Infix
- CCEither
- CCEqual
  - Infix
- CCEqualLabels
  - Infix
- CCFloat
  - Infix
- CCFormat
  - ANSI_codes
  - Dump
  - Infix
- CCFun
  - Infix
  - Monad
    
    X
- CCHash
- CCHashtbl
  - Make
    
    X
  - Poly
  - S
- CCHeap
  - Make
    
    E
  - Make_from_compare
    
    E
  - PARTIAL_ORD
  - S
  - TOTAL_ORD
- CCIO
  - File
- CCInt
  - Infix
- CCInt32
  - Infix
- CCInt64
  - Infix
- CCList
  - Assoc
  - Infix
  - MONAD
  - Ref
  - Traverse
    
    M
- CCListLabels
  - Assoc
  - Infix
  - MONAD
  - Ref
  - Traverse
    
    M
- CCMap
  - Make
    
    O
  - S
- CCNativeint
  - Infix
- CCOpt
  - Infix
- CCOption
  - Infix
- CCOrd
  - Infix
- CCPair
- CCParse
  - Debug_
  - Error
  - Infix
  - Position
  - Slice
  - U
- CCRandom
- CCRef
- CCResult
  - Infix
  - MONAD
  - Traverse
    
    M
- CCSeq
  - Infix
  - MONAD
  - Traverse
    
    M
- CCSet
  - Make
    
    O
  - S
- CCSexp
  - Decoder
  - Make
    
    Decoder
    
    Sexp
- CCSexp_intf
  - BASIC_SEXP
  - S
    
    Decoder
  - S0
  - SEXP
- CCSexp_lex
- CCShims_
- CCString
  - Find
  - Infix
  - Split
- CCStringLabels
  - Find
  - Infix
  - Split
- CCUnit
- CCUtf8_string
- CCVector
- Containers
  - Hashtbl
    
    HashedType
    
    MakeSeeded
    
    H
    
    S
    
    SeededHashedType
    
    SeededS
- ContainersLabels
  - Hashtbl
    
    HashedType
    
    MakeSeeded
    
    H
    
    S
    
    SeededHashedType
    
    SeededS
containers.bencode
- Containers_bencode
  - Decode
  - Encode
  - Str_map
containers.cbor
- Containers_cbor
containers.codegen
- Containers_codegen
  - Bitfield
  - Code
containers.monomorphic
- CCMonomorphic
containers.pp
- Containers_pp
  - Dump
  - Ext
  - Flatten
  - Infix
  - Out
  - Pretty
  - Term_color
containers.scc
- Containers_scc
  - ARG
    
    Node_tbl
  - Make
    
    A
    
    Node_tbl
  - S
    
    A
    
    Node_tbl
containers.top
- Containers_top
containers.unix
- CCUnix
  - Infix

Legend:
Library
Module
Module type
Parameter
Class
Class type

IO Utils

Simple utilities to deal with basic Input/Output tasks in a resource-safe way. For advanced IO tasks, the user is advised to use something like Lwt or Async, that are far more comprehensive.

Examples:

obtain the list of lines of a file:

# let l = CCIO.(with_in "/tmp/some_file" read_lines_l);;

transfer one file into another:

# CCIO.(
    with_in "/tmp/input"
      (fun ic ->
         let chunks = read_chunks_gen ic in
         with_out ~flags:[Open_binary; Open_creat] ~mode:0o644 "/tmp/output"
           (fun oc ->
              write_gen oc chunks
           )
      )
  ) ;;

Note that the lifetime of an IO generator is tied to the underlying channel. In the example above, chunks must be used in the scope of ic. This will raise an error:

# CCIO.(
    let chunks =
      with_in "/tmp/input"
        (fun ic -> read_chunks_gen ic)
    in
    with_out ~flags:[Open_binary;Open_creat] ~mode:0o644 "/tmp/output"
       (fun oc ->
          write_gen oc chunks
       )
  ) ;;

since 0.6

before 0.12
was in 'containers.io', now moved into 'containers'

type 'a or_error = ('a, string) Pervasives.result

type 'a iter = ('a -> unit) -> unit

type 'a gen = unit -> 'a option

See Gen in the gen library.

Input

val with_in : 
  ?mode:int ->
  ?flags:Pervasives.open_flag list ->
  string ->
  (Pervasives.in_channel -> 'a) ->
  'a

Open an input file with the given optional flag list, calls the function on the input channel. When the function raises or returns, the channel is closed.

raises Sys_error
in case of error (same as open_in and close_in).

parameter flags
opening flags (default [Open_text]). Open_rdonly is used in any cases.

val read_chunks_gen : ?size:int -> Pervasives.in_channel -> string gen

Read the channel's content into chunks of size at most size. NOTE the generator must be used within the lifetime of the channel, see warning at the top of the file.

val read_chunks_seq : ?size:int -> Pervasives.in_channel -> string Seq.t

Read the channel's content into chunks of size at most size. NOTE the generator must be used within the lifetime of the channel, see warning at the top of the file.

since 3.5

val read_chunks_iter : ?size:int -> Pervasives.in_channel -> string iter

Read the channel's content into chunks of size at most size

since 3.6

val read_line : Pervasives.in_channel -> string option

Read a line from the channel. Returns None if the input is terminated. The "\n" is removed from the line.

val read_lines_gen : Pervasives.in_channel -> string gen

Read all lines. The generator should be traversed only once. NOTE the generator must be used within the lifetime of the channel, see warning at the top of the file.

val read_lines_seq : Pervasives.in_channel -> string Seq.t

Read all lines. NOTE the seq must be used within the lifetime of the channel, see warning at the top of the file.

since 3.5

val read_lines_iter : Pervasives.in_channel -> string iter

Read all lines.

since 3.6

val read_lines_l : Pervasives.in_channel -> string list

Read all lines into a list.

val read_all : ?size:int -> Pervasives.in_channel -> string

Read the whole channel into a buffer, then converted into a string.

parameter size
the internal buffer size.

since 0.7

val read_all_bytes : ?size:int -> Pervasives.in_channel -> Bytes.t

Read the whole channel into a mutable byte array.

parameter size
the internal buffer size.

since 0.12

Output

val with_out : 
  ?mode:int ->
  ?flags:Pervasives.open_flag list ->
  string ->
  (Pervasives.out_channel -> 'a) ->
  'a

Like with_in but for an output channel.

parameter flags
opening flags (default [Open_creat; Open_trunc; Open_text]).

raises Sys_error
in case of error (same as open_out and close_out). Open_wronly is used in any cases.

val with_out_a : 
  ?mode:int ->
  ?flags:Pervasives.open_flag list ->
  string ->
  (Pervasives.out_channel -> 'a) ->
  'a

Like with_out but with the [Open_append; Open_creat; Open_wronly] flags activated, to append to the file.

raises Sys_error
in case of error (same as open_out and close_out).

val write_line : Pervasives.out_channel -> string -> unit

Write the given string on the channel, followed by "\n".

val write_gen : ?sep:string -> Pervasives.out_channel -> string gen -> unit

Write the given strings on the output. If provided, add sep between every two strings (but not at the end).

val write_seq : ?sep:string -> Pervasives.out_channel -> string Seq.t -> unit

Write the given strings on the output. If provided, add sep between every two strings (but not at the end).

since 3.5

val write_lines : Pervasives.out_channel -> string gen -> unit

Write every string on the output, followed by "\n".

val write_lines_iter : Pervasives.out_channel -> string iter -> unit

Write every string on the output, followed by "\n".

since 3.6

val write_lines_seq : Pervasives.out_channel -> string Seq.t -> unit

Write every string on the output, followed by "\n".

since 3.5

val write_lines_l : Pervasives.out_channel -> string list -> unit

Both

val with_in_out : 
  ?mode:int ->
  ?flags:Pervasives.open_flag list ->
  string ->
  (Pervasives.in_channel -> Pervasives.out_channel -> 'a) ->
  'a

Combines with_in and with_out.

parameter flags
opening flags (default [Open_creat]).

raises Sys_error
in case of error.

since 0.12

val copy_into : 
  ?bufsize:int ->
  Pervasives.in_channel ->
  Pervasives.out_channel ->
  unit

copy_into ic oc writes the content of ic into oc. It is a blocking call.

since 3.0

Misc for Generators

val tee : ('a -> unit) list -> 'a gen -> 'a gen

tee funs gen behaves like gen, but each element is given to every function f in funs at the time the element is produced. The returned generator will raise any exception that f raises

File and file names

How to list recursively files in a directory:

# let files = CCIO.File.read_dir ~recurse:true (CCIO.File.make "/tmp");;
# CCIO.write_lines stdout files;;

See File.walk if you also need to list directories:

# let content = CCIO.File.walk (CCIO.File.make "/tmp");;
# Gen.map CCIO.File.show_walk_item content |> CCIO.write_lines stdout;;

module File : sig ... end