package bastet

  1. Overview
  2. Docs
package bastet
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct