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.1.3.tar.gz

sha512=9b654edb663ae697563f150824047052f3b1bf760398f24bce6350553f031f73c46b6337239a1acd871e61238597ea92046809e3358290ff14d6ba671b449085

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