package bonsai

You can search for identifiers within the package.

in-package search v0.2.0

A library for building dynamic webapps, using Js_of_ocaml

Install

Dune Dependency

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

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street developers

Sources

v0.15.1.tar.gz

sha256=0c4a714146073f421f1a6179561f836b45d8dc012c743207d3481ea63bef74bf

doc/bonsai.extra/Bonsai_extra/Id_gen/index.html

Module `Bonsai_extra.Id_gen`Source

Id_gen builds a component which generates unique identifiers by starting at 0 and incrementing by one every time that the effect is called.

The functor is parameteraized on the size of integer (int vs int63 vs int64), and it's also a generative functor, so invoking the functor multiple times times will mint new types.

I explicitly disassociate the input T from the output T because otherwise the benefits of the generative functor would be gone.

Parameters

module T : Core.Int_intf.S

Signature

include Core.Int_intf.S

type t

val t_sexp_grammar : t Sexplib0.Sexp_grammar.t

val of_float : float -> t

val to_float : t -> float

val of_int_exn : int -> t

val to_int_exn : t -> int

type comparator_witness

val is_positive : t -> bool

val is_non_negative : t -> bool

val is_negative : t -> bool

val is_non_positive : t -> bool

val sign : t -> Base__Comparable_intf.Sign.t

val invariant : t Base__Invariant_intf.inv

val to_string_hum : ?delimiter:char -> t -> string

val zero : t

val one : t

val minus_one : t

val (+) : t -> t -> t

val (-) : t -> t -> t

val (*) : t -> t -> t

val (**) : t -> t -> t

val neg : t -> t

val (~-) : t -> t

val (/%) : t -> t -> t

val (%) : t -> t -> t

val (/) : t -> t -> t

val rem : t -> t -> t

val (//) : t -> t -> float

val (land) : t -> t -> t

val (lor) : t -> t -> t

val (lxor) : t -> t -> t

val lnot : t -> t

val (lsl) : t -> int -> t

val (asr) : t -> int -> t

val round : 
  ?dir:[ `Down | `Nearest | `Up | `Zero ] ->
  t ->
  to_multiple_of:t ->
  t

val round_towards_zero : t -> to_multiple_of:t -> t

val round_down : t -> to_multiple_of:t -> t

val round_up : t -> to_multiple_of:t -> t

val round_nearest : t -> to_multiple_of:t -> t

val abs : t -> t

val succ : t -> t

val pred : t -> t

val pow : t -> t -> t

val bit_and : t -> t -> t

val bit_or : t -> t -> t

val bit_xor : t -> t -> t

val bit_not : t -> t

val popcount : t -> int

val shift_left : t -> int -> t

val shift_right : t -> int -> t

val decr : t Base__.Import.ref -> unit

val incr : t Base__.Import.ref -> unit

val of_int32_exn : int32 -> t

val to_int32_exn : t -> int32

val of_int64_exn : int64 -> t

val to_int64 : t -> int64

val of_nativeint_exn : nativeint -> t

val to_nativeint_exn : t -> nativeint

val of_float_unchecked : float -> t

val num_bits : int

val max_value : t

val min_value : t

val (lsr) : t -> int -> t

val shift_right_logical : t -> int -> t

val ceil_pow2 : t -> t

val floor_pow2 : t -> t

val ceil_log2 : t -> int

val floor_log2 : t -> int

val is_pow2 : t -> bool

val clz : t -> int

val ctz : t -> int

module O : sig ... end

val typerep_of_t : t Typerep_lib.Std_internal.Typerep.t

val typename_of_t : t Typerep_lib.Typename.t

module Hex : sig ... end

val bin_size_t : t Bin_prot.Size.sizer

val bin_write_t : t Bin_prot.Write.writer

val bin_read_t : t Bin_prot.Read.reader

val __bin_read_t__ : (int -> t) Bin_prot.Read.reader

val bin_shape_t : Bin_prot.Shape.t

val bin_writer_t : t Bin_prot.Type_class.writer

val bin_reader_t : t Bin_prot.Type_class.reader

val bin_t : t Bin_prot.Type_class.t

val t_of_sexp : Sexplib0.Sexp.t -> t

val sexp_of_t : t -> Sexplib0.Sexp.t

val of_string : string -> t

val to_string : t -> string

val pp : Base__.Formatter.t -> t -> unit

val (>=) : t -> t -> bool

val (<=) : t -> t -> bool

val (=) : t -> t -> bool

val (>) : t -> t -> bool

val (<) : t -> t -> bool

val (<>) : t -> t -> bool

val equal : t -> t -> bool

val compare : t -> t -> int

val min : t -> t -> t

val max : t -> t -> t

val ascending : t -> t -> int

val descending : t -> t -> int

val between : t -> low:t -> high:t -> bool

val clamp_exn : t -> min:t -> max:t -> t

val clamp : t -> min:t -> max:t -> t Base__.Or_error.t

module Replace_polymorphic_compare : sig ... end

val comparator : (t, comparator_witness) Core__Comparator.comparator

module Map : sig ... end

module Set : sig ... end

val hash_fold_t : t Base__Ppx_hash_lib.hash_fold

val hash : t -> Base__Ppx_hash_lib.Std.Hash.hash_value

val hashable : t Core__.Hashtbl.Hashable.t

module Table : sig ... end

module Hash_set : sig ... end

module Hash_queue : sig ... end

val validate_lbound : min:t Core__.Maybe_bound.t -> t Validate.check

val validate_ubound : max:t Core__.Maybe_bound.t -> t Validate.check

val validate_bound : 
  min:t Core__.Maybe_bound.t ->
  max:t Core__.Maybe_bound.t ->
  t Validate.check

val validate_positive : t Validate.check

val validate_non_negative : t Validate.check

val validate_negative : t Validate.check

val validate_non_positive : t Validate.check

val quickcheck_generator : t Base_quickcheck.Generator.t

val quickcheck_observer : t Base_quickcheck.Observer.t

val quickcheck_shrinker : t Base_quickcheck.Shrinker.t

val gen_incl : t -> t -> t Base_quickcheck.Generator.t

val gen_uniform_incl : t -> t -> t Base_quickcheck.Generator.t

val gen_log_uniform_incl : t -> t -> t Base_quickcheck.Generator.t

val gen_log_incl : t -> t -> t Base_quickcheck.Generator.t

Source

val component : 
  Core.Source_code_position.t ->
  t Bonsai.Effect.t Bonsai.Computation.t

On This Page

Parameters
Signature