7905 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
joshvera	b2006ef637	Make termConstructor total	2016-07-26 15:08:41 -04:00
Rob Rix	dd0b0322fc	Add a property demonstrating the relationship between sequenceAlt over [Maybe a] & pure . catMaybes.	2016-07-26 14:56:02 -04:00
joshvera	20899ce9ac	Add an Error case to Alignment	2016-07-26 14:51:15 -04:00
joshvera	be82432aa0	Add an error JSON case	2016-07-26 14:49:14 -04:00
Rob Rix	cfb7361b9c	Scale the list generator.	2016-07-26 14:44:25 -04:00
joshvera	044aa782c1	partially apply isBranchNode	2016-07-26 14:36:56 -04:00
joshvera	e7000b7de3	s/expression_statement/expression_statements	2016-07-26 14:26:31 -04:00
joshvera	799643147b	partially apply isBranchNode	2016-07-26 14:04:15 -04:00
joshvera	033200ac10	Merge branch 'property-tests' into error-syntax	2016-07-26 13:55:34 -04:00
joshvera	de925c533d	use Foldable.any	2016-07-26 13:55:05 -04:00
joshvera	84edc4b8ce	use bind	2016-07-26 13:45:50 -04:00
joshvera	4809ad0f2f	Use bind	2016-07-26 13:44:12 -04:00
Rob Rix	2ee68cc4b2	Add an identity law over merge.	2016-07-26 13:30:09 -04:00
Rob Rix	794fffbf47	Clean up the generator.	2016-07-26 13:25:16 -04:00
Rob Rix	b987a40377	sequenceAlt’s relationship with merge is the inverse of merge’s relationship with sequenceAlt.	2016-07-26 13:23:14 -04:00
Rob Rix	7ff92d968e	Run the merge laws over Syntax.	2016-07-26 13:17:33 -04:00
Rob Rix	e98844e937	Run the merge laws over Identity.	2016-07-26 13:17:13 -04:00
Rob Rix	7d4d14c99b	Run the merge laws over Maybe.	2016-07-26 13:16:46 -04:00
Rob Rix	8f25cbd473	🔥 some redundant constraints.	2016-07-26 13:13:45 -04:00
Rob Rix	f64164d872	Generalize a constraint away.	2016-07-26 13:12:32 -04:00
Rob Rix	a967e800bb	Move the alternative instances helper down.	2016-07-26 13:12:09 -04:00
Rob Rix	be973b5bae	Generalize out a helper function to validate laws against alternative instances.	2016-07-26 13:11:52 -04:00
Rob Rix	5430f45850	Verify the merge laws over []/Maybe.	2016-07-26 13:06:18 -04:00
Rob Rix	df4621622a	Formulate a merge law.	2016-07-26 13:03:13 -04:00
Rob Rix	475c97190c	Parallelize the Mergeable spec.	2016-07-26 12:47:38 -04:00
Rob Rix	5d6b1cd047	Test the sequenceAlt laws over Syntax.	2016-07-26 05:39:02 -04:00
Rob Rix	7af29fcf10	Define the identity law over pure.	2016-07-26 04:25:45 -04:00
Rob Rix	6806438949	Generalize the sequenceAlt laws over the inner alternative functor.	2016-07-26 04:23:03 -04:00
Rob Rix	f76b334b8c	Validate the sequenceAltLaws against the Identity instance.	2016-07-26 04:16:40 -04:00
Rob Rix	a0cf6ce702	Validate the relationship between sequenceAlt and merge.	2016-07-26 04:15:56 -04:00
Rob Rix	d1bbe1c029	Validate the sequenceAltLaws against Maybe.	2016-07-26 04:08:19 -04:00
Rob Rix	88bb767ff7	Group the law invocations by functor.	2016-07-26 04:07:46 -04:00
Rob Rix	734254194c	Define sequenceAltLaws to take a generator of Mergeable values.	2016-07-26 04:06:51 -04:00
Rob Rix	fa3b7d126e	Factor the sequenceAlt law properties into a separate function.	2016-07-26 04:04:24 -04:00
Rob Rix	93c53ed90a	Stub in a property test for the proposed identity law.	2016-07-26 04:02:52 -04:00
Rob Rix	b03f1d3b91	Stub in a spec function.	2016-07-26 03:58:14 -04:00
Rob Rix	8f15a59282	Stub in a spec for the Mergeable stuff.	2016-07-26 03:56:52 -04:00
Rob Rix	a64e6736a3	Define a Mergeable instance over Identity.	2016-07-26 03:56:10 -04:00
Rob Rix	4863611ecc	🔥 the RULES pragma on Mergeable. ... I don’t understand what they do well enough for this to be anything but a maintenance burden.	2016-07-26 03:54:41 -04:00
Rob Rix	7435e9069c	Wrap all the branch cases but Fixed in Indexed.	2016-07-26 03:50:13 -04:00
joshvera	338b7c2a1b	indent	2016-07-25 20:32:14 -04:00
joshvera	58ffd29737	Add an error case	2016-07-25 18:41:22 -04:00
joshvera	882c7c2242	Add the Error type as a Branch	2016-07-25 18:39:22 -04:00
joshvera	30d4645dbb	Add bool_op and expression_statement mapping to categoriesForLanguage	2016-07-25 14:57:14 -04:00
joshvera	3b3d3282cb	Add Error case to Syntax	2016-07-25 14:56:51 -04:00
joshvera	de1088f490	Remove redundant import	2016-07-25 14:56:43 -04:00
joshvera	771f37df0b	Add styleName mapping to Category.Error	2016-07-25 14:56:33 -04:00
joshvera	da6a5c50ca	Add error case to MemberAccess construct case	2016-07-25 14:56:23 -04:00
joshvera	a6ea8f44d8	Add Error syntax cases to DiffSummary	2016-07-25 14:55:30 -04:00
joshvera	88b0cc327a	Remove Categorizable newtype and HasFiel instance	2016-07-25 13:36:02 -04:00