package containers

You can search for identifiers within the package.

in-package search v0.2.0

A modular, clean and powerful extension of the OCaml standard library

Install

Dune Dependency

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

Authors

C

c-cube

Maintainers

C

c-cube

Sources

containers-3.15.tbz

sha256=92143ceb4785ae5f8a07f3ab4ab9f6f32d31ead0536e9be4fdb818dd3c677e58

sha512=5fa80189d0e177af2302b48e72b70299d51fc36ac2019e1cbf389ff6a7f4705b10089405b5a719b3e4845b0d1349a47a967f865dc2e4e3f0d5a0167ef6c31431

doc/containers/CCEqualLabels/index.html

Module `CCEqualLabels`Source

Equality Combinators (Labeled version of CCEqual)

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 : f:('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.9

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.9

Sourcemodule Infix : sig ... end

include module type of Infix

Sourceval (>|=) : 'b t -> ('a -> 'b) -> 'a t

Infix equivalent of map.