#category #dual #monoid #problem #ownership #system #monoidal

yanked comonoid

A comonoid in a monoidal category is a monoid in the dual category, what is the problem?

Uses old Rust 2015

0.3.0 Aug 27, 2016
0.2.1 Jan 11, 2016
0.2.0 Aug 6, 2015
0.1.2 Aug 6, 2015

#20 in #monoid

MIT/Apache

6KB

rust-comonoid

A comonoid in a monoidal category is a monoid in the dual category, what is the problem? ;)

It is useful within Rust's ownership type system, representing an object that can be both cloned and destroyed.

License

Licensed under either of

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

No runtime deps