package containers

  1. Overview
  2. Docs
A modular, clean and powerful extension of the OCaml standard library

Install 

dune-project
 Dependency

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

Authors

  1. S
    Simon Cruanes

Maintainers

  1. S
    simon.cruanes.2007@m4x.org

Sources

v3.10.tar.gz
md5=050afc34c00ee0ffb1bf545c52d3880f
sha512=ef4c9c27f6e535df070f2ee9e6357f6f9bf4a8a196e3f274bec00d931bbd775f939a7e8b144accc8c4568df6c25b820aaebad6e12b1d444bccb7c8f7b7989bf0

doc/containers/CCEqual/index.html

Module CCEqualSource

Equality Combinators

  • since 1.2
Sourcetype 'a t = 'a -> 'a -> bool

Equality function. Must be transitive, symmetric, and reflexive.

Sourceval poly : 'a t

Standard polymorphic equality.

Sourceval physical : 'a t

Standard physical equality.

  • since 2.0
Sourceval int : int t
Sourceval string : string t
Sourceval bool : bool t
Sourceval float : float t
Sourceval unit : unit t
Sourceval list : 'a t -> 'a list t
Sourceval array : 'a t -> 'a array t
Sourceval option : 'a t -> 'a option t
Sourceval pair : 'a t -> 'b t -> ('a * 'b) t
Sourceval triple : 'a t -> 'b t -> 'c t -> ('a * 'b * 'c) t
Sourceval map : ('a -> 'b) -> 'b t -> 'a t

map f eq is the equality function that, given objects x and y, projects x and y using f (e.g. using a record field) and then compares those projections with eq. Example: map fst int compares values of type (int * 'a) by their first component.

Sourceval always_eq : _ t

Always returns true. All values are equal.

  • since 3.0
Sourceval never_eq : _ t

Always returns false. No values are, so this is not even reflexive (i.e. x=x is false). Be careful!

  • since 3.0
Sourcemodule Infix : sig ... end
include module type of Infix
Sourceval (>|=) : 'b t -> ('a -> 'b) -> 'a t

Infix equivalent of map.