package asli

You can search for identifiers within the package.

in-package search v0.2.0

Interpreter for Arm's Architecture Specification Language (ASL)

Install

md5=f4581fd209256823fa4d569ac96c8cee

sha512=fd4a74294beb9eeeafa80c9224b5dc30f5e5ebde4d53fa601929d283b6ca72154de313874321774914f738ac6f0d640e59452f7d03cb1db7b3a019b48b82e0d4

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