1
1
mirror of https://github.com/github/semantic.git synced 2024-12-28 17:32:05 +03:00
Commit Graph

141 Commits

Author SHA1 Message Date
Rob Rix
c6568f0b43 Revert "🔥 a redundant import."
This reverts commit e8b9b70289c72dc9f23f4afc1139130dc60b57ca.
2016-03-11 15:22:26 -05:00
Rob Rix
842af743e7 Document Adjoined. 2016-03-11 14:25:53 -05:00
Rob Rix
fa8f9c15b0 🔥 Both.zip & Both.zipWith. 2016-03-11 14:21:24 -05:00
Rob Rix
2df34adef6 GeneralizedNewtypeDeriving on Data.Functor.Both. 2016-03-11 14:03:56 -05:00
Rob Rix
49578b9fd7 GeneralizedNewtypeDeriving on Data.Adjoined. 2016-03-11 14:03:50 -05:00
Rob Rix
a55154c33f Document crosswalk and sequenceL. 2016-03-11 13:21:47 -05:00
Rob Rix
7dadd53445 Document Crosswalk. 2016-03-11 13:19:17 -05:00
Rob Rix
283b906cef Document align/alignWith. 2016-03-11 13:15:08 -05:00
Rob Rix
e3eab9df57 Document nil. 2016-03-11 13:12:30 -05:00
Rob Rix
81ef7742c7 Document the cases of the Align instance for []. 2016-03-11 13:09:44 -05:00
Rob Rix
0f2c693294 Use splitAt to bind & clarify the roles of the portions of bs. 2016-03-11 13:08:21 -05:00
Rob Rix
1ecff8e9b1 Zip the remainder into These directly. 2016-03-11 12:53:05 -05:00
Rob Rix
e0e3277ccc Document Align. 2016-03-11 12:40:13 -05:00
Rob Rix
233c7bc13f 🔥 a redundant import. 2016-03-11 01:14:31 -05:00
Rob Rix
cd844d7a00 🔥 zipDefaults. 2016-03-11 01:06:09 -05:00
Rob Rix
693f91b93c 🔥 bothOfThese. 2016-03-11 01:05:54 -05:00
Rob Rix
37865cc509 The Align instance for List pads from the start. 2016-03-10 20:05:46 -05:00
Rob Rix
2c8f16403d bothOfThese takes Both defaults. 2016-03-10 14:55:03 -05:00
Rob Rix
1694caa289 Document bothOfThese. 2016-03-10 14:00:35 -05:00
Rob Rix
d230f4c406 Add an instance of Crosswalk for Maybe. 2016-03-10 14:00:27 -05:00
Rob Rix
b8d2d54e30 Add an instance of Align for Maybe. 2016-03-10 14:00:14 -05:00
Rob Rix
998a7f9543 Revert "Remove the default implementation for alignWith."
This reverts commit 3edafd3fb2c75c3664bbd05dc06dbcf601f8748c.
2016-03-10 13:47:02 -05:00
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
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