637 Commits

Author	SHA1	Message	Date
Rob Rix	9afc487776	Cofree is a TermType.	2015-10-14 14:05:43 -04:00
Rob Rix	714f99638e	Abstract Algorithm over a Term type.	2015-10-14 14:04:47 -04:00
Rob Rix	7e9a41dfbd	Make the Roll case indirect.	2015-10-14 14:04:35 -04:00
Rob Rix	3e75895c4d	Fix is a TermType.	2015-10-14 13:57:21 -04:00
Rob Rix	4fb38d612e	Add a constructor for Free over arbitrary TermType.	2015-10-14 13:52:43 -04:00
Rob Rix	6f886356aa	Add a TermType protocol.	2015-10-14 13:52:25 -04:00
Rob Rix	6188a5a2d7	Move FreeConvertible to Free.swift.	2015-10-14 13:34:29 -04:00
Rob Rix	01b32b010f	Rename Algorithm’s A type parameter to Leaf.	2015-10-14 13:33:51 -04:00
Rob Rix	31d905ac64	Merge branch 'generalize-patch' into diff-cofree-values	2015-10-14 13:31:00 -04:00
Rob Rix	436708bb3b	🔥 chaff.	2015-10-14 13:16:27 -04:00
Rob Rix	09fad58fd7	Correct a comment.	2015-10-14 12:46:16 -04:00
Rob Rix	517c87c303	Revert "Revert "SES does not take an equality test."" ... This reverts commit bb73f6eac2b59599607369767e9e221e7e5e0f15.	2015-10-14 12:28:45 -04:00
Rob Rix	d0d96d569d	Revert "Pass the correct equality function to SES." ... This reverts commit e78c6cde10ad70e93ab003ceacc07db290b061e4.	2015-10-14 12:28:41 -04:00
Rob Rix	432c9f7239	Pass the correct equality function to SES.	2015-10-14 12:26:25 -04:00
Rob Rix	a7f4d91d56	Revert "SES does not take an equality test." ... This reverts commit 1db8bdf82c85a490188882b810cd9c516e4f210e. Conflicts: prototype/Doubt/SES.swift prototype/DoubtTests/SESTests.swift	2015-10-14 12:25:38 -04:00
Rob Rix	8d4a91d3a9	Merge branch 'parameterize-algorithm-evaluation-by-comparison-restriction' into generalize-patch ... Conflicts: prototype/Doubt/SES.swift prototype/DoubtTests/SESTests.swift	2015-10-14 12:24:04 -04:00
Rob Rix	0acdd16db3	Generalize SES to arbitrary arrays.	2015-10-14 12:18:49 -04:00
Rob Rix	34258b98b8	Generalize Patch from Fix<A> to A.	2015-10-14 12:17:39 -04:00
Rob Rix	e33f733d83	SES does not take an equality test.	2015-10-14 12:14:15 -04:00
Rob Rix	da11e0983a	Don’t test equality in SES.	2015-10-14 12:11:03 -04:00
Rob Rix	964204a3e6	Rename the PatchConvertible associated type to Element.	2015-10-14 12:02:57 -04:00
Rob Rix	ef5720ad17	Add a typealias representing the type of patches.	2015-10-14 11:56:30 -04:00
Rob Rix	49fb97594a	Move Operation’s Functor implementation to a separate extension.	2015-10-14 11:43:17 -04:00
Rob Rix	c9134b5867	Move Operation into its own file.	2015-10-14 11:40:43 -04:00
Rob Rix	ff2c904888	Abstract Operation over Term and Diff types.	2015-10-14 11:39:56 -04:00
Rob Rix	b9ac0d3c38	JSON property for cofree over CustomJSONConvertible types.	2015-10-14 11:01:41 -04:00
Rob Rix	8f86f9ab76	Parameterized JSON conversion for Cofree.	2015-10-14 10:59:41 -04:00
Rob Rix	e70cbe4235	Algebraic hashing over cofrees of Hashable types.	2015-10-14 10:57:25 -04:00
Rob Rix	db57734586	Parameterized hashing over Cofree.	2015-10-14 10:56:25 -04:00
Rob Rix	3dcfbc0d38	Equality over Cofrees of equatable types.	2015-10-14 10:53:29 -04:00
Rob Rix	889dab1df2	Parameterized equality over Cofree.	2015-10-14 10:52:27 -04:00
Rob Rix	84ea5248e3	Unroll does not need to be indirect.	2015-10-14 10:49:05 -04:00
Rob Rix	8f3ae52d29	Cofree’s recurrence is lazy.	2015-10-14 10:48:42 -04:00
Rob Rix	c8234d27a4	Document coiterate.	2015-10-14 10:44:53 -04:00
Rob Rix	c13023b85b	Add a constructor annotating terms into Cofrees.	2015-10-14 10:39:21 -04:00
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