#type-level #equality #stable #witness” #“equality

identity

A stable Rust implementation of an identity (a.k.a., “equality witness”) type

6 releases

Uses old Rust 2015

0.0.6 Jul 16, 2016
0.0.5 Jul 15, 2016
0.0.2 Jun 29, 2016

#30 in #equality

Apache-2.0

17KB
412 lines

identity

Build Status Crates.io Crates.io

A stable Rust implementation of an identity (a.k.a., “equality witness”) type.

No runtime deps