No changes from v0.7.1; fixes issues with the GitHub workflow that blocked its release.
Minor release. (Not released on OPAM)
Base_exts.Option, but the difference should not be externally visible.Major release with large breaking changes, and added and removed features.
Traversable and Bi_traversable now encode applicative traversals, not monadic traversals. This means that every use of a Make functor needs changing such that, instead of an On_monad functor over Monad.S, they expose an On functor over Applicative.S. No function names have changed (they remain map_m, iter_m etc. for backwards compatibility), and the various Make functors generate both On (applicative) and On_monad (monadic) functors, so most code that consumes traversals should be fine.Base_exts have changed; this may subtly affect side effect processing order.Monad_exts.App is Base.Applicative.Of_monad, but keeps the original monad type around; this is useful for passing monads to things that expect applicatives.Monad_exts.Let produces OCaml 4.08-style let+ and let* bindings for monads. It is included in Monad_exts.Make.## Removed
Traversable.Helpers module; in practice this doesn't seem to be very useful compared to writing the traversable boilerplate manually, and it doesn't gel particularly well with the planned monad to applicative change.Minor release with one new feature.
Minor release cut to relax various dependency pain-points caused by the last release being more than 4 months ago. (I intend to make a major release in the near future with a migration from monads to applicative functors, but this depends on enough free time being available.)
Major release with various breaking changes and new features, the main one being bi-traversables.
XYZ to XYZ_types. For example, Bi_mappable.S2 is now Bi_mappable_types.S2. This is to eliminate the 'intf pattern' previously used in Travesty.Travesty_core_kernel_exts. Use Travesty_base_exts instead.Bi_mappable.Make2's return module type use sharing constraints instead of destructive substitutions. This may cause shadowing where there previously wasn't any.This release adds a Bi_traversable module---effectively being to Traversable as Bi_mappable is to Mappable.
Alist, Tuple2, and Or_error now expose Bi_traversable.S2, which subsumes their previous interface.
This release also adds the ability to compose Mappables on the inside of Bi_mappables (and Traversables on the inside of Bi_traversables): what is often referred to as a 'biff' in the quirky world of Haskell. This complements the ability to compose them on the outside (a 'tannen').
Bi_mappable arity-1 chaining functors now carry previously-missing sharing constraints equating their fixed types with those of their bi-mappable ancestor.>> operator in Travesty_base_exts.Fn.Compose_syntax.Result, from which Or_error now inherits.As is becoming tradition, fixes a minor documentation comment caught between tagging on GitHub and publishing on OPAM. See the main changelog for details about what changed in v0.5.0.
Major release with new features and breaking changes, especially to module names and structures.
See also the changes for v0.4.x, as that version didn't reach OPAM.
In a partial reversal of changes done in v0.4.x, the Travesty_base_exts and Travesty_core_kernel_exts modules no longer re-export the Base and Core_kernel modules on which they are based.
This means that any code using these extensions will need to open both original and extension modules (for example, by opening Travesty_base_exts as Tx and using Tx.List when Travesty extensions are needed.
This change avoids a large amount of coupling, inefficiency, and possible legal issues caused by including swathes of third party libraries.
The functors, and signatures in Traversable have been renamed drastically to make them more consistent, and provide a better distinction between 'in-monad' and 'out-of-monad' signatures:
SX is now BasicX_on_monad, to reflect that it only refers to the basic inner On_monad part of a traversable;Generic is now Generic_basic_on_monad, as per the above;On_monad1 is now S1_on_monad. There is no S0_on_monad yet, but this may change.SX_container is now just SX, as it forms the main output of the Traversable functors;GenericX_container is now just GenericX, to follow suit;BasicX is unchanged;Basic_containerX is now BasicX_container;Extend_containerX is now MakeX_container (as it makes an SX from a BasicX_container);Make_containerX is now MakeX (as it transforms a BasicX).### Bi_mappable module renaming
Similarly, Bi_mappable's functors and signatures have been renamed:
SX_with_extensions is now just SX;Extensions modules no longer exist;Extend functors are now Make functors.Traversable.S1 no longer carries With_elt. This is now a separate functor in Traversable called Fix_elt.Bi_mappable.Extensions signatures no longer carry Fix_left, Fix_right, Map_left, and Map_right. These are now separate functors, and don't apply the extensions by default.when_m and unless_m below: these now have an optional argument, which may cause breakage in rare situations.module type of X with type t := t stanza. This is to make it easier to chain together such modules.Bi_mappableBi_mappable.Extensions.OptionMonad_exts.Or_errorMonad_extsM.when_m and M.unless_m now take an optional parameter ?otherwise, which allows generalising the application of M.return when the condition doesn't hold.M.map_when_m and M.map_unless_m, which generalise when_m and unless_m to take an arbitrary 'a (and pass it to ~f).then_m and >>, which act as Haskell's >> (then) operator.compose_m and >=>, which act as Haskell's >=> (Kleisli composition) operator.Minor documentation fixup release. No other changes since v0.4.0. (Not released on OPAM.)
Major release with incompatible name and library division changes. (Not released on OPAM.)
The main change in this release is that all 'extension' modules (T_xyz) have been renamed or moved into subpackages of Travesty:
Singleton now lives in Travesty_containers.T_monad and T_container have changed to Monad_exts and Container_exts;T_ module now lives in either Travesty_base_exts or Travesty_core_kernel_exts, and no longer has the T_ suffix.Base_exts depend on, and extend, the Base version of their namesake module.Core_kernel_exts depend on, and extend, the Core_kernel version of their namesake module. Usually, they do so by importing the extensions from the Base_exts version on top of an import of the Core_kernel baseline module.Other breaking changes:
Fn.on now takes its second argument with the label ~f.This release contains a large amount of 'small' new features. Most of these are of minor extensions and convenience functions on top of Base and Core_kernel
Travesty_containers (dune: travesty.containers); extensions to Base containers are in Travesty_base_exts (travesty.base_exts); similar extensions to Core_kernel containers are in Travesty_core_kernel_exts.Monad_exts.tee, which is a counterpart to tee_m that accepts a non-monadic function. (This is somewhat less useful, but still helps in terms of slotting, say, debug printing into a monadic pipeline.)Or_error.combine_map[_unit], which are shorthand for mapping followed by combine_errors[_unit]. These should be used instead of map_m and iter_m when using lists and Or_error.Tuple2, an extended Core_kernel.Tuple2 adding bi-mappability.Alist's bi-mappable interface using this and Tuple2.Fn: add always, which behaves like const true; and never, which behaves as const false.Alist: add compose, which is the relational composition on two associative lists.Travesty_containers.Zipper: implementations of list zippers (imported from act, and subject to change).List extensions: added With_errors.replace_m, replace, and insert functions (imported from act, and subject to change). Future versions may generalise replace_m to act on any monad.List.Assoc in the extension modules is now an alias for Alist, bringing the bifunctor extensions into scope there.Bi_mappable: Fix_left and Fix_right's signatures no longer destructively substitute t, so Alist.Fix_left(String).t should now work.Major release with incompatible dependency and name changes.
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.T_container.Extensions0 and Extend0, which generalise most of Extensions1/Extend1 to arity-0 containers.T_container's predicate extensions (any/all/none) over arity-0 containers, provided that their elt is x -> bool for some x.Bi_mappable, an implementation of bifunctors.T_alist, an extended form of List.Assoc.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.Major release.
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.Traversable.Chain0, a functor for combining two S0_container instances together for nested traversal.T_fn.disj to go with T_fn.conj.Filter_mappable, which generalises List.filter_map.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.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.T_container.at_most_one to complement one and two.Monad.To_mappable, which makes sure that monads can be converted to mappables.T_container.all and none, to complement any.Bugfix release.
Lib, not Travesty).Bugfix and minor improvement release.
Intf files.act: Singleton, T_list, and T_option.Bugfix release.
dune-release to work.Initial release.
Existing functionality migrated from act's utils directory.