5 Commits

Author	SHA1	Message	Date
Mark Harrah	09efe98f8b	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	5017e326c1	toString for HList and KList	2010-09-12 22:27:11 -04:00
Mark Harrah	368bdd2701	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	1602dd2715	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	c1b9cdb209	MList -> KList, Relation[T] -> Relation[A,B]	2010-06-24 18:09:07 -04:00