package drom_lib

  1. Overview
  2. Docs
include module type of struct include EzString end
val for_all : (char -> bool) -> string -> bool

for_all fn s tests whether every characters of s verify fn

val exists : (char -> bool) -> string -> bool

exists fn s tests whether at least a character of s verifies fn

val before : string -> int -> string

before s pos returns the substring before pos (the character at position pos is not included)

val after : string -> int -> string

after s pos returns the substring after pos (the character at position pos is not included)

val starts_with : string -> prefix:string -> bool

starts_with s ~prefix checks whether s starts with prefix

val ends_with : string -> suffix:string -> bool

ends_with s ~suffix checks whether s ends with suffix

val cut : string -> int -> string * string

cut pos s returns the substrings of s before and after the position pos. The character at position pos is not included

val cut_at : string -> char -> string * string

cut_at c s returns the substring of s before and after the position first occurence of character c.

val rcut_at : string -> char -> string * string

rcut_at c s returns the substring of s before and after the position last occurence of character c.

val split : string -> char -> string list

split s c splits the string s on characters c, starting from the left. Invariant: String.concat (String.make 1 c) (split s c) = s

val split_simplify : string -> char -> string list

split s c splits the string s on characters c, starting from the left, removing empty sub strings.

val chop_prefix : string -> prefix:string -> string option
val chop_suffix : string -> suffix:string -> string option