Rob Rix
|
961e9ae7d7
|
Implement coiteration.
|
2015-10-14 10:39:01 -04:00 |
|
Rob Rix
|
fa2bfcd367
|
duplicate() is just extend(id) .
|
2015-10-14 10:24:16 -04:00 |
|
Rob Rix
|
5015238546
|
Document Cofree.document() .
|
2015-10-14 10:23:43 -04:00 |
|
Rob Rix
|
b50ebdf21a
|
Document Cofree.extend() .
|
2015-10-14 10:22:04 -04:00 |
|
Rob Rix
|
011719b752
|
map ’s transformation function is @noescape .
|
2015-10-14 10:20:21 -04:00 |
|
Rob Rix
|
2c56ee66ea
|
extend ’s transformation function is @noescape .
|
2015-10-14 10:20:05 -04:00 |
|
Rob Rix
|
7bff8f6f50
|
Document Cofree.extract .
|
2015-10-14 10:19:38 -04:00 |
|
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 |
|