Crate fat_type

fat_type provides the type Fat<T, U>, which combines a value of type U with the metadata needed to construct references to it as a T.

Because the metadata is stored with the value instead of in references, Fat<T> is Thin. This property is mainly useful in niche foreign-function-interface use-cases or in memory-constrained environments. As such, this library is no_std.

See Also

Signifiant additional documentation is provided on the Fat type.

License

fat_type is licensed under the terms of the Apache License, Version 2.0 or the MIT License.

Development

fat_type is developed at GitLab.

This crate is rigorously tested with Miri and fully compliant with strict pointer provenance.

Structs

Fat

A type which combines a value with the metadata used to construct references to it.

Foreign Types

Erased

A value with an erased type. Values of this type cannot be created or accessed and support no operations.