Rob Rix
67ec6f897f
maybeLast produces the last element of a list, if any.
2015-12-10 13:16:42 -05:00
Rob Rix
7abe07bd16
actualLines ends lines with their newlines.
2015-12-10 13:15:32 -05:00
Rob Rix
0c9308b6ae
Use Break to represent newlines.
2015-12-10 11:35:46 -05:00
joshvera
5b8908ac82
Represent newlines distinct from empty strings
2015-12-10 11:33:02 -05:00
joshvera
6426a57d51
Use Break in adjoin2
2015-12-10 11:13:16 -05:00
joshvera
6b590a840f
Map newlines to Break
2015-12-10 11:11:02 -05:00
Rob Rix
a0253de5bf
Don’t wrap the contents of empty lines.
2015-12-10 11:06:04 -05:00
joshvera
5c9f2762dd
Remove EmptyRow case
2015-12-10 10:59:46 -05:00
Rob Rix
da2c1505f3
Provide a total definition of unLine.
...
Fixes #304 .
2015-12-10 10:59:07 -05:00
Rob Rix
b5f9536bcb
Split up the definition of Line.
2015-12-10 10:59:07 -05:00
Rob Rix
641ba9b7b7
🔥 bimap.
2015-12-10 10:58:23 -05:00
Rob Rix
84a817b6bf
Rewrap the rows in uls.
2015-12-10 10:57:47 -05:00
Rob Rix
e86b43380f
Add a rewrap function.
2015-12-10 10:57:47 -05:00
joshvera
18c95e0b87
Fix inserted ranges returned from diffToRows
2015-12-10 10:53:47 -05:00
joshvera
9039068a5c
intersperse commas in Show Line instance
2015-12-09 19:06:29 -05:00
joshvera
79d8924b58
Remove maybeFirstNewLine
2015-12-09 18:50:31 -05:00
joshvera
40cc463a90
simplify appending a row with two newlines
2015-12-09 17:40:41 -05:00
joshvera
eecfd4ff6d
promotes HTML through empty lines
2015-12-09 17:38:40 -05:00
joshvera
a05f03dd92
add some test combinators
2015-12-09 17:29:25 -05:00
joshvera
f3381509b7
remove adjoinRows tests
2015-12-09 17:29:11 -05:00
joshvera
72a00b0a15
Remove adjoinRows
2015-12-09 16:59:40 -05:00
joshvera
088139ed27
Delete comments
2015-12-09 16:55:26 -05:00
joshvera
d98e8f0801
don't append if both sides start with newlines
2015-12-09 16:52:06 -05:00
joshvera
5a252911a2
Fix incorrect index in test
2015-12-09 15:54:31 -05:00
Rob Rix
99bc580df2
Correct a fixture.
2015-12-09 15:28:42 -05:00
Rob Rix
940be43244
Show instances which make it easier to tell where rows start and end.
2015-12-09 15:22:29 -05:00
Rob Rix
6f53ed41cf
Sp.
2015-12-09 15:07:30 -05:00
Rob Rix
4585545eab
Test that we don’t promote newlines through empty lines.
2015-12-09 14:56:33 -05:00
Rob Rix
6dc5a65ae8
Use the newLine definition a bit.
2015-12-09 14:56:26 -05:00
Rob Rix
b97b989803
Add a newLine definition.
2015-12-09 14:56:15 -05:00
Rob Rix
d527a03ca3
Test that adjoining newlines does not append.
2015-12-09 14:50:57 -05:00
Rob Rix
0010bb0c77
Spacing.
2015-12-09 14:47:10 -05:00
Rob Rix
96e8b63801
Merge branch 'master' into fix-alignment-issues
2015-12-09 14:45:17 -05:00
joshvera
2fe4f74b69
remove comments
2015-12-09 14:35:18 -05:00
joshvera
888a2bbf8a
Remove all uses of adjoinRows
2015-12-09 14:32:00 -05:00
joshvera
51fb407004
Don't adjoin lines if they start with newlines
2015-12-09 13:41:36 -05:00
joshvera
dd54f61206
Remove adjoinRows from the equation
2015-12-09 13:30:51 -05:00
joshvera
dc456afc65
add newline to the end of Row toMarkup
2015-12-09 11:25:38 -05:00
Rob Rix
ccfb9ce050
Equal category sets also render terms as comparable.
2015-12-09 10:59:13 -05:00
Rob Rix
9e8a6f8456
Default to the line by line parser.
2015-12-09 10:36:37 -05:00
Rob Rix
b59623bf3d
Construct a parser for the lines in some input file.
2015-12-09 10:32:22 -05:00
Rob Rix
a75c1b0482
No need to reinvent fmap.
2015-12-09 10:18:52 -05:00
Rob Rix
da3634c59a
parserForType
returns a Parser.
...
This change moves the languages out of IO. I believe this to be correct
(as they should be referentially transparent) but we may wish to review
that carefully.
2015-12-09 10:11:30 -05:00
Rob Rix
d7f415da04
Move all of the tree-sitter stuff into its own module.
2015-12-09 09:58:15 -05:00
Rob Rix
dcbf7bafb7
Use the Parser type.
2015-12-09 09:50:55 -05:00
Rob Rix
f8d43dcfad
Add a Parser module/type.
2015-12-09 09:49:24 -05:00
joshvera
c67ff8f2e5
working through adjoin2
2015-12-08 19:52:38 -05:00
joshvera
bcb935c49b
add maybeFirstNewLine to look in Uls for new lines
2015-12-08 18:09:45 -05:00
Josh Vera
4a0b320640
Merge pull request #275 from github/declare-the-type-of-textElements
...
Declare the type of textElements.
2015-12-08 12:38:10 -05:00
joshvera
f86f12b7f6
Produce empty lines
2015-12-08 12:35:58 -05:00