package travesty

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.

Containers of predicates

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

Arity-0 container extensions

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

Arity-1 container extensions

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