frunk

Bumped due to new quickcheck (1.x-based now!)

Please see the changelog for details

• #252 thanks to @davidspies

• Add Generic support for enum representations (https://github.com/lloydmeta/frunk/pull/252)

Please see the changelog for details

• #240 thanks to @kgtkr

• Implement Plucker/ByNameFieldPlucker for &HList (https://github.com/lloydmeta/frunk/pull/240)

Please see the changelog for details

• #236 , thanks to @mammothbane is the VIP here.

• avoid clippy::unneeded_field_pattern (https://github.com/lloydmeta/frunk/pull/216)
• rework #![no_std] support, switch on alloc (https://github.com/lloydmeta/frunk/pull/236)

See changelog for details.

Much thanks to the efforts of @CobaltCause.

• Removed proc-macro-hack machinery (proc-macros-impl) (https://github.com/lloydmeta/frunk/pull/214)
• Add function for explicitly extending an hlist (https://github.com/lloydmeta/frunk/pull/209)

Lots of good stuff thanks to team work from a number of contributors (incl steffahn, kpp, agluszak, rosefromthedead, and BGR360)

From the Changelog

• Documentation fix for Hcons::sculpt (#194)
• Optimise Semigroup for HashSet and HashMap (#196)
• Update to 2021 edition (#200)
• Add extract to get value out of 1-type coproduct (#201)
• Fix needless borrow (#202)
• Add Coproduct::map (#204)

• Documentation fix for Hcons::sculpt (https://github.com/lloydmeta/frunk/pull/194)
• Optimise Semigroup for HashSet and HashMap (https://github.com/lloydmeta/frunk/pull/196)
• Update to 2021 edition (https://github.com/lloydmeta/frunk/pull/200)
• Add extract to get value out of 1-type coproduct (https://github.com/lloydmeta/frunk/pull/201)
• Fix needless borrow (https://github.com/lloydmeta/frunk/pull/202)
• Add Coproduct::map (https://github.com/lloydmeta/frunk/pull/204)

Lots of good stuff thanks to team work from a number of contributors (incl @mbrobbel, @ImmemorConsultrixContrarie , @ExpHP)

From the Changelog

• [Breaking change] Rename Hlist! type macro to HList! (#132)
• [Breaking change] Remove deprecated HList.length() (#125)
• [Breaking change] HFoldRightable rework: now HFoldRightable::foldr does not differ from HFoldLeftable::foldl in calling, like std::iter::DoubleEndedIterator::rfold does not differ from std::iter::Iterator::fold. Note: though foldr behavior wasn't changed, all old foldr calls would either stop compiling or produce wrong results (#171)
• [Breaking change] Bump quote, syn and proc-macro2 to 1 (#183)
• Fix unicode identifiers support #186

• [Breaking change] Rename Hlist! type macro to HList! (https://github.com/lloydmeta/frunk/issues/132)
• [Breaking change] Remove deprecated HList.length() (https://github.com/lloydmeta/frunk/issues/125)
• [Breaking change] HFoldRightable rework: now HFoldRightable::foldr does not differ from HFoldLeftable::foldl in calling, like std::iter::DoubleEndedIterator::rfold does not differ from std::iter::Iterator::fold. Note: though foldr behavior wasn't changed, all old foldr calls would either stop compiling or produce wrong results (https://github.com/lloydmeta/frunk/issues/171)
• [Breaking change] Bump quote, syn and proc-macro2 to 1 (https://github.com/lloydmeta/frunk/pull/183)
• Fix unicode identifiers support https://github.com/lloydmeta/frunk/pull/186

• Allow folding hlist with a single Poly (#170)

• Allow folding hlist with a single Poly (https://github.com/lloydmeta/frunk/pull/170)

• Refactoring derives (#157)
• Add support for deriving LabelledGeneric on enums (#158)
• Added HZippable (#160)
• Add a type macro for paths (#161)

• Refactoring derives (https://github.com/lloydmeta/frunk/pull/157)
• Add support for deriving LabelledGeneric on enums (https://github.com/lloydmeta/frunk/pull/158)
• Added HZippable (https://github.com/lloydmeta/frunk/pull/160)
• Add a type macro for paths (https://github.com/lloydmeta/frunk/pull/161)

• More transmogrifications supported out of the box (#152)
  • Box, Option, Vec and more.
• More idiomatic Debug impl for Field Debug impls should use DebugStruct #153
• [no-std] support #148
  • Note: this is a breaking change, see the PR for details

Added

• More transmogrifications supported out of the box (https://github.com/lloydmeta/frunk/pull/152)
  • Box, Option, Vec and more.
• More idiomatic Debug impl for Field Debug impls should use DebugStruct #153
• [no-std] support https://github.com/lloydmeta/frunk/pull/148
  • Note: this is a breaking change, see the PR for details

Added

• Added ToMut trait, which allows borrowing mutably from a Coproduct or HList.
• Added support for #[derive(LabelledGeneric)] on tuple structs
• Added Path model and PathTraverser trait, which allows for composable lens-like-usage

Changed

• Make macros call themselves recursively with $crate::

• Added support for transmogrifying (recursively sculpting) one data type into another

• Upgraded to syn 0.15 and quote to 0.6

Added

• :confetti_ball: Forces joined with new collaborators [@Centril] and [@ExpHP]!
• frunk now adheres to semantic versioning!
• Inherent method wrappers for many trait methods on HList and Coproduct.
• Re-exports for a variety of essential items at the root level of frunk.
• Module frunk::prelude for extension traits and similar.
• Methods Coproduct::embed and Coproduct::subset.
• ...tail argument in each of the HList and Coproduct macros.
• The Func trait, an alternative to Fn that can be implemented on stable.
• The Poly wrapper type and poly_fn! macro, which use Func to provide order-free mapping.
• map_repr and map_intern for Generic, convenience methods for temporarily converting an object into its generic representation or a similar type.

Changed

• A general paradigm shift from per-module glob imports to the more Rusty model of use what you need. Many of the other changes listed help accomodate this.
• Renamed the with-serde feature to serde, in line with convention.
• Various unnecessary type parameters have been removed or replaced with associated types. This affects CoprodInjector, HMappable, and HFold{Left,Right}able.
• Moved hlist::IntoReverse to accompany Func in the new traits module.
• Moved hlist::{Here, There, Suffixed} to a new indices module.
• The zero index Here is no longer an empty type. We have... plans. :japanese_ogre:
• Character types were moved from labelled to labelled::chars.
• Mapping/folding by reference is now written as list.to_ref().map(...), where formerly as_ref() was used. The new to_ref() trait composes orthogonally to many other features of HList and Coproduct, and relieves frunk from providing impls for &HCons that can be susceptible to the dreaded "Overflow evaluating _: std::marker::Sized" error.
• Lots of documentation improvements!

Removed

• The identity AsRef impls on HList and Coproduct, which were only present to support the old as_ref().map(...) pattern.

Features present

Prior to v0.2.0, frunk did not keep a detailed changelog, and did not adhere to semver. The following list is a modest attempt to summarize the features of v0.1.36.

• The types HLists and Coproducts, which serve as variadic product and sum types.
  • Many methods are provided through individual traits.
• The SYB traits Generic and LabelledGeneric for conversions between similarly-shaped structs.
  • The frunk_derives crate provides #[derive(Generic, LabelledGeneric)].
• The functional traits Semigroup and Monoid, with a number of implementations.
  • A number of implementations are provided.
  • The frunk_laws crate provides quickcheck-compatible predicates for testing custom impls.
• The convenience macros hlist!, Hlist!, hlist_pat!, field!.
• The Validated type, a non-short-circuiting alternative to Result.