An abstraction over a higher-order type constructor K[x[y]] with the purpose of abstracting
over heterogeneous sequences like KList and TupleN with elements with a common type
constructor as well as homogeneous sequences Seq[M[T]].
A map entry where key is constrained to only be associated with a fixed value of type T.
A key in an AttributeMap that constrains its associated value to be of type T.
An immutable map where a key is the tuple (String,T) for a fixed type T and can only be associated with values of type T.
An immutable map where a key is the tuple (String,T) for a fixed type T and can only be associated with values of type T.
It is therefore possible for this map to contain mappings for keys with the same label but different types.
Excluding this possibility is the responsibility of the client if desired.
Associates a metadata map with data.
Only suitable for K that is invariant in its type parameter.
Only suitable for K that is invariant in its type parameter. Option and List keys are not suitable, for example, because None <:< Option[String] and None <: Option[Int].
A minimal heterogeneous list type.
A minimal heterogeneous list type. For background, see http://apocalisp.wordpress.com/2010/07/06/type-level-programming-in-scala-part-6a-heterogeneous-listĀ basics/
A mutable set interface that uses object identity to test for set membership.
Heterogeneous list with each element having type M[T] for some type T.
A key in an AttributeMap that constrains its associated value to be of type
T. The key is uniquely defined by its label and typeT, represented at runtime by manifest.