1041 Commits

Author	SHA1	Message	Date
Rob Rix	6627d40bf9	Recur through a strictly smaller k.	2015-10-16 17:00:10 -04:00
Rob Rix	03a9e74dbc	Extract a function for computing arbitrary terms.	2015-10-16 16:58:46 -04:00
Rob Rix	e409a4ce56	Stub in Term tests.	2015-10-16 16:56:30 -04:00
Rob Rix	aec3c72e78	Merge branch 'cofree-memoizes' into property-testing ... Conflicts: prototype/Doubt.xcodeproj/project.pbxproj	2015-10-16 16:52:42 -04:00
Rob Rix	3d85194f8c	Merge branch 'master' into cofree-memoizes	2015-10-16 16:40:59 -04:00
Rob Rix	b4dc1e7bf1	Cofree is not lazy.	2015-10-16 16:40:47 -04:00
Rob Rix	3fb6fcb5c9	Merge branch 'cofree-memoizes' into property-testing	2015-10-16 16:13:46 -04:00
Rob Rix	841f7017c8	Indirection.	2015-10-16 16:10:10 -04:00
Rob Rix	457c3c53f6	Merge branch 'cofree-memoizes' into property-testing	2015-10-16 16:07:29 -04:00
Rob Rix	f4e462eba2	Cofree uses Memo to ensure that statefully-computed subtrees are “ok.” ... Randomness is an effect.	2015-10-16 16:05:37 -04:00
Rob Rix	63ffe0a596	Use symbols for keys.	2015-10-16 15:22:07 -04:00
Rob Rix	e85566bfeb	Use symbols for leaves.	2015-10-16 15:21:58 -04:00
Rob Rix	057a847f30	Add a generator for symbols. ... Right now just _<hex digit>	2015-10-16 15:21:27 -04:00
Rob Rix	d413f24e57	Delay the arbitrary sub-term.	2015-10-16 15:17:47 -04:00
Rob Rix	c9bc15bcc9	Revert "Add a delay combinator." ... This reverts commit 2feeac9065de48f6e5cb412752a6a8e4d2fcf5ca.	2015-10-16 15:17:05 -04:00
Rob Rix	0622a984dc	Delay recurrence. ... Inlined because Swift.	2015-10-16 15:17:00 -04:00
Rob Rix	989a2d7319	Add a delay combinator.	2015-10-16 15:12:08 -04:00
Rob Rix	e6ac782e84	Implement the computation of arbitrary ranged terms.	2015-10-16 15:06:27 -04:00
Rob Rix	541897aa43	Arrange unannotated terms.	2015-10-16 15:05:01 -04:00
Rob Rix	5beccbdca2	Compute the source of unannotated terms.	2015-10-16 14:40:18 -04:00
Rob Rix	4a24c3f872	Generate arbitrary keyed terms.	2015-10-16 14:30:53 -04:00
Rob Rix	cc1f0a07a3	Rename the branch case to indexed.	2015-10-16 14:26:58 -04:00
Rob Rix	c249f1de8a	Construct arbitrary unannotated branches.	2015-10-16 14:26:46 -04:00
Rob Rix	6a4e1dca39	Construct arbitrary unannotated leaves.	2015-10-16 14:26:32 -04:00
Rob Rix	412ea9cc04	Add unannotated terms.	2015-10-16 14:24:17 -04:00
Rob Rix	570d4efa5d	Generate arbitrary leaves.	2015-10-16 13:23:38 -04:00
Rob Rix	a3ef491de4	Stub in Arbitrary conformance.	2015-10-16 12:28:49 -04:00
Rob Rix	c415a6aafd	Add a RangedTerm struct wrapping ranged terms.	2015-10-16 12:28:16 -04:00
Rob Rix	889f3ffef5	Link the tests against SwiftCheck.	2015-10-16 11:48:24 -04:00
Rob Rix	fa0b04d4cd	Add SwiftCheck to the workspace.	2015-10-16 11:48:18 -04:00
Rob Rix	b851fbc186	Add SwiftCheck.	2015-10-16 11:44:48 -04:00
Rob Rix	20e5d25fbf	PatchType does not require construction with a Patch.	2015-10-16 09:30:25 -04:00
Rob Rix	0c786ed160	Use the PatchType init to delete.	2015-10-16 09:30:09 -04:00
Rob Rix	aa2cce5a39	Use the PatchType init to insert.	2015-10-16 09:29:56 -04:00
Rob Rix	902ce99172	Use the PatchType init to replace.	2015-10-16 09:29:43 -04:00
Rob Rix	bcdaff9c2c	PatchType requires constructors for deletions.	2015-10-16 09:28:45 -04:00
Rob Rix	64cd995e41	PatchType requires constructors for deletions.	2015-10-16 09:28:37 -04:00
Rob Rix	00115e422b	PatchType requires constructors for replacements.	2015-10-16 09:28:25 -04:00
Rob Rix	831eb1e521	PatchType does not require patch.	2015-10-16 09:26:13 -04:00
Rob Rix	52dc661fc9	Use Patches’ inverse directly.	2015-10-16 09:24:12 -04:00
Rob Rix	1493b2938e	PatchType requires inverse.	2015-10-16 09:23:51 -04:00
Rob Rix	c1cb797c6f	Use Patches’ state directly.	2015-10-16 09:23:33 -04:00
Rob Rix	9b15398f76	PatchType requires state.	2015-10-16 09:22:41 -04:00
Rob Rix	38be68d95d	Rename PatchConvertible to PatchType.	2015-10-16 09:21:41 -04:00
Rob Rix	fcff1d8e9f	Correct a section marker.	2015-10-16 09:20:47 -04:00
Rob Rix	b43badaf04	🔥 FreeConvertible.	2015-10-16 09:20:14 -04:00
Rob Rix	c5fe7bec46	What why	2015-10-15 18:32:43 -04:00
Rob Rix	90d84593c8	Remove Algorithm.evaluate() in all its many forms.	2015-10-15 18:30:16 -04:00
Rob Rix	bee0876bae	Correct the test of categorization.	2015-10-15 18:29:23 -04:00
Rob Rix	d833e65b50	Correct the test of restrictions.	2015-10-15 18:29:17 -04:00