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

sha256=f64814687276bad56483b2b8dfaaf70d0d6485f67fe5d44bff34bfa47af1896e

md5=3a15a377800cf988a310b4082406c685

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