package travesty

You can search for identifiers within the package.

in-package search v0.2.0

Monadically traversable containers

Install

sha256=40ada5c475cfeba7d933eec133294d1b5ef5da6ce864c9746b2ce4ce49b5e3a4

md5=dc818d6b232f13edb388d25781cd99a2

Now targeting v0.12 of Jane Street's upstream libraries. This release of travesty no longer supports v0.11.
As a result, travesty no longer supports OCaml 4.06; please use 4.07+.
Traversable signature names have changed: Basic_container0 is now Basic0, and Basic_container1 is now Basic1. The original names are now used for stronger interfaces that include implementations of Container.S*; see 'new features' below for information.

Add T_container.Extensions0 and Extend0, which generalise most of Extensions1/Extend1 to arity-0 containers.
Generalise T_container's predicate extensions (any/all/none) over arity-0 containers, provided that their elt is x -> bool for some x.
Add Bi_mappable, an implementation of bifunctors.
Add T_alist, an extended form of List.Assoc.
Split the Traversable container functors into two kinds: the Make_container* functors now take Basic* signatures (but are otherwise the same---they still produce their own Container.S* instances); the new Extend_container* functors take the now-stronger Basic_container* signatures, which include custom implementations of Container.S*, and use those instead. The idea is that Make is for building new containers from traversals, and Extend is for adding traversals to existing containers.

T_list and T_option now use Extend_container1 internally: the upshot of this is that they re-use the existing Core implementations of container operations where possible, rather than (slowly) re-building them using fold_m.

Potentially breaking change: Traversable.S0_container now contains module Elt : Equal.S, and constrains type elt to be equal to Elt.t. This reflects the situation in Basic_container0, and shouldn't break any code using Make_container0, but may cause custom-built modules to fail to type-check.
T_container.any's arguments have swapped order, to be more in line with Core idioms.

Add Traversable.Chain0, a functor for combining two S0_container instances together for nested traversal.
Add T_fn.disj to go with T_fn.conj.
Add Filter_mappable, which generalises List.filter_map.
Add tee_m to monad extensions. This is a small wrapper over f x >>| fun () -> x that allows unit-returning monadic side-effects to be treated as part of a monad pipeline.
Add T_or_error: monad extensions for Core.Or_error.
one and two are now implemented on T_container, not just T_list. The errors are slightly less precise, but otherwise nothing has changed.
Add T_container.at_most_one to complement one and two.
Add Monad.To_mappable, which makes sure that monads can be converted to mappables.
Add T_container.all and none, to complement any.

Fix incorrect module name (was Lib, not Travesty).
Restrict to OCaml v4.06+ (this was the case in the final v0.1.2 OPAM release, but not upstream).

Improve API documentation.
Move functors and concrete modules out of Intf files.
Generally rationalise the interface ready for a public release.
Add various container modules from act: Singleton, T_list, and T_option.