package incremental

  1. Overview
  2. Docs
package incremental
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Incremental.CutoffSource

An 'a Cutoff.t is a function that returns true if propagation of changes should be cutoff at a node based on the old value and the (possible) new value of the node.

Sourcetype 'a t
Sourceval sexp_of_t : ('a -> Sexplib0.Sexp.t) -> 'a t -> Sexplib0.Sexp.t
include Core.Invariant.S1 with type 'a t := 'a t
Sourceval invariant : 'a Base__Invariant_intf.inv -> 'a t Base__Invariant_intf.inv
Sourceval create : (old_value:'a -> new_value:'a -> bool) -> 'a t
Sourceval of_compare : ('a -> 'a -> int) -> 'a t
Sourceval of_equal : ('a -> 'a -> bool) -> 'a t
Sourceval always : _ t
Sourceval never : _ t
Sourceval phys_equal : _ t
Sourceval poly_equal : _ t
Sourceval should_cutoff : 'a t -> old_value:'a -> new_value:'a -> bool
Sourceval equal : 'a t -> 'a t -> bool

One can use equal in combination with get_cutoff to check if a node has a particular cutoff function. equal uses Core.phys_equal for functional values supplied to create and of_compare.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct