Crate imprint

Provides the ability to imprint values at the type level, enabling compile-time validation of values that only exist at run time.

Heavily inspired by Edward Kmett’s reflection and eq libraries, as well as Gankro’s sound unchecked indexing approach.

Modules

arith

ix

Structs

Exists

An object with an existentially quantified lifetime.

IdF

Identity function for types.

TyEq

Propositional equality between types.

Val

A value imprinted at the type level.

ValF

Allows Val to be parameterized by its lifetime parameter.

Traits

IntoInner

Allows the inner value to be extracted from a wrapped value.

TyFn

Used to define type-level functions.

TyFnL

Used to define type-level functions with existential parameters, intended for use with Exists.

Functions

imprint

Imprint the type of an object with its own value.

Type Aliases

PhantomInvariantData

Like PhantomData but ensures that T is always invariant.

PhantomInvariantLifetime

Like PhantomData but ensures that 'a is always invariant.