github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-23 23:11:50 +03:00
Code Issues Projects Releases Wiki Activity
5,451 Commits 19 Branches 16 Tags 46 MiB
a22ac1ea31
Commit Graph

5451 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
a65798b0dc Add a function to construct Both from These & a default value. 2016-03-10 13:34:13 -05:00
Rob Rix
35024d02cf Add a default implementation for crosswalk. 2016-03-10 13:15:48 -05:00
Rob Rix
64baf04a31 Crosswalks imply Functors. 2016-03-10 13:15:39 -05:00
Rob Rix
d792ddcd57 Define these for case analysis over These. 2016-03-10 13:14:29 -05:00
Rob Rix
912823b2cd Don’t override sequenceL for Identity. 2016-03-10 12:54:26 -05:00
Rob Rix
2cd47afafd Supply a default implementation of sequenceL. 2016-03-10 12:54:17 -05:00
Rob Rix
05d5d69cfc Crosswalk has a crosswalk method. 
The relationship between crosswalk and sequenceL is essentially the
same as the relationship between traverse and sequenceA.
 2016-03-10 12:54:09 -05:00
Rob Rix
efa88249d0 Add an instance of Crosswalk for Identity. 2016-03-10 12:49:52 -05:00
Rob Rix
86dc5ad6f5 Add a Crosswalk typeclass. 2016-03-10 12:48:09 -05:00
Rob Rix
1906f84dad 🔥 a redundant import. 2016-03-10 12:30:06 -05:00
Rob Rix
612169a6c6 🔥 transpose. 2016-03-10 12:29:18 -05:00
Rob Rix
f7abf91678 Remove the default implementation for alignWith. 2016-03-10 10:48:35 -05:00
Rob Rix
3613edf521 Revert "Revert "Eta-reduce align."" 
This reverts commit 5e43f381a2479b3a63353aac2d34178210175bfd.
 2016-03-10 10:47:16 -05:00
Rob Rix
a8f8039a5c Revert "Revert "Align depends on These."" 
This reverts commit 6e4bfc96a0c6aa288e1f32ca40636e0f2edb94e1.
 2016-03-10 10:47:04 -05:00
Rob Rix
a335530fdb Revert "Revert "Add an Align instance for lists."" 
This reverts commit b6fc6e4ffd2dbac921c971753e1dd76d1f36cffd.
 2016-03-10 10:46:58 -05:00
Rob Rix
9d1756e666 Revert "Revert "Add an Align typeclass."" 
This reverts commit be536afec277f39dad7a1002fb40823b137045c5.
 2016-03-10 10:46:55 -05:00
Rob Rix
9e70dec853 Revert "Revert "These is an instance of Bifunctor."" 
This reverts commit 685e672f79b504963bd53b206fd91e330bcb8875.
 2016-03-10 10:46:48 -05:00
Rob Rix
c23ecea3ba Revert "Revert "Add the These type."" 
This reverts commit 502ab42e9b049f6f5e601f759620d274885a44db.
 2016-03-10 10:46:45 -05:00
Rob Rix
b6d422eb5b Revert "Revert "Stub in a Data.Bifunctor.These module."" 
This reverts commit 2b5c242f70e141e00fdeadd378c2d6eae49fce22.
 2016-03-10 10:46:32 -05:00
Rob Rix
ddd0adf2aa Revert "Revert "Stub in a Data.Align module."" 
This reverts commit 91ab52cef2217ae1a92eebb4d7d90bbcc1626565.
 2016-03-10 10:45:29 -05:00
Rob Rix
7a0b948338 coalesce distributes through Identity. 2016-03-10 10:00:29 -05:00
Rob Rix
a39a8229ee Add a Coalescent instance for Line. 2016-03-10 09:54:28 -05:00
Rob Rix
ff8bd646e4 🔥 the Coalesce type synonym. 2016-03-10 09:53:12 -05:00
Rob Rix
7161658393 🔥 mappendBy. 2016-03-10 09:53:00 -05:00
Rob Rix
f3223c1336 🔥 the empty value. 2016-03-10 09:51:38 -05:00
Rob Rix
bf74a6a6f6 Add a Monoid instance for Adjoined over Coalescent types. 2016-03-10 09:51:29 -05:00
Rob Rix
7fd23f6f29 Document coalesce. 2016-03-10 09:44:43 -05:00
Rob Rix
a300415e58 Document Coalescent. 2016-03-10 09:43:47 -05:00
Rob Rix
1179893979 Add a Coalescent typeclass. 2016-03-10 09:42:47 -05:00
Rob Rix
7c88d9ff38 Stub in a Data.Coalescent module. 2016-03-10 09:41:57 -05:00
Rob Rix
caaa9cb79f Rewrapping line contents preserves closedness. 2016-03-10 09:32:37 -05:00
Rob Rix
75133aad3f 🔥 openRangePair. 2016-03-10 09:29:54 -05:00
Rob Rix
6dff46c0d8 Use the openness predicate to coalesce. 2016-03-10 09:26:29 -05:00
Rob Rix
117cc896be Add a predicate on lines to determine if they’re open. 2016-03-10 09:26:08 -05:00
Rob Rix
a15efe3826 🔥 isOpenLineBy. 2016-03-10 09:24:30 -05:00
Rob Rix
8d36c20e9c Use Both’s Monoid instance directly. 2016-03-10 09:24:15 -05:00
Rob Rix
68a1fb9cf8 Simplify the open row merging test. 2016-03-10 09:23:47 -05:00
Rob Rix
0e07398b59 🔥 the predicate parameters in coalescing and adjoining. 2016-03-10 09:19:47 -05:00
Rob Rix
5c82d1820b Use pureBy to construct lines. 2016-03-10 09:19:07 -05:00
Rob Rix
949666577f Clarify the docs of pureBy. 2016-03-10 09:18:08 -05:00
Rob Rix
a66616e1b6 Add a convenience to construct open or closed lines. 2016-03-10 09:17:03 -05:00
Rob Rix
60ad5cf634 Document linesInRangeOfSource. 2016-03-10 09:08:49 -05:00
Rob Rix
f2c8d75879 Construct open or closed lines up front. 2016-03-10 09:05:16 -05:00
Rob Rix
4b29ee9916 Use the linesInRangeOfSource wrapper for leaf lines. 2016-03-10 09:02:21 -05:00
Rob Rix
6105e7ce6b Use the linesInRangeOfSource wrapper for context lines. 2016-03-10 08:53:40 -05:00
Rob Rix
d844acd9ae Add a wrapper around actualLineRanges. 2016-03-10 08:53:24 -05:00
Rob Rix
e85572be38 Define the empty Adjoined. 2016-03-10 08:34:23 -05:00
Rob Rix
89104cb834 Add fromList for Adjoined. 2016-03-10 03:40:59 -05:00
Rob Rix
4153844024 Disambiguate fromList. 2016-03-10 03:40:54 -05:00
Rob Rix
abc8146c31 Simplify the other cases. 2016-03-10 03:33:43 -05:00