package asli

  1. Overview
  2. Docs

Module LibASL.UtilsSource

Generic utility functions

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

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

Sourceval endswith : string -> string -> bool

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

Sourceval stringDrop : int -> string -> string

Drop first n characters from string

OCaml

Innovation. Community. Security.