package rdf

  1. Overview
  2. Docs
package rdf
Legend:
Library
Module
Module type
Parameter
Class
Class type

Misc functions.

val string_of_opt : string option -> string
val opt_of_string : string -> string option
val map_opt : ('a -> 'b) -> 'a option -> 'b option
val opt_compare : ('a -> 'a -> int) -> 'a option -> 'a option -> int
val compare_list : ('a -> 'a -> int) -> 'a list -> 'a list -> int
val string_of_file : string -> string

string_of_file filename returns the content of filename in the form of one string.

  • author Maxence Guesdon
  • version 1.0
  • raises Sys_error

    if the file could not be opened. @cgname File.string_of_file

val split_string : ?keep_empty:bool -> string -> char list -> string list

Separate the given string according to the given list of characters.

  • author Maxence Guesdon
  • version 1.2
  • parameter keep_empty

    is false by default. If set to true, the empty strings between separators are kept. @cgname String.split_string