package frenetic

You can search for identifiers within the package.

in-package search v0.2.0

The Frenetic Programming Language and Runtime System

Install

Dune Dependency

frenetic-lang.org Readme Edit opam file Versions (1)

Authors

A

Arjun Guha <arjun@cs.umass.edu>, Nate Foster <jnfoster@cs.cornell.edu>, Steffen Smolka <smolka@cs.cornell.edu>

Maintainers

N

Nate Foster <jnfoster@cs.cornell.edu>

Sources

5.0.5.tar.gz

md5=baf754df13a759c32f2c86a1b6f328da

sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29

doc/frenetic.netkat/Frenetic_netkat/LexBuffer/index.html

Module `Frenetic_netkat.LexBuffer`Source

A custom lexbuffer that automatically keeps track of the source location. This module is a thin wrapper arounds sedlexing's default buffer, which does not provide this functionality.

Sourcetype t = {

buf : Sedlexing.lexbuf;
mutable pos : Lexing.position;
mutable pos_mark : Lexing.position;
mutable last_char : Core.Uchar.t option;
mutable last_char_mark : Core.Uchar.t option;

}

the lex buffer type

Sourceval of_sedlex : ?file:string -> ?pos:Lexing.position -> Sedlexing.lexbuf -> t

Sourceval of_ascii_string : ?pos:Lexing.position -> string -> t

Sourceval of_ascii_file : Base.string -> t

Sourceval mark : t -> int -> unit

The next four functions are used by sedlex internally. See https://www.lexifi.com/sedlex/libdoc/Sedlexing.html.

Sourceval backtrack : t -> int

Sourceval start : t -> unit

Sourceval next_loc : t -> Lexing.position

location of next character

Sourceval cr : Core.Uchar.t

Sourceval next : t -> Uchar.t option

next character

Sourceval __private__next_int : t -> int

Sourceval raw : t -> int array

Sourceval ascii : ?skip:int -> ?drop:int -> t -> string