package devkit

  1. Overview
  2. Docs
Development kit - general purpose library

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (9)

Authors

  1. A
    Ahrefs <github@ahrefs.com>

Maintainers

  1. I
    igor@ahrefs.com

Sources

1.20261006.tar.gz
md5=a39dbbce04bd5562a9b4443daf39c582
sha512=b10104b61384b2151521b785e7f3c3250134c75eae09b42cad69bc4a22a9a5e429beb891ee87cedf376c23d9c40f09d3f71c3fd48aa35df490c0f69dc17f3242

doc/devkit.core/Devkit_core/Reader/index.html

Module Devkit_core.ReaderSource

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