1
1
mirror of https://github.com/github/semantic.git synced 2024-12-30 10:27:45 +03:00
Commit Graph

3849 Commits

Author SHA1 Message Date
Rob Rix
cfe2cd336e Define toMarkup over Bool/Int/Line triples by pattern matching. 2015-12-22 18:13:43 -05:00
Rob Rix
de1482af2c Remove numberTd. 2015-12-22 18:06:49 -05:00
Rob Rix
6c6139aac9 Don’t depend on numberTd. 2015-12-22 18:06:42 -05:00
Rob Rix
9b87a785b5 No need to unLine. 2015-12-22 17:59:26 -05:00
Rob Rix
cd5abba743 Derive a Foldable instance for Line. 2015-12-22 17:58:11 -05:00
Rob Rix
946b1067b3 Use or to test for changes. 2015-12-22 17:57:16 -05:00
Rob Rix
b25da81f81 Remove toRenderable. 2015-12-22 17:56:28 -05:00
Rob Rix
c83c67cc99 Remove the Int, Line pair instance of ToMarkup. 2015-12-22 17:56:19 -05:00
Rob Rix
02afbd132a Remove the Int, Line, Int, Line instance of ToMarkup. 2015-12-22 17:56:10 -05:00
Rob Rix
44e04ec17f Render numbered lines to markup using the new function. 2015-12-22 17:55:54 -05:00
Rob Rix
e974ea43af Add a function to render numbered lines to markup with indication of changes. 2015-12-22 17:55:30 -05:00
Rob Rix
b89218a944 Add a ToMarkup instance over Bool/Int/Line a triples. 2015-12-22 17:55:03 -05:00
Rob Rix
e9c7c46130 Add a function to test for changes in a diff. 2015-12-22 17:54:01 -05:00
Rob Rix
7e98ee3de5 Add a function to map a line into a Renderable line. 2015-12-22 17:53:47 -05:00
Rob Rix
b165994569 Move adjoinRowsBy into the Row module. 2015-12-22 17:27:56 -05:00
Rob Rix
c92ba49b4d Move adjoinLinesBy into the Line module. 2015-12-22 17:27:09 -05:00
Rob Rix
74fbc6e539 Move openLineBy into the Line module. 2015-12-22 17:26:24 -05:00
Rob Rix
e2cc92bdf7 Move Row into the Row module. 2015-12-22 17:24:58 -05:00
Rob Rix
b256d46f83 Stub in a Row module. 2015-12-22 17:24:08 -05:00
Rob Rix
cdaea42fd2 Move the ToMarkup instances over Line to the Line module. 2015-12-22 17:23:10 -05:00
Rob Rix
4c395ff1d1 Import the Line module in the tests. 2015-12-22 17:22:07 -05:00
Rob Rix
4a39f65fdf Move Line to its own file. 2015-12-22 17:21:17 -05:00
Rob Rix
8f469a07c4 Stub in a Line module. 2015-12-22 17:20:08 -05:00
Rob Rix
ce2c759fea Remove classify. 2015-12-22 17:18:27 -05:00
Rob Rix
24d22042d1 classifyMarkup takes categories directly. 2015-12-22 17:18:17 -05:00
Rob Rix
e719626216 Remove HTML. 2015-12-22 17:12:56 -05:00
Rob Rix
1621dca3bc Remove the offset functions. 2015-12-22 17:12:08 -05:00
Rob Rix
08d03e933c Remove the term construction helpers. 2015-12-22 17:11:49 -05:00
Rob Rix
ddf4ccd141 Remove the row text functions. 2015-12-22 17:10:57 -05:00
Rob Rix
3d1fb64cbc Remove span. 2015-12-22 17:10:49 -05:00
Rob Rix
6783d410bb Remove openElement. 2015-12-22 17:09:32 -05:00
Rob Rix
52a057b577 Remove the Arbitrary instance for HTML. 2015-12-22 17:08:50 -05:00
Rob Rix
6663dfe87b openMaybe is defined over Maybe Bool. 2015-12-22 17:08:02 -05:00
Rob Rix
b121ee54e3 Remove openString. 2015-12-22 17:06:55 -05:00
Rob Rix
821ee2e792 Test the identity case via openMaybe. 2015-12-22 17:06:51 -05:00
Rob Rix
cf00dcd95e Test appending onto open rows via openMaybe. 2015-12-22 17:06:45 -05:00
Rob Rix
cfee3a90fc Test promoting onto open lines via openMaybe. 2015-12-22 17:06:09 -05:00
Rob Rix
8f34f04dae Test not promoting onto closed lines via openMaybe. 2015-12-22 17:05:35 -05:00
Rob Rix
7b2ac76422 Test not appending onto closed rows by means of openMaybe.
This is much faster.
2015-12-22 17:05:02 -05:00
Rob Rix
208df10e1a Add an openMaybe function for quicker open/closed tests. 2015-12-22 17:02:34 -05:00
Rob Rix
c643f2ed58 Test not appending onto closed rows over strings. 2015-12-22 16:56:22 -05:00
Rob Rix
8c71fff97a Test appending onto open rows over strings. 2015-12-22 16:55:53 -05:00
Rob Rix
cfa82876c1 Generalize the isOpen predicate. 2015-12-22 16:55:18 -05:00
Rob Rix
631e572ab3 Generalize the isClosed predicate. 2015-12-22 16:55:13 -05:00
Rob Rix
8599fd46d9 Test adjoinRowsBy using openString. 2015-12-22 16:52:36 -05:00
Rob Rix
3adfd06d5a Add an open string selector. 2015-12-22 16:52:20 -05:00
Rob Rix
0d33052528 Remove the ToMarkup instance for HTML. 2015-12-22 16:44:06 -05:00
Rob Rix
97d868ad26 Remove elementAndBreak. 2015-12-22 16:42:57 -05:00
Rob Rix
1d0aecda80 Remove the zipWithMaybe definition. 2015-12-22 16:42:27 -05:00
Rob Rix
c3a9b4f5d1 Remove the rowFromMaybeRows definition. 2015-12-22 16:42:03 -05:00