Up

module Piecewise_linear

: sig

Piece-wise 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_intf.S with type ('k, 'v) t_ := ('k, 'v) t_
#
module Make : functor (Key : Piecewise_linear_intf.Float_like) -> functor (Value : Piecewise_linear_intf.Float_like) -> S with type key = Key.t and type value = Value.t
#
type ('key, 'value) t_invertible
#
module type S_invertible = Piecewise_linear_intf.S_invertible with type ('k, 'v) t_ := ('k, 'v) t_invertible
#
module Make_invertible : functor (Key : Piecewise_linear_intf.Float_like) -> functor (Value : Piecewise_linear_intf.Float_like) -> S_invertible with type key = Key.t and type value = Value.t
#
module Time : S with type key = Time.t and type value = float
#
module Ofday : S with type key = Ofday.t and type value = float
#
module Span : S with type key = Span.t and type value = float
#
module Float : S with type key = float and type value = float
#
module Int : S with type key = int and type value = float
#
module Stable : sig

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

#
module V1 : sig
include sig
#
type ('a0, 'a1) __pa_nonrec_0 = ('a0, 'a1) t_
#
type ('key, 'value) t_ = ('key, 'value) __pa_nonrec_0
end
with type ('a0, 'a1) __pa_nonrec_0 := ('a0, 'a1) t_
#
module Make : functor (Key : Piecewise_linear_intf.Float_like) -> functor (Value : Piecewise_linear_intf.Float_like) -> sig
#
type t = (Key.t, Value.t) t_
#
val t_of_sexp : Sexplib.Sexp.t -> t
#
val sexp_of_t : t -> Sexplib.Sexp.t
#
val compare : t -> t -> int
#
val bin_t : t Core_kernel.Std.Bin_prot.Type_class.t
#
val bin_read_t : t Core_kernel.Std.Bin_prot.Read.reader
#
val __bin_read_t__ : (int -> t) Core_kernel.Std.Bin_prot.Read.reader
#
val bin_reader_t : t Core_kernel.Std.Bin_prot.Type_class.reader
#
val bin_size_t : t Core_kernel.Std.Bin_prot.Size.sizer
#
val bin_write_t : t Core_kernel.Std.Bin_prot.Write.writer
#
val bin_writer_t : t Core_kernel.Std.Bin_prot.Type_class.writer
end
include sig
#
type ('a0, 'a1) __pa_nonrec_1 = ('a0, 'a1) t_invertible
#
type ('key, 'value) t_invertible = ('key, 'value) __pa_nonrec_1
end
with type ('a0, 'a1) __pa_nonrec_1 := ('a0, 'a1) t_invertible
#
module Make_invertible : functor (Key : Piecewise_linear_intf.Float_like) -> functor (Value : Piecewise_linear_intf.Float_like) -> sig
#
type t = (Key.t, Value.t) t_invertible
#
val t_of_sexp : Sexplib.Sexp.t -> t
#
val sexp_of_t : t -> Sexplib.Sexp.t
#
val compare : t -> t -> int
#
val bin_t : t Core_kernel.Std.Bin_prot.Type_class.t
#
val bin_read_t : t Core_kernel.Std.Bin_prot.Read.reader
#
val __bin_read_t__ : (int -> t) Core_kernel.Std.Bin_prot.Read.reader
#
val bin_reader_t : t Core_kernel.Std.Bin_prot.Type_class.reader
#
val bin_size_t : t Core_kernel.Std.Bin_prot.Size.sizer
#
val bin_write_t : t Core_kernel.Std.Bin_prot.Write.writer
#
val bin_writer_t : t Core_kernel.Std.Bin_prot.Type_class.writer
end
end
end
end