package devkit

You can search for identifiers within the package.

in-package search v0.2.0

Development kit - general purpose library

Install

md5=00995ebead339d6ec1ba7859c3fc3a58

sha256=5ad39c7fa1a966a2f0a7f6dbb7e82c787439c73482f5f44b3c9fb54b040d36eb

sha512=8dd3f7d4aaabae9aa9ede13edee2b22214c0d2e2780bb08b2ca8ed588d74fc6d9b1908bb31dfee49c949c7cc425fb98897b8e0f11280070ebd99b965908ea133

Simple string reader

Sourcetype t

Sourceexception EOS

Sourceexception Not_equal of string

Sourceval init : string -> t

Sourceval eos : t -> bool

Sourceval rest : t -> string

post-condition: eos is true

Sourceval till : t -> string -> string

Sourceval try_till : t -> string -> string

Sourceval tillc : t -> char -> string

Sourceval try_tillc : t -> char -> string

Sourceval take : t -> int -> string

Sourceval try_take : t -> int -> string

Sourceval is_const : t -> string -> bool

Sourceval const : t -> string -> unit

Sourceval try_const : t -> string -> unit

Sourceval while_ : t -> (char -> bool) -> string

Sourceval skipc : t -> char -> unit