https://github.com/rufflewind/imprint

Imprints values at the type level 🐾
https://github.com/rufflewind/imprint

dependent-types rust

Last synced: 4 months ago
JSON representation

Imprints values at the type level 🐾

• Host: GitHub
• URL: https://github.com/rufflewind/imprint
• Owner: Rufflewind
• License: apache-2.0
• Created: 2017-02-08T01:12:08.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2021-06-06T08:12:23.000Z (about 5 years ago)
• Last Synced: 2025-10-02T16:28:22.965Z (8 months ago)
• Topics: dependent-types, rust
• Language: Rust
• Homepage:
• Size: 2.22 MB
• Stars: 3
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE-APACHE

Awesome Lists containing this project

README

          
# `imprint 🐾`

[![Crates.io](https://img.shields.io/crates/v/imprint.svg)](https://crates.io/crates/imprint)

[![Build status](https://github.com/Rufflewind/imprint/actions/workflows/build.yml/badge.svg)](https://github.com/Rufflewind/imprint/actions/workflows/build.yml)

**Quick links:** [Documentation](https://rufflewind.com/imprint)

A highly experimental Rust library for imprinting values at the type level.

## Usage

Add this to your `Cargo.toml`:

~~~toml

[dependencies]

imprint = "*"

~~~

Next, prepend this to the root module of your crate:

~~~rust

extern crate imprint;

~~~

## Notes

  - [Type-level values](docs/type-level-values.md)

  - [Type equality](docs/type-equality.md)

  - [Indexing](docs/indexing.md)

  - [Existential types](docs/existential-types.md)

  - [Sound logic in a Turing-complete language](docs/sound-logic-in-a-turing-complete-language.md)

  - [Higher-ranked types](docs/higher-ranked-types.md)

## License

Dual-licensed under Apache and MIT.