1
1
mirror of https://github.com/github/semantic.git synced 2024-12-25 16:02:43 +03:00
Commit Graph

81 Commits

Author SHA1 Message Date
Rob Rix
18b2cfc89f Merge branch 'master' into decompose-values 2018-05-18 14:14:55 -04:00
Rob Rix
81951d7bcc Fix the Listable instance for Name. 2018-05-18 13:05:46 -04:00
Patrick Thomson
322f348103 inj -> inject 2018-05-16 18:25:02 -04:00
Patrick Thomson
6b0198cb00 Remove otiose -Sum prefixes from all Data.Sum operations.
There are no modules where we use both Union.inj and Sum.injectSum; as
such, it seems clumsy for such ubiquitous functions as inj and prj to
have such long names when there is no ambiguity. This restores the
codebase to much how it looked before we switched back to a richer
Data.Union.
2018-05-16 15:27:08 -04:00
Rob Rix
243fb331fc Fix stale references to inj in the tests. 2018-05-02 15:55:10 -04:00
Rob Rix
152fe6a6a8 Fix the ambiguity around Sum. 2018-05-02 13:14:51 -04:00
Rob Rix
ebc8e01cc4 Use our own local definition of Sum. 2018-05-02 12:00:15 -04:00
joshvera
fdfca338f5 unused constraint 2018-03-22 13:07:32 -04:00
Patrick Thomson
da2a3fc7a8 Initial pass fixing errors raised by weeder.
This fixes a lot of unnecessary exports in the specs, removes a couple
otiose imports (comonads and semigroups are provided by base, I beleive),
and removes a duplicated function.
2018-03-09 12:07:34 -05:00
Timothy Clem
24a470ba7a FreeVariable Name as NonEmpty List 2018-03-08 09:34:09 -08:00
Timothy Clem
835e8f5980 Major updates to identifiers: free variables can be qualified names
(break all the tests too 😁)
2018-03-07 17:01:47 -08:00
Rob Rix
a112fca6f3 Merge branch 'master' into 🔥-monolithic-syntax 2017-12-18 15:07:00 -05:00
Rick Winfrey
d649a514af Update tests 2017-12-01 13:36:38 -08:00
Rick Winfrey
df52854ef0 Merge branch 'master' into cyclomatic-complexity-decorator 2017-12-01 11:23:15 -08:00
Rob Rix
ecfd121575 Merge branch 'master' into 🔥-monolithic-syntax 2017-12-01 12:28:19 -05:00
Rob Rix
4ccf265c4e Opt the tests into using record syntax. 2017-11-30 11:12:23 -05:00
Rob Rix
2bbd4e7a49 Test that derived & generic showsPrec agree for infix constructors. 2017-11-30 10:47:53 -05:00
Rob Rix
6ce7ba6b2a Rename the record test. 2017-11-30 10:45:52 -05:00
Rob Rix
517843b603 Test that generic Show1 shows record selectors. 2017-11-30 10:44:32 -05:00
Rob Rix
4b928a6c4e Test that derived & generic showsPrec agree. 2017-11-30 10:41:26 -05:00
Rob Rix
221a88f452 Test that derived & generic equality agree. 2017-11-30 10:38:46 -05:00
Rob Rix
67f251e223 Combine the generic Eq1, Ord1, & Show1 implementations into a single module. 2017-11-30 10:24:48 -05:00
Rob Rix
f1c4b58797 Merge branch 'musical-modules' into 🔥-monolithic-syntax 2017-11-28 11:59:38 -05:00
Rob Rix
41020b7eae Extract the Declaration algebras into a new module. 2017-11-28 09:17:41 -05:00
Rob Rix
87d533cc2b Rename Language to Data.Language. 2017-11-27 14:17:48 -05:00
Rob Rix
3a3ed72f96 Rename Renderer to Rendering.Renderer. 2017-11-27 13:30:38 -05:00
Rob Rix
bb21a24a93 Rename RWS to Diffing.Algorithm.RWS. 2017-11-27 11:51:39 -05:00
Rob Rix
99c7b5ac6e Merge branch 'master' into 🔥-monolithic-syntax 2017-11-21 12:37:45 -05:00
Timothy Clem
1c701f9775 Merge remote-tracking branch 'origin/master' into generate-tags-with-context 2017-10-27 11:33:09 -07:00
Timothy Clem
957448518d Pass language around for easy use later 2017-10-27 11:16:05 -07:00
Timothy Clem
6ad5700116 Refactor renderToTags to not go through JSONSummary 2017-10-27 10:18:21 -07:00
Rob Rix
9c1dce7ab9 🔥 the Context/Empty Listable instances. 2017-10-23 11:53:42 -04:00
Rob Rix
8245e337ce Define a Listable instance for Union. 2017-10-23 10:36:53 -04:00
Rob Rix
0184f57713 Define Listable instances for Context & Empty. 2017-10-23 10:32:32 -04:00
joshvera
2f26a09905 fix tests 2017-10-19 21:32:27 -04:00
Rick Winfrey
2dad14e33e Add Listable instance for CyclomaticComplexity 2017-10-16 14:24:49 -07:00
Rob Rix
44fafdbd9a Define a Listable instance for Unions. 2017-10-10 13:10:57 -04:00
Rob Rix
ac5e0b3e9f 🔥 the Listable instances for Category & Syntax. 2017-10-10 13:00:26 -04:00
Rob Rix
b85aa53af9 Spacing. 2017-10-03 09:29:15 -04:00
Rob Rix
ac3646f925 Test that genericLiftCompare gives equivalent behaviour to compare for recursive types. 2017-10-03 09:29:06 -04:00
Rob Rix
5a024b40f7 Test that genericLiftCompare gives equivalent behaviour to compare for sum types. 2017-10-03 09:25:39 -04:00
Rob Rix
7e034fa4c1 Test that genericLiftCompare gives equivalent behaviour to compare for product types. 2017-10-03 09:23:44 -04:00
Rob Rix
6f4539cdce Stub in a module for generically-implemented Ord1 specs. 2017-10-03 09:15:45 -04:00
joshvera
b3667104fb Merge remote-tracking branch 'origin/master' into typescript-assignment 2017-09-28 14:24:57 -07:00
Rob Rix
b31043a3eb Rename the Diff module to Data.Diff. 2017-09-27 12:41:41 -04:00
Rob Rix
9bd0b02ac9 Rename the Term module to Data.Term. 2017-09-27 12:37:37 -04:00
Rob Rix
e8b7e89dca Rename the Patch module to Data.Patch. 2017-09-27 12:29:07 -04:00
Rob Rix
01e8e1725f Move the listable Syntax synonym into Data.Functor.Listable. 2017-09-26 09:48:59 -04:00
Rob Rix
8e674538e3 Define Listable1 instances for Functions & Methods. 2017-09-25 19:25:14 -04:00
Rob Rix
f274a9dd7d Define a Listable1 instance for Context. 2017-09-25 19:20:01 -04:00