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

//! Hindley-Milner type conversion subsystem.
//!
//! This module handles converting Rust types to Hindley-Milner representations:
//! - AST definition for HM types
//! - Conversion logic from Rust types
//! - Visitor patterns for type transformation

pub mod ast;
pub mod ast_builder;
pub mod converter;

pub use {
	ast::HmAst,
	converter::type_to_hm,
};