package asli

  1. Overview
  2. Docs

Generic utility functions

val to_string : PPrintEngine.document -> string
val nub : 'a list -> 'a0 list
val zip_list : 'a list -> 'b list -> ('a0 * 'b0) list
val zipWithIndex : ('a -> int -> 'b) -> 'a0 list -> 'b0 list
val isNone : 'a option -> bool
val map_option : ('a -> 'b) -> 'a0 option -> 'b0 option
val get_option : 'a option -> 'a0
val from_option : 'a option -> (unit -> 'a0) -> 'a1
val bind_option : 'a option -> ('a0 -> 'b option) -> 'b0 option
val orelse_option : 'a option -> (unit -> 'a0 option) -> 'a1 option
val concat_option : 'a list option list -> 'a0 list option
val flatten_option : 'a option list -> 'a0 list
val flatmap_option : ('a -> 'b option) -> 'a0 list -> 'b0 list
val flatten_map_option : ('a -> 'b option) -> 'a0 list -> 'b0 list option
val first_option : ('a -> 'b option) -> 'a0 list -> 'b0 option
val startswith : string -> string -> bool

Test whether 'x' starts with (is prefixed by) 'y'

val endswith : string -> string -> bool

Test whether 'x' ends with (is suffixed by) 'y'

val stringDrop : int -> string -> string

Drop first n characters from string