package bastet

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module BastetSource

Sourcemodule Array : sig ... end
Sourcemodule ArrayF : sig ... end
Sourcemodule Bool : sig ... end
Sourcemodule Default : sig ... end

This module provides default implementations for interfaces

Sourcemodule Dual : sig ... end
Sourcemodule Endo : sig ... end
Sourcemodule Float : sig ... end

Note: `float` is not a fully law abiding member of Additive.Semigroup, Multiplicative.Semigroup, Semiring, Division_Ring, and Euclidean_Ring, and any abstractions dependent on these, due to potential arithmetic overflows and floating point precision issues

Sourcemodule Function : sig ... end
Sourcemodule Functions : sig ... end
Sourcemodule Functors : sig ... end

* * * * * * * * * * * * * * * * Common instantiated functors * * * * * * * * * * * * * * * * *

Sourcemodule Infix : sig ... end
Sourcemodule Int : sig ... end

Note: `int` is not a fully law abiding member of Additive.Semigroup, Multiplicative.Semigroup and Semiring, and any abstractions dependent on these, due to potential arithmetic overflows

Sourcemodule Interface : sig ... end

Note: Any data structure implementing one of these interfaces must also satisfy the corresponding laws in the corresponding Verify module.

Sourcemodule List : sig ... end
Sourcemodule Option : sig ... end

Option is the equivalent of Maybe in Haskell for Ocaml

Sourcemodule PPX_Let : sig ... end

This is a helper module to integrate `bs-abstract` with `ppx_let`

Sourcemodule Result : sig ... end

Result is the equivalent of Either in Haskell for Ocaml

Sourcemodule String : sig ... end
Sourcemodule Test : sig ... end

These helpers provide generative tests for implementations.

Sourcemodule Tuple : sig ... end
Sourcemodule Verify : sig ... end
OCaml

Innovation. Community. Security.