package checked_oint

  1. Overview
  2. Docs
An OCaml library for checked integer arithmetic

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (12)

Authors

  1. T
    Tima Kinsart <hirrolot@gmail.com>

Maintainers

  1. T
    Tima Kinsart <hirrolot@gmail.com>

Sources

checked_oint-0.1.2.tar.gz
md5=c4dab38d7d8b37987679308225374fad
sha512=8d416cd33a030fab4722a155f10ae44b9080de20be761927c9bb20d1c35ec1668ff1774121861156d16735ca1a22ee850f3762e8f2df8d06257b75367fb2d91f

doc/README.html

checked_oint

checked_oint is an OCaml library for checked integer arithmetic. We support the full set of signed and unsigned integers of bitnesses 8, 16, 32, 64, and 128.

Installation

$ opam install checked_oint

Usage

open Checked_oint

let () =
  let x = U8.of_int_exn 50 in
  let y = U8.of_int_exn 70 in
  assert (U8.equal (U8.add_exn x y) (U8.of_int_exn 120));
  assert (Option.is_none (U8.mul x y))

You can find the API documentation here.

Release procedure

  1. Update the version field in dune-project.
  2. Type dune build to generate checked_oint.opam.
  3. Update CHANGELOG.md.
  4. Release the project in GitHub Releases.
  5. Type git pull && opam publish.