github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 14:21:31 +03:00
Code Issues Projects Releases Wiki Activity
26,090 Commits 19 Branches 16 Tags 46 MiB
945ab01275
Commit Graph

26090 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
277b7ad906 handleCoercible. 2018-10-24 15:16:50 -04:00
Rob Rix
676b5b5105 🔥 some redundant parens. 2018-10-24 15:16:30 -04:00
Rob Rix
d559aa1162 Use uncurry. 2018-10-24 15:09:34 -04:00
Rob Rix
8c4853eb9b Use LambdaCase for the Modules handler. 2018-10-24 15:08:58 -04:00
Rob Rix
254e20e831 Ignore a hint that doesn’t work. 2018-10-24 15:07:23 -04:00
Rob Rix
131cae4d7b Merge branch 'master' into higher-order-effects 2018-10-24 14:04:13 -04:00
Patrick Thomson
58067a17c1 Merge pull request #2232 from github/split-up-semantic-io 
Split up Semantic.IO.
 2018-10-24 13:15:49 -04:00
Rob Rix
2216fcc44a Effect, not carrier. 
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
 2018-10-24 12:40:17 -04:00
Rob Rix
41d206b9fa Eavesdrop in evaluate. 
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
 2018-10-24 12:39:53 -04:00
Rob Rix
8edc379c31 Use Eavesdrop from the library. 
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
 2018-10-24 12:39:45 -04:00
Rob Rix
c03b7ecabd Bump higher-order-effects for Eavesdrop. 
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
 2018-10-24 12:39:24 -04:00
Rob Rix
15a8917c84 Simplify the FunctionC carrier instances. 2018-10-24 11:00:54 -04:00
Rob Rix
83ac081cec SomeError. 2018-10-24 10:32:05 -04:00
Rob Rix
25b2c3c4e9 Encapsulate the state effects inside EnvC. 2018-10-24 10:21:29 -04:00
Rob Rix
bff13c7272 Parameterize EnvC by the address type. 2018-10-24 10:14:04 -04:00
Rob Rix
512415db6a Fix the import of SomeError. 2018-10-24 10:11:27 -04:00
Rob Rix
b6252f82f5 SomeError, not SomeExc. 2018-10-24 10:11:18 -04:00
Rob Rix
90338e92fc Update the TOC spec for the new effect system. 2018-10-24 10:09:57 -04:00
Rob Rix
ee1491ab51 Fix namespaceScope. 2018-10-24 10:06:22 -04:00
Rob Rix
090a395bb6 Fix up the carrier type. 2018-10-24 10:05:22 -04:00
Rob Rix
fd1cc7d8cd Fix some other handlers. 2018-10-24 10:01:55 -04:00
Rob Rix
780d0a478b Rename the carrier. 2018-10-24 10:01:49 -04:00
Rob Rix
46ca8ac121 Fix a bunch of handlers. 2018-10-24 09:59:57 -04:00
Rob Rix
de9e610a2f Correct the name of the Trace carrier. 2018-10-24 09:58:35 -04:00
Rob Rix
ce37fd58f1 Fix some imports. 2018-10-24 09:58:06 -04:00
Rob Rix
647f960c26 Fix SpecEff. 2018-10-24 09:47:24 -04:00
Rob Rix
739426de50 Fix a couple of handlers. 2018-10-24 09:47:14 -04:00
Rick Winfrey
49ffd509f3 Revert "Update licenses" 
This reverts commit 89b007219c1ed275138604c8df7d8b95c88c60f0.
 2018-10-23 17:15:15 -07:00
Rick Winfrey
4defc29197 Update licenses 2018-10-23 16:54:24 -07:00
Rob Rix
9c390c57ee Prune empty branches. 2018-10-23 17:00:53 -04:00
Rob Rix
b858c1db2a Specialize the Traversable instance for B. 2018-10-23 16:51:04 -04:00
Rob Rix
1fccee5d67 Reorder the B constructors. 2018-10-23 16:49:18 -04:00
Rob Rix
81c18a860d Specialize null for B. 2018-10-23 16:48:56 -04:00
Rob Rix
1912fa20c1 Specialize toList for B. 2018-10-23 16:48:19 -04:00
Rob Rix
44f604bb0d Specialize the Foldable instance for B. 2018-10-23 16:48:10 -04:00
Rob Rix
03b76df474 Run nondeterminism to B, and then produce a list from that. 2018-10-23 16:47:52 -04:00
Rob Rix
2cb955e0dc Define a Monad instance for B. 2018-10-23 16:47:11 -04:00
Rob Rix
a7902aeb06 Define an Alternative instance for B. 2018-10-23 16:47:03 -04:00
Rob Rix
60f26ae160 Define an Applicative instance for B. 2018-10-23 16:46:20 -04:00
Rob Rix
448c6e03ec Define a binary tree datatype. 2018-10-23 16:46:06 -04:00
Rob Rix
88a116cedc 🔥 the demotes. 2018-10-23 15:50:42 -04:00
Rob Rix
a18410cb0b Promote ret from the underlying carrier. 2018-10-23 15:49:59 -04:00
Patrick Thomson
9e2ea1101d stray LANGUAGE pragma 2018-10-23 15:46:02 -04:00
Rick Winfrey
0aeb7c6b29 Merge branch 'master' into ci-updates 2018-10-23 12:44:52 -07:00
Patrick Thomson
ef696d3c41 Split up Semantic.IO. 
This looks like a big patch, but it's very straightforward: no
behavior has changed.

After the umpteenth time spent hitting a compile error because I
passed a `FilePath` rather than a `File` to `readBlobFromPath`, I
decided to finally make the needed refactors to Semantic.IO, and to
split off the `File` type and `Files` effect. This patch:

* adds the `MonadIO` class to `Prologue`'s export list
* moves `File` into `Data.File`
* moves `Handle` into `Data.Handle`
* moves `Files` into `Semantic.Task.Files`
* moves functions for reading blobs into `Data.Blob`
* keeps general IO helpers in Semantic.IO
* renames `readFile` to `readBlobFromFile`
* renames `readBlobFromPath` to `readBlobFromFile'`

This should have a positive effect on compile times and ease of
navigation throughout the codebase.
 2018-10-23 15:37:49 -04:00
Rob Rix
94422728eb 🔥 a pointless case. 2018-10-23 15:23:01 -04:00
Rob Rix
40c51dfeb8 Export TaskEff again. 2018-10-23 15:05:45 -04:00
Rob Rix
f019efd845 modify is already strict. 2018-10-23 12:21:21 -04:00
Rob Rix
655b961f86 Correct the Trace handler. 2018-10-23 12:21:02 -04:00
Rob Rix
6d9f08f0d0 Raise the handlers. 2018-10-23 12:19:59 -04:00