Module Rdf.MiscSource

Misc functions.

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

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

  • raises Sys_error

    if the file could not be opened.

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

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

  • parameter keep_empty

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