Plasma GitLab Archive
Projects Blog Knowledge

sig
  type glob_expr = Netglob.glob_expr_atom list
  and glob_expr_atom =
      [ `Brace of Netglob.glob_expr list
      | `Bracket of bool * Netglob.glob_set
      | `Literal of string
      | `Qmark
      | `Star
      | `Tilde of string ]
  and glob_set = < set : (int * int) list >
  type valid_glob_expr
  class type user_info =
    object
      method home_directory : string -> string
      method path_encoding : Netconversion.encoding option
    end
  class type glob_fsys =
    object
      method file_exists : string -> bool
      method file_is_dir : string -> bool
      method path_encoding : Netconversion.encoding option
      method read_dir : string -> string list
    end
  type glob_mode = [ `All_paths | `All_words | `Existing_paths ]
  type pattern = [ `Expr of Netglob.valid_glob_expr | `String of string ]
  exception Bad_glob_expr of string
  exception Unsupported_expr of string
  val parse_glob_expr :
    ?encoding:Netconversion.encoding ->
    ?enable_star:bool ->
    ?enable_qmark:bool ->
    ?enable_brackets:bool ->
    ?enable_braces:bool ->
    ?enable_tilde:bool ->
    ?enable_escape:bool -> string -> Netglob.valid_glob_expr
  val validate_glob_expr :
    Netconversion.encoding -> Netglob.glob_expr -> Netglob.valid_glob_expr
  val recover_glob_expr : Netglob.valid_glob_expr -> Netglob.glob_expr
  val encoding_of_glob_expr :
    Netglob.valid_glob_expr -> Netconversion.encoding
  val literal_glob_expr :
    Netconversion.encoding -> string -> Netglob.valid_glob_expr
  val print_glob_expr :
    ?escape_in_literals:bool -> Netglob.valid_glob_expr -> string
  val expand_glob_expr :
    ?user_info:Netglob.user_info ->
    ?expand_brace:bool ->
    ?expand_tilde:bool ->
    Netglob.valid_glob_expr -> Netglob.valid_glob_expr list
  val match_glob_expr :
    ?protect_period:bool ->
    ?protect_slash:bool ->
    ?encoding:Netconversion.encoding ->
    Netglob.valid_glob_expr -> string -> bool
  val split_glob_expr :
    Netglob.valid_glob_expr -> Netglob.valid_glob_expr list
  val check_rooted_glob_expr :
    Netglob.valid_glob_expr -> Netglob.valid_glob_expr option
  val check_directory_glob_expr :
    Netglob.valid_glob_expr -> Netglob.valid_glob_expr option
  val glob :
    ?encoding:Netconversion.encoding ->
    ?base_dir:string ->
    ?protect_period:bool ->
    ?fsys:Netglob.glob_fsys ->
    ?user_info:Netglob.user_info ->
    ?mode:Netglob.glob_mode -> Netglob.pattern -> string list
  class local_user_info : unit -> user_info
  val local_user_info : unit -> Netglob.user_info
  class local_fsys : ?encoding:Netconversion.encoding -> unit -> glob_fsys
  val local_fsys :
    ?encoding:Netconversion.encoding -> unit -> Netglob.glob_fsys
  class of_stream_fs : #Netfs.stream_fs -> glob_fsys
  val of_stream_fs : #Netfs.stream_fs -> Netglob.glob_fsys
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml