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
andMember
.
Traits
- Family pattern family interface.
- Family pattern member interface.
Derive Macros
- Derive
Member
and generateFamily
for common cases.