package orsetto

  1. Overview
  2. Docs
On This Page
  1. Overview
A library of assorted structured data interchange languages

Install 

dune-project
 Dependency

bitbucket.org Edit opam file Versions (8)

Authors

  1. J
    james woodyatt <jhw@conjury.org>

Maintainers

  1. J
    james woodyatt <jhw@conjury.org>

Sources

r1.1.1.tar.gz
sha256=81283687ce3204263bc955a332dd7b90bf5b648a990c01160f33aaa77d80962f
md5=7346293aa013c2a8974c6fb7c521166a

doc/orsetto.cf/Cf_relations/index.html

Module Cf_relations

Utility relations.

Overview

This module defines convenient signatures for the useful equality and total ordering relations on a monomorphic type.

module type Order = sig ... end

Module type defining a type t and a corresponding total ordering function, of the sort generated by Ppx_deriving, which returns the same value as the standard Stdlib.compare function.

val min : (module Order with type t = 't) -> 't -> 't -> 't

Use min (module M: Order) a b to select the minimum of a and b according to the total order M.

val max : (module Order with type t = 't) -> 't -> 't -> 't

Use max (module M: Order) a b to select the maximum of a and b according to the total order M.

module type Equal = sig ... end

Module type defining a type t and a corresponding equality relation function, of the sort generated by Ppx_deriving, which returns the same value as the standard Stdlib.(=) operator.

module type Std = sig ... end

Module type definining a type t and the corresponding equality and total ordering relation functions, of the sort generated by Ppx_deriving, which return the same value as the standard Stdlib.(=) and Stdlib.compare functions

module Int : Std with type t = int

The equality and total ordering relation for standard integers. Prefer the Stdlib.Int module, if available.

module Extensible : sig ... end

A submodule to facilitate relations on extensible types.