24 Commits

Author	SHA1	Message	Date
Rob Rix	29d889ef95	Free is CustomDebugStringConvertible.	2015-10-06 16:43:20 -04:00
Rob Rix	900d364057	Link to @patrickt’s tutorials on recursion schemes.	2015-10-06 12:53:30 -04:00
Rob Rix	675d355b96	Document iterate.	2015-10-06 12:47:33 -04:00
Rob Rix	286ff11f79	Rename iter to iterate.	2015-10-06 11:05:02 -04:00
Rob Rix	8800c57ca7	Oh yeah, method dispatch works too.	2015-10-06 11:04:36 -04:00
Rob Rix	8226285153	Implement iter as a method.	2015-10-06 11:04:14 -04:00
Rob Rix	c0edc77185	Implement iter by case analysis.	2015-10-06 11:03:03 -04:00
Rob Rix	3d06b533bc	Implement iter over Free.	2015-10-06 11:02:15 -04:00
Rob Rix	24e113d2f0	The hash property on Free is public.	2015-10-06 11:00:47 -04:00
Rob Rix	277757e3a2	Free implements hash when A and B are Hashable.	2015-10-02 16:27:44 -04:00
Rob Rix	e4d0a41093	Express flatMap with analysis.	2015-10-02 14:36:01 -04:00
Rob Rix	b4479e3854	Express map with analysis.	2015-10-02 14:35:18 -04:00
Rob Rix	2b5b85e0b4	Define Free hashing.	2015-10-02 14:35:07 -04:00
Rob Rix	334bb3017e	The roll function doesn’t escape.	2015-10-02 14:29:45 -04:00
Rob Rix	7d49895796	Section headers for functor/monad instances.	2015-10-02 14:27:37 -04:00
Rob Rix	7e00f9297e	Implement case analysis for Free.	2015-10-02 14:26:53 -04:00
Rob Rix	de2dcf4bf4	== over Free.	2015-10-02 14:18:43 -04:00
Rob Rix	87994c824f	Free Equality.	2015-10-02 14:15:17 -04:00
Rob Rix	f8c37695ae	Document Fix’s case.	2015-10-02 14:08:03 -04:00
Rob Rix	b2219feed7	Document Free’s cases.	2015-10-02 14:07:29 -04:00
Rob Rix	0a64dc8741	Free is indeed a Monad.	2015-10-02 14:03:34 -04:00
Rob Rix	97686157f3	Free is a Functor.	2015-10-02 13:59:55 -04:00
Rob Rix	e63ccff83f	Documentation for Free.	2015-10-02 13:54:39 -04:00
Rob Rix	0ff70be000	Stub in Free.	2015-10-02 13:43:43 -04:00