package bignum

You can search for identifiers within the package.

in-package search v0.2.0

Core-flavoured wrapper around zarith's arbitrary-precision rationals

Install

Dune Dependency

github.com Changelog MIT License Edit opam file Versions (6)

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street developers

Sources

v0.17.0.tar.gz

sha256=7acc936acbaaf71b2c1518e09b7651bec20d8dc72a990c871c40a74b63b1a8ed

doc/bignum.bigint/Bigint/Map/Diff/index.html

Module `Map.Diff`Source

Sourcetype ('a, 'a_diff) t = (Key.t, 'a, 'a_diff) Diffable.Map_diff.t

include Bin_prot.Binable.S2 with type ('a, 'a_diff) t := ('a, 'a_diff) t

Sourceval bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.t -> Bin_prot.Shape.t

Sourceval bin_size_t : ('a, 'b, ('a, 'b) t) Bin_prot.Size.sizer2

Sourceval bin_write_t : ('a, 'b, ('a, 'b) t) Bin_prot.Write.writer2

Sourceval bin_read_t : ('a, 'b, ('a, 'b) t) Bin_prot.Read.reader2

Sourceval __bin_read_t__ : ('a, 'b, int -> ('a, 'b) t) Bin_prot.Read.reader2

Sourceval bin_writer_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.writer

Sourceval bin_reader_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.reader

Sourceval bin_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.t

include Sexplib0.Sexpable.S2 with type ('a, 'a_diff) t := ('a, 'a_diff) t

Source

val t_of_sexp : 
  (Sexplib0.Sexp.t -> 'a) ->
  (Sexplib0.Sexp.t -> 'b) ->
  Sexplib0.Sexp.t ->
  ('a, 'b) t

Source

val sexp_of_t : 
  ('a -> Sexplib0.Sexp.t) ->
  ('b -> Sexplib0.Sexp.t) ->
  ('a, 'b) t ->
  Sexplib0.Sexp.t

include Diffable.Diff.S1_plain
  with type ('a, 'a_diff) t := ('a, 'a_diff) t
   and type 'a derived_on = (Key.t, 'a, Key.comparator_witness) Base.Map.t

Sourcetype 'a derived_on = (Key.t, 'a, Key.comparator_witness) Base.Map.t

Source

val get : 
  (from:'a -> to_:'a -> 'a_diff Diffable__.Optional_diff.t) ->
  from:'a derived_on ->
  to_:'a derived_on ->
  ('a, 'a_diff) t Diffable__.Optional_diff.t

Source

val apply_exn : 
  ('a -> 'a_diff -> 'a) ->
  'a derived_on ->
  ('a, 'a_diff) t ->
  'a derived_on

Source

val of_list_exn : 
  ('a_diff list -> 'a_diff Diffable__.Optional_diff.t) ->
  ('a -> 'a_diff -> 'a) ->
  ('a, 'a_diff) t list ->
  ('a, 'a_diff) t Diffable__.Optional_diff.t

package bignum

Install

Dune Dependency

Authors

Maintainers

Sources

doc/bignum.bigint/Bigint/Map/Diff/index.html

Module Map.DiffSource

Module `Map.Diff`Source