package travesty

  1. Overview
  2. Docs

Module Travesty.Container_exts_intfSource

Extension signatures for containers.

This module contains various signatures that enumerate extensions that apply to Core containers of both arity 0 and arity 1.

Generic extensions

As is often the case in Travesty, we define an arity-generic signature first, then specialise it for arity-0 and arity-1 containers.

Sourcemodule type Generic = sig ... end

Containers of predicates

The following functions concern containers of predicates (functions of type 'a -> bool).

Sourcemodule type Generic_predicate = sig ... end

Arity-0 container extensions

These extensions target arity-0 containers (implementations of Container.S0).

Sourcemodule type S0 = sig ... end

Extensions for a Container.S0.

Sourcemodule type S0_predicate = sig ... end

Extensions for a Container.S0 whose elements are predicates.

Arity-1 container extensions

These extensions target arity-1 containers (implementations of Container.S1).

Sourcemodule type S1 = sig ... end

Extensions for a Container.S1.