package core_extended

  1. Overview
  2. Docs
package core_extended
Legend:
Library
Module
Module type
Parameter
Class
Class type

Generic caching library

val memoize : ?destruct:('b -> unit) -> ?expire:[ `Lru of int | `Keep_all | `Keep_one ] -> ('a -> 'b) -> 'a -> 'b

memoize ~destruct ~expire f memoizes the results of f.

  • parameter expire

    Strategy used to prune out values from the cache

    • `Keep_one: only keeps the last result around
    • `Keep_all: (the default value) never delete any values from the cache
    • `Lru n: keep n values in the cache and them removes the least recently used
  • parameter destruct

    function called on every value we remove from the cache

val unit : (unit -> 'a) -> unit -> 'a

Returns memoized version of any function with argument unit. In effect this builds a lazy value.

Exposed cache

These modules implement memoization and give you access to the cache. This, for instance, enables you to flush it.

module Lru : sig ... end

Least recently used caching

module Keep_all : sig ... end

Full caching (never flushes out values automatically )

Generic caching

This enables you to implement your own caching strategy and store.

Generic caching is based on separating the replacement policie and the store and tying them together with Make.

module type Strategy = sig ... end

Replacement policy

module type Store = sig ... end

Caching store

module type S = sig ... end

The output signature of the functor Cache.Make

module Strategy : sig ... end

Predefined strategies

module Store : sig ... end

Predefined stores

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