6 Commits

Author	SHA1	Message	Date
Mark Harrah	5898cba4a8	brief API documentation on some core settings types	2011-10-16 20:20:45 -04:00
Mark Harrah	2f41690269	KList updates ... - exchange variance annotations on KList for a bounded existential in KList.toList - add foldr (reason for dropping variance annotations) - add functions stating equivalence between + KList[M,H :+: T] and KCons[H,T,M] + KList[M,HNil] and KNil	2011-01-28 21:07:29 -05:00
Mark Harrah	b033bc889d	toString for HList and KList	2010-09-12 22:27:11 -04:00
Mark Harrah	5b21bae244	task system cleanup ... KList.map -> transform can now drop trailing 'H' from multi-Task 'mapH' compressed Action hierarchy by merging (Flat)Map{ped,All,Failure} into (Flat)Mapped moved most information in Info into attributes: AttributeMap to allow future changes	2010-08-21 22:55:42 -04:00
Mark Harrah	9520c6eae3	KList updates ... add conversion from List[M[_]] to KList[M, HList] required KList to be covariant in its HList parameter	2010-08-14 09:46:49 -04:00
Mark Harrah	f1b5e0cf50	MList -> KList, Relation[T] -> Relation[A,B]	2010-06-24 18:09:07 -04:00