12 Commits

Author	SHA1	Message	Date
Rob Rix	ab3d297d95	Document Cofree.	2015-10-14 10:19:02 -04:00
Rob Rix	6774213fcd	Cofree is a Functor.	2015-10-14 10:09:38 -04:00
Rob Rix	a606d9d798	Implement duplicate on Cofree.	2015-10-14 10:03:42 -04:00
Rob Rix	1a44f29778	Cofree.extend is public.	2015-10-14 10:01:26 -04:00
Rob Rix	cc805f6610	Cofree.extract is public.	2015-10-14 10:01:19 -04:00
Rob Rix	26f0ea419d	Implement extend on Cofree.	2015-10-14 10:00:16 -04:00
Rob Rix	ab554c52a0	Unwrap Cofrees.	2015-10-14 09:59:04 -04:00
Rob Rix	3985ef0fea	Unroll should be indirect.	2015-10-14 09:56:46 -04:00
Rob Rix	59dd626361	Add a Syntax to Cofree.	2015-10-14 09:43:51 -04:00
Rob Rix	0d662ade08	Implement extract on Cofree.	2015-10-14 09:43:23 -04:00
Rob Rix	a83f77116d	Add an Unroll case to Cofree.	2015-10-14 09:42:21 -04:00
Rob Rix	59b60947f9	Stub in Cofree.	2015-10-14 09:34:18 -04:00