chore: release fp-library v0.16.0 / fp-macros v0.7.0

Author: nothingnesses

Cargo.lock

@@ -92,7 +92,7 @@ Add `fp-library` to your `Cargo.toml`:
 
 ```toml
 [dependencies]
-fp-library = "0.15"
+fp-library = "0.16"
 ```
 
 ## Features
@@ -113,10 +113,10 @@ To enable features:
 ```toml
 [dependencies]
 # Single feature
-fp-library = { version = "0.15", features = ["rayon"] }
+fp-library = { version = "0.16", features = ["rayon"] }
 
 # Multiple features
-fp-library = { version = "0.15", features = ["rayon", "serde"] }
+fp-library = { version = "0.16", features = ["rayon", "serde"] }
 ```
 
 ## How it Works

README.md

@@ -7,6 +7,37 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.16.0] - 2026-04-14
+
+### Added
+
+- **Ref trait hierarchy**: `RefFunctor`, `RefSemimonad`, `RefApplicative`, `RefMonad`, `RefFoldable`, `RefFilterable`, `RefTraversable`, `RefWitherable`, `RefBifunctor`, `RefBifoldable`, `RefBitraversable`, `RefCompactable`, `RefAlt`, `RefApplyFirst`, `RefApplySecond`, and all corresponding `SendRef` and `ParRef` variants. These traits operate on borrowed containers (`&fa`) with closures that take references (`Fn(&A) -> B`).
+- **Brand inference system**: `InferableBrand` traits auto-generated by `trait_kind!`/`impl_kind!` provide reverse mapping from concrete types to brands. The compiler infers brands automatically for unambiguous types (Option, Vec, etc.).
+- **Val/Ref dispatch**: 19 dispatch modules in `dispatch/` unify by-value and by-reference trait methods behind a single function. The closure's argument type (owned vs borrowed) selects the appropriate trait method at compile time with zero runtime cost.
+- **Inference wrapper functions**: 38 free functions (e.g., `map`, `bind`, `fold_left`, `traverse`, `contramap`) that combine brand inference with Val/Ref dispatch. Users write `map(|x: i32| x + 1, Some(5))` with no turbofish.
+- **`ContravariantDispatch`**: Dispatch module for `contramap` following the same pattern as other dispatch modules (Val-only, no Ref variant).
+- **Inferred mode for `m_do!`/`a_do!`**: `m_do!({ ... })` and `a_do!({ ... })` (without brand parameter) infer the brand from the first monadic expression.
+- **`ref` qualifier for `m_do!`/`a_do!`**: `m_do!(ref Brand { ... })` dispatches to by-reference trait methods.
+- **`FoldableWithIndex` mutual derivation**: `FoldableWithIndex` and `FnBrand`-parameterized foldable operations support mutual derivation with the base `Foldable` trait.
+
+### Changed
+
+- **Dispatch modules restructured**: Inference wrappers moved from `functions/*.rs` into `dispatch/*.rs` modules. Each dispatch module now contains the dispatch trait, Val/Ref impls, inference wrapper, and `mod explicit` submodule. `functions.rs` is now a facade that re-exports from `dispatch/`.
+- **`explicit::contramap` signature**: Now takes 5 type parameters (`Brand, A, B, FA, Marker`) instead of 3 (`Brand, A, B`) due to the dispatch pattern. Call sites using turbofish must update from `<Brand, _, _>` to `<Brand, _, _, _, _>`.
+- **Ref traits borrow containers**: Ref trait methods now take `&fa` (borrowed container) instead of owned containers. This is a breaking change for all Ref trait implementations and call sites.
+- **`#[allow]` to `#[expect]`**: All lint suppression attributes converted from `#[allow]` to `#[expect]` with reason strings.
+- **`RefFunctor`/`SendRefFunctor` closures**: Changed from `FnOnce` to `Fn` for consistency with the rest of the trait hierarchy.
+
+### Removed
+
+- **`functions/*.rs` source files**: Replaced by dispatch modules. The `functions/` directory no longer contains source files; `functions.rs` re-exports from `dispatch/`.
+- **`LiftRefFn`, `RefEndofunction`, `coerce_ref_fn`**: Removed unused ref function lifting utilities.
+- **Non-dispatch free functions from public API**: By-value and by-ref free functions in `classes/` that are superseded by dispatch versions are excluded from `functions` re-exports.
+
+### Fixed
+
+- **`ref_fold_left_with_index` argument order**: Aligned with Val variant and PureScript convention.
+
 ## [0.15.0] - 2026-04-02
 
 ### Added

fp-library/CHANGELOG.md

@@ -1,6 +1,6 @@
 [package]
 name = "fp-library"
-version = "0.15.0"
+version = "0.16.0"
 edition = "2024"
 description = "A functional programming library for Rust featuring your favourite higher-kinded types and type classes."
 readme = "../README.md"
@@ -18,7 +18,7 @@ harness = false
 name = "benchmarks"
 
 [dependencies]
-fp-macros = { path = "../fp-macros", version = "0.6" }
+fp-macros = { path = "../fp-macros", version = "0.7" }
 rayon = { version = "1.11", optional = true }
 serde = { version = "1.0", features = ["derive"], optional = true }
 stacker = { version = "0.1", optional = true }

fp-library/Cargo.toml

@@ -66,16 +66,28 @@ git checkout -b release/fp-library-vX.Y.Z
 1.  Rename the `[Unreleased]` section to the new version number and date (e.g., `[0.3.0] - 2026-01-16`).
 2.  Create a new empty `[Unreleased]` section at the top.
 
-### 5. Update Cargo.toml
+### 5. Update Versions
+
+Search **all** files listed below for version references and update
+them. Version strings may appear in multiple formats (short `"0.6"`,
+long `{ version = "0.6", ... }`, prose, badges, etc.). Use grep to
+find all occurrences:
+
+```bash
+grep -rn '0\.OLD_MINOR' fp-macros/Cargo.toml fp-macros/README.md \
+    fp-library/Cargo.toml README.md
+```
 
 #### fp-macros (if changed)
 
-1.  Update `version` in `fp-macros/Cargo.toml` and in `fp-macros/README.md`.
+- `fp-macros/Cargo.toml`: `version` field.
+- `fp-macros/README.md`: dependency snippet in the Installation section.
 
 #### fp-library
 
-1.  Update `version` in `fp-library/Cargo.toml` and in `README.md`.
-2.  If `fp-macros` was updated, ensure the `fp-macros` dependency in `fp-library/Cargo.toml` matches the new version.
+- `fp-library/Cargo.toml`: `version` field, and `fp-macros` dependency
+  version (if fp-macros was updated).
+- `README.md` (repo root): all dependency snippets (there are multiple).
 
 ### 6. Verification
 

fp-library/docs/release-process.md

@@ -7,6 +7,24 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.7.0] - 2026-04-14
+
+### Added
+
+- **Dispatch-aware HM signature generation**: `#[document_module]` analyzes dispatch traits (Pass 1b) and generates Hindley-Milner type signatures for inference wrapper functions by building synthetic signatures that replace dispatch machinery with semantic equivalents. Produces signatures like `forall Brand A B. Functor Brand => (A -> B, Brand A) -> Brand B`.
+- **`#[document_signature]` manual override**: `#[document_signature("forall A B. (A -> B) -> A -> B")]` emits the provided string directly, bypassing the generation pipeline.
+- **`InferableBrand` trait generation**: `trait_kind!` generates `InferableBrand_*` traits alongside `Kind_*` traits. `impl_kind!` auto-generates `InferableBrand` impls for concrete types.
+- **Inferred mode for `m_do!`/`a_do!`**: `m_do!({ ... })` infers the brand from the first monadic expression instead of requiring an explicit brand parameter.
+- **`ref` qualifier for `m_do!`/`a_do!`**: `m_do!(ref Brand { ... })` generates code that dispatches to by-reference trait methods.
+- **Exclusion support in `generate_function_re_exports!`**: `exclude { "module::function" }` syntax to suppress re-exports of functions superseded by dispatch versions.
+- **Insta snapshot regression tests**: 19 per-file tests covering all 38 dispatch inference wrapper HM signatures, plus 14 edge case tests for unusual inputs and graceful fallback behavior.
+
+### Changed
+
+- **`#[document_signature]` attribute parsing**: Now accepts an optional string literal argument (previously rejected all arguments).
+- **Dispatch analysis uses direct sources**: Container param mapping uses positional alignment from trait definition (not heuristic ident scanning). Brand param derived from trait definition's Kind\_\* bound (not Val impl where clause). Type param ordering follows trait definition order (not alphabetical sort). Inner Apply! macros in self-type elements resolved via `apply_worker`.
+- **`m_do!`/`a_do!` codegen**: Updated to use `explicit::bind`/`explicit::map` paths instead of `bind_explicit`/`map_explicit`.
+
 ## [0.6.0] - 2026-03-14
 
 ### Added

fp-macros/CHANGELOG.md

@@ -1,6 +1,6 @@
 [package]
 name = "fp-macros"
-version = "0.6.0"
+version = "0.7.0"
 edition = "2024"
 description = "Procedural macros for generating and working with Higher-Kinded Type (HKT) traits in the fp-library crate."
 repository = "https://github.com/nothingnesses/rust-fp-library"

fp-macros/Cargo.toml

@@ -14,7 +14,7 @@ Add this to your `Cargo.toml`:
 
 ```toml
 [dependencies]
-fp-macros = "0.6"
+fp-macros = "0.7"
 ```
 
 > **Note:** If you are using [`fp-library`](https://crates.io/crates/fp-library), these macros are already re-exported at the crate root. You only need to add this dependency if you are using the macros independently.