Lib.rs

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

• Apache License, Version 2.0 (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
• MIT License (Expat) (LICENSE-MIT or http://opensource.org/licenses/MIT)

at your option.

lib.rs:

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/