11779 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	90737f6e5f	Generalize identifiable over the union.	2017-04-24 15:07:19 -04:00
Rob Rix	9e34c589c0	Merge branch 'master' into a-la-carte-folds	2017-04-24 14:55:49 -04:00
Rob Rix	bfacfc783f	Merge pull request #1085 from github/run-assignment-with-source ... Run assignment with source	2017-04-24 14:55:07 -04:00
Rob Rix	fb477828e6	📝 advanceState.	2017-04-24 13:57:41 -04:00
Rob Rix	a7b47952eb	📝 AssignmentState itself.	2017-04-24 13:55:12 -04:00
Rob Rix	8caea50b14	📝 AssignmentState’s fields.	2017-04-24 13:54:33 -04:00
Rob Rix	806aa944d0	SourcePos is 1-indexed in both line and column.	2017-04-24 13:51:08 -04:00
Rob Rix	3705f960f4	Reformat AssignmentState across several lines.	2017-04-24 13:47:21 -04:00
Rob Rix	d3517ab60f	Methods are identifiable.	2017-04-24 13:41:20 -04:00
Rob Rix	54108f0019	Classes are identifiable.	2017-04-24 13:41:16 -04:00
Rob Rix	d5b512d094	Stub in a function producing the list of identifiable subterms of a term.	2017-04-24 13:38:55 -04:00
Rob Rix	d66e425e56	Derive Functor and Traversable instances for à la carte syntax types.	2017-04-24 13:38:21 -04:00
Rob Rix	0ad31e7887	Define Traversable instances for Unions.	2017-04-24 13:37:59 -04:00
Rob Rix	09d4dbcb8e	Define Functor instances for unions of Functors.	2017-04-24 13:29:10 -04:00
Rob Rix	3dd4d12af8	Define the strengthening of a single-member union.	2017-04-24 13:28:56 -04:00
Rob Rix	cbe44c66e7	Merge branch 'master' into run-assignment-with-source	2017-04-24 12:53:45 -04:00
Josh Vera	4af987ed57	Merge pull request #1080 from github/rws-effect ... RWS Effect	2017-04-24 12:02:52 -04:00
Josh Vera	afc4790383	Merge branch 'master' into rws-effect	2017-04-24 11:53:26 -04:00
Rob Rix	55934f656b	Correct indentation.	2017-04-24 10:44:37 -04:00
Rob Rix	de0cdc98aa	Add SourcePos information to the tests.	2017-04-24 10:27:45 -04:00
Rob Rix	5500b7534e	term can match empty lists by taking the current offset.	2017-04-24 10:19:15 -04:00
Rob Rix	59b7478caf	📝 AST.	2017-04-24 10:18:42 -04:00
Rob Rix	7868979cee	📝 Node.	2017-04-24 10:18:02 -04:00
Rob Rix	ec65a199dc	Define a location combinator.	2017-04-24 10:17:10 -04:00
Rob Rix	25ebe64d83	Define state assignments.	2017-04-24 10:01:09 -04:00
Rob Rix	96affb1f05	Carry the current position through assignment.	2017-04-24 09:53:30 -04:00
Rob Rix	718ef34e71	assignAllFrom takes an AssignmentState.	2017-04-21 16:53:43 -04:00
Rob Rix	f09e0ba5cc	Assign terms annotated with ranges & source spans.	2017-04-21 16:38:51 -04:00
Rob Rix	b99944556c	Merge branch 'master' into run-assignment-with-source	2017-04-21 16:18:16 -04:00
Rob Rix	296d9bb03d	Fix the tests.	2017-04-21 16:12:56 -04:00
Rob Rix	65176ffa6b	Advance the state using a helper function.	2017-04-21 13:52:49 -04:00
Rob Rix	5643a0674d	Define selectors for AssignmentState.	2017-04-21 13:48:55 -04:00
Rob Rix	626281b68b	Define a type for assignments’ state.	2017-04-21 13:45:27 -04:00
Rob Rix	cfe0709649	Rename rest to nodes. ... This clarifies that pure assignments don’t advance the state.	2017-04-21 13:42:12 -04:00
Rob Rix	92a3a9c95f	Advance the source.	2017-04-21 13:41:42 -04:00
Rob Rix	e3192150e2	Define take & drop functions for Source.	2017-04-21 13:36:41 -04:00
Rob Rix	94452afacc	Return a slice of the source.	2017-04-21 13:31:40 -04:00
Rob Rix	fdde8b0255	Don’t bind node fields explicitly.	2017-04-21 13:28:11 -04:00
Rob Rix	27db847b06	Rename node to subtree.	2017-04-21 13:27:44 -04:00
Rob Rix	4aea07f87f	Pass the offset through assignments.	2017-04-21 13:26:22 -04:00
Rob Rix	35e3643724	Running an assignment returns the Source.	2017-04-21 12:19:50 -04:00
Rob Rix	41848c415d	Revert "Define a Conjunctive typeclass." ... This reverts commit 4beaa5a9ae6bb16c4d2d896026f0dc267c1f772d.	2017-04-21 12:17:49 -04:00
Rob Rix	a79d96d942	Revert "Give default definitions for &> and <&." ... This reverts commit 9c12b1b63c2f19616e36687883fbcad192efc0b0.	2017-04-21 12:17:48 -04:00
Rob Rix	85ab76a7b0	Revert "Define a liftC2 method." ... This reverts commit 5d0f44702e940800eca706e7a060586a9c92f8b7.	2017-04-21 12:17:46 -04:00
Rob Rix	0991f0c8c1	Revert "Give a default definition for <&> in terms of liftC2." ... This reverts commit 0a6bfa25ea2801aa7b7c2c19f1fcabf63bddaccf.	2017-04-21 12:17:45 -04:00
Rob Rix	b4a8336beb	Revert "Describe the minimal instance." ... This reverts commit 4a8a676f8faafd0f60769a20068512937181f7e4.	2017-04-21 12:17:43 -04:00
Rob Rix	639fc824aa	Revert "Define example instances of Conjunctive for Maybe and []." ... This reverts commit 05dea7751da8699f6eeb53bb00dd5f40fc49b775.	2017-04-21 12:17:02 -04:00
Rob Rix	d5f1fb93ef	Define example instances of Conjunctive for Maybe and [].	2017-04-21 12:11:27 -04:00
Rob Rix	0c75affa75	Describe the minimal instance.	2017-04-21 11:50:21 -04:00
Rob Rix	9ba51f537a	Give a default definition for <&> in terms of liftC2.	2017-04-21 11:50:10 -04:00