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.