Crate family

source ·
Expand description

I can’t believe it’s not HKT!

A small family pattern implementation, implementing “associated type constructors”. Additionally provides some dynamic casting utilities that make use of families and members.

See this post for more information: http://smallcultfollowing.com/babysteps/blog/2016/11/03/associated-type-constructors-part-2-family-traits/

Modules

  • Dynamic type casting support for families.
  • Utilities for adding family functionality to types that don’t implement Family and Member.

Traits

  • Family pattern family interface.
  • Family pattern member interface.

Derive Macros

  • Derive Member and generate Family for common cases.