fp-macros 0.7.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

//! Test: Missing "=" in GAT definition
//!
//! This test verifies that `impl_kind!` produces a helpful error when
//! the "=" sign is missing from the GAT definition.

use fp_macros::impl_kind;

struct MyBrand;

impl_kind! {
	for MyBrand {
		type Of<A> Option<A>;
	}
}

fn main() {}