Docs.rs
identity-0.0.6
identity
A stable Rust implementation of an identity (a.k.a., “equality witness”) type.
Apache-2.0
Links
Documentation
4
0
0
Crates.io
Authors
Alexander Ronald Altman
Dependencies
Versions
0.0.6
0.0.5
0.0.4
0.0.3
0.0.2
0.0.1
Source
Platform
i686-apple-darwin
i686-pc-windows-gnu
i686-unknown-linux-gnu
x86_64-apple-darwin
x86_64-pc-windows-gnu
x86_64-unknown-linux-gnu
Crate identity
Modules
Macros
Structs
Traits
Functions
Crate
identity
[
−
]
[src]
Modules
elim_helpers
lift
Macros
ty_list
Structs
Refl
Traits
Equals
Identity
An identity type; that is, the type bound of “equality witnesses.”
Functions
refl