package granary

  1. Overview
  2. Docs
Pure-OCaml SQL engine

Install

dune-project
 Dependency

Authors

Maintainers

Sources

0.0.3.tar.gz
sha256=8b18780ea373be48301d9f333925860a2f9110fc0ac28684295118d72b65a67e
sha512=25ca3c9c5e2b528704a542502e0f37dc33ba003f65622d969b8c2b800778585f8ef0cf89b36e6679832e3993e8303aecddfc662742baf7044d6afe4a796b8f11

doc/granary.ivm/Granary_ivm/Join/Make/index.html

Module Join.MakeSource

Make (S) builds an incremental equi-join operator for spec S.

Parameters

module S : SPEC

Signature

Sourcetype t

A stateful join operator: the integrated left/right inputs plus the materialized output.

Sourceval create : unit -> t

A fresh operator with empty inputs and output.

Sourceval step : t -> left:S.Left.t -> right:S.Right.t -> S.Out.t

step t ~left ~right integrates the input deltas left and right (pass Zset.S.zero for a side with no change) and returns the resulting output delta, also folding it into output.

Sourceval output : t -> S.Out.t

The current materialized join of everything integrated so far.