package orsetto

You can search for identifiers within the package.

in-package search v0.2.0

A library of assorted structured data interchange languages

Install

Dune Dependency

bitbucket.org Edit opam file Versions (8)

Authors

J

james woodyatt <jhw@conjury.org>

Maintainers

J

james woodyatt <jhw@conjury.org>

Sources

r1.0.3.tar.gz

sha256=151ca6df499bd3de7aa89a4e1627411fbee24c4dea6e0e71ce21f06f181ee654

md5=00393728b481c2bf15919a8202732335

doc/orsetto.cf/Cf_dfa/Aux/Memo/index.html

Module `Aux.Memo`

Use Memo(E) with a totally ordered event type to make a dispatch that memorizes the results of computing transitions as events require them. Transitions are only computed for events not previously required.

Parameters

module E : Cf_relations.Order

Signature

type event = E.t

The event type.

type 'a t

The dispatch type.

val create : (event -> 'a option) -> 'a t

The DFA uses create f to make an event dispatch that returns transitions computed by applying f to an event.

val dispatch : event -> 'a t -> 'a

The DFA uses dispatch e d to find the transition in d for e.

On This Page

Parameters
Signature