package core

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

Piecewise linear interpolation from float-like types to float.

type ('key, 'value) t_

This type constructor is how we expose, for instance, that Make(K)(V).t and Stable.V1.Make(K)(V).t are the same type (as long as Stable.V1 is current). Likewise, if K0.t = K1.t, then Make(K0)(V).t = Make(K1)(V).t.

module type S = Piecewise_linear.S
module Make (Key : sig ... end) (Value : sig ... end) : sig ... end
type ('key, 'value) t_invertible
module Make_invertible (Key : sig ... end) (Value : sig ... end) : sig ... end

Sexp conversion of many of the following is lossy, because sexp conversion in the underlying modules is lossy.

module Ofday : sig ... end
module Span : sig ... end
module Time : sig ... end
module Ofday_ns : sig ... end
module Span_ns : sig ... end
module Time_ns : sig ... end

Since keys are represented as floats internally, the precision of the keys is about 238ns (from early 2004 to early 2038).

module Float : sig ... end
module Int : sig ... end
module Stable : sig ... end

Note that applications of the following functors are only as stable as Key and Value.