package bastet

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Array : sig ... end
module ArrayF : sig ... end
module Bool : sig ... end
module Default : sig ... end

This module provides default implementations for interfaces

module Dual : sig ... end
module Endo : sig ... end
module 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

module Function : sig ... end
module Functions : sig ... end
module Functors : sig ... end

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

module Infix : sig ... end
module 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

module Interface : sig ... end

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

module List : sig ... end
module Option : sig ... end

Option is the equivalent of Maybe in Haskell for Ocaml

module PPX_Let : sig ... end

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

module Result : sig ... end

Result is the equivalent of Either in Haskell for Ocaml

module String : sig ... end
module Test : sig ... end

These helpers provide generative tests for implementations.

module Tuple : sig ... end
module Verify : sig ... end
OCaml

Innovation. Community. Security.