fp-macros 0.7.1

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
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41

//! Higher-Kinded Type (HKT) functionality.
//!
//! This module provides macros for working with Higher-Kinded Types in Rust:
//! - `Kind!` - Generate Kind trait names
//! - `trait_kind!` - Define Kind traits
//! - `impl_kind!` - Implement Kind traits for brands
//! - `Apply!` - Apply brands to type arguments

pub mod apply;
pub mod associated_type;
pub mod canonicalizer;
pub mod impl_kind;
pub mod input;
pub mod kind_attr;
pub mod trait_kind;

// Only needed for tests
#[cfg(test)]
pub use canonicalizer::Canonicalizer;
pub use {
	apply::{
		ApplyInput,
		apply_worker,
		resolve_inferable_brand,
	},
	associated_type::AssociatedTypeBase,
	canonicalizer::{
		generate_inferable_brand_name,
		generate_name,
	},
	impl_kind::{
		ImplKindInput,
		impl_kind_worker,
	},
	input::{
		AssociatedType,
		AssociatedTypes,
	},
	kind_attr::kind_attr_worker,
	trait_kind::trait_kind_worker,
};