Family - I can't believe it's not HKT!

⚠️ This crate's any module uses unsafe code that has not been properly audited for soundness.

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/

Crates

License

Licensed under either of

at your option.