fp-macros 0.8.0

Procedural macros for generating and working with Higher-Kinded Type (HKT) traits in the fp-library crate.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

//! Self and associated type resolution subsystem.
//!
//! This module handles:
//! - Context extraction from impl blocks
//! - Resolving Self references to concrete types
//! - Projection map management
//! - Resolution errors

pub mod context;
pub mod impl_key;
pub mod projection_key;
pub mod resolver;

pub use {
	context::get_context,
	impl_key::ImplKey,
	projection_key::ProjectionKey,
};