Rob Rix
|
c4393ace0b
|
Define a cyclomatic complexity decorator.
|
2017-04-24 15:23:21 -04:00 |
|
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 |
|