brief API documentation on some core settings types

This commit is contained in:
Mark Harrah 2011-10-16 20:20:45 -04:00
parent 5680b41cf4
commit 5898cba4a8
2 changed files with 7 additions and 1 deletions

View File

@ -5,6 +5,8 @@ package sbt
import Types._
/** 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/ */
sealed trait HList
{
type Wrap[M[_]] <: HList

View File

@ -8,7 +8,11 @@ import Types._
/** A higher-order heterogeneous list. It has a type constructor M[_] and
* type parameters HL. The underlying data is M applied to each type parameter.
* Explicitly tracking M[_] allows performing natural transformations or ensuring
* all data conforms to some common type. */
* all data conforms to some common type.
*
* For background, see
* http://apocalisp.wordpress.com/2010/11/01/type-level-programming-in-scala-part-8a-klist%C2%A0motivation/
*/
sealed trait KList[+M[_], HL <: HList]
{
type Raw = HL