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§
- any
- Dynamic type casting support for families.
- utils
- Utilities for adding family functionality to types that don’t implement
FamilyandMember.
Traits§
Derive Macros§
- Member
- Derive
Memberand generateFamilyfor common cases.