Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/danielhenrymantilla/higher-kinded-types.rs

"Generic generics" / higher-kinded APIs in stable Rust.
https://github.com/danielhenrymantilla/higher-kinded-types.rs

gat higher-kinded-type hkt lending-iterator rust type-level-programming

Last synced: about 1 month ago
JSON representation

"Generic generics" / higher-kinded APIs in stable Rust.

Host: GitHub
URL: https://github.com/danielhenrymantilla/higher-kinded-types.rs
Owner: danielhenrymantilla
License: apache-2.0
Created: 2023-05-08T22:40:52.000Z (over 1 year ago)
Default Branch: master
Last Pushed: 2024-02-10T02:56:29.000Z (9 months ago)
Last Synced: 2024-09-17T15:27:50.251Z (about 2 months ago)
Topics: gat, higher-kinded-type, hkt, lending-iterator, rust, type-level-programming
Language: Rust
Homepage: https://docs.rs/higher-kinded-types
Size: 254 KB
Stars: 6
Watchers: 1
Forks: 2
Open Issues: 1
Metadata Files:
- Readme: README.md
- Changelog: change_version.sh
- License: LICENSE-APACHE

Awesome Lists containing this project

README

        # `::higher-kinded-types`

"Generic generics" / higher-kinded APIs in stable Rust.

[![Repository](https://img.shields.io/badge/repository-GitHub-brightgreen.svg)](

https://github.com/danielhenrymantilla/higher-kinded-types.rs)

[![Latest version](https://img.shields.io/crates/v/higher-kinded-types.svg)](

https://crates.io/crates/higher-kinded-types)

[![Documentation](https://docs.rs/higher-kinded-types/badge.svg)](

https://docs.rs/higher-kinded-types)

[![MSRV](https://img.shields.io/badge/MSRV-1.65.0-white)](

https://gist.github.com/danielhenrymantilla/8e5b721b3929084562f8f65668920c33)

[![unsafe forbidden](https://img.shields.io/badge/unsafe-forbidden-success.svg)](

https://github.com/rust-secure-code/safety-dance/)

[![License](https://img.shields.io/crates/l/higher-kinded-types.svg)](

https://github.com/danielhenrymantilla/higher-kinded-types.rs/blob/master/LICENSE-ZLIB)

[![CI](https://github.com/danielhenrymantilla/higher-kinded-types.rs/workflows/CI/badge.svg)](

https://github.com/danielhenrymantilla/higher-kinded-types.rs/actions)

See the documentation of the [ForLifetime] trait for more info.

[ForLifetime]: https://docs.rs/higher-kinded-types/0.2.0-rc1/higher-kinded-types/trait.ForLifetime.html