package asli

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `LibASL.Utils`Source

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