Quantumplation · November 11, 2015 03:42
diff --git a/example.cs b/example.cs
 struct Key
  : KeyTrait<ValueType>
 //  ^        ^ Type of the value this key supplies
 //  | Implement a trait indicating this is a key

 {
 }

 //usage
 Key k = whatever(); //Get a key object
 var value = dict.get(k);
 //  ^ Type of "value" is whatever the associated type "ValueType" is for the type "Key"
 value.Substring(0, 5);
	struct Key
	: KeyTrait<ValueType>
	// ^ ^ Type of the value this key supplies
	// \| Implement a trait indicating this is a key

	{
	}

	//usage
	Key k = whatever(); //Get a key object
	var value = dict.get(k);
	// ^ Type of "value" is whatever the associated type "ValueType" is for the type "Key"
	value.Substring(0, 5);