package devkit

You can search for identifiers within the package.

in-package search v0.2.0

Development kit - general purpose library

Install

sha256=dae965685dceed47ad8e9844f12fe707dafdf2c3bdd46d0431d5b4d1e7754b23

sha512=b94ade804d751db87434042bbaa821fa8e82e233820a76806f910e2da040094b137e88a3579911a1626930912622b064c776ddbcb6991fb7111021ebf6553fdc

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