github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-25 16:02:43 +03:00
Code Issues Projects Releases Wiki Activity
18,631 Commits 19 Branches 16 Tags 46 MiB
b2b29974d6
Commit Graph

18631 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
6fe72ffecb Re-add Control.Monad.Effect.Fresh to the exported modules. 2018-03-01 12:05:15 -05:00
Rob Rix
f05f0951f0 Rename MonadFunctionAbstraction to MonadFunction. 2018-03-01 12:01:36 -05:00
Rob Rix
dfea82f776 Stub in a Control.Abstract.Function module. 2018-03-01 12:00:16 -05:00
Rob Rix
d8540f9e4c Consolidate the Evaluatable module’s exports. 2018-03-01 11:59:23 -05:00
Rob Rix
c0b2bd1c8a Rename Control.Monad.Effect.Evaluatable to Data.Abstract.Evaluatable. 2018-03-01 11:54:05 -05:00
Josh Vera
cc06b848bb Merge pull request #1508 from github/rename-semantic 
Rename the project to semantic
 2018-03-01 11:50:38 -05:00
Rob Rix
ecd81878fc Rename Control.Monad.Effect.Addressable to Control.Abstract.Addressable. 2018-03-01 11:50:38 -05:00
Rob Rix
b9b90f28fa Give separate headings for general Data.* and Data.Abstract.*. 2018-03-01 11:47:21 -05:00
Rob Rix
b41a9d9d2b Rename Analysis.Abstract.Evaluator to Control.Abstract.Evaluator. 2018-03-01 11:46:32 -05:00
Josh Vera
aa79af7b8c Merge branch 'master' into rename-semantic 2018-03-01 11:41:07 -05:00
Rob Rix
4c79afece2 Correct some indentation. 2018-03-01 11:36:02 -05:00
Rob Rix
1aff7df28a Inline the allocPrecise binding. 2018-03-01 11:35:44 -05:00
Rob Rix
f18f63019a Abstract require over the evaluator type. 2018-03-01 11:33:53 -05:00
Rob Rix
3effc5df07 Abstract load over the evaluator type. 2018-03-01 11:33:32 -05:00
Rob Rix
c3ee31c4fc Generalize the MonadFunctionAbstraction instance for Value over the evaluator type. 2018-03-01 11:32:14 -05:00
Rob Rix
77e79737fe Abstract Evaluatable over the evaluator type. 2018-03-01 11:31:08 -05:00
Rob Rix
4d5969a077 Abstract evaluation under binders over the evaluator type. 2018-03-01 11:28:05 -05:00
Rob Rix
b25c9e6cd3 Move the AbstractValue constraint onto evaluation. 2018-03-01 11:18:53 -05:00
Rob Rix
06d24471f3 Abstract Addressable over the evaluator. 2018-03-01 11:14:30 -05:00
Rob Rix
590374884b MonadEvaluator is a subclass of Monad. 2018-03-01 11:00:21 -05:00
Rob Rix
58b7c88b33 Define a MonadEvaluator typeclass abstracting the Evaluator type. 2018-03-01 10:59:55 -05:00
joshvera
41a538d7e1 Merge remote-tracking branch 'origin/master' into rename-semantic 2018-03-01 10:16:35 -05:00
Rob Rix
cec9e584e2 🔥 some commented-out imports. 2018-03-01 10:16:20 -05:00
Rob Rix
9cedb403bd 🔥 redundant imports. 2018-03-01 10:03:45 -05:00
Rob Rix
8c51acec71 Reformat the context for the AbstractFunction instance for values. 2018-03-01 10:02:58 -05:00
Rob Rix
9192a35b06 Merge branch 'eval-effect' into algebraic-evaluation 2018-03-01 09:56:12 -05:00
Rob Rix
6245e30c1c Revert "Abstract over the top-level analysis." 
This reverts commit d6d2a3d23ce3de9a4c2578e105bf6a096443eb7d.
 2018-03-01 09:41:42 -05:00
Rob Rix
05c78f6aea Abstract over the top-level analysis. 2018-03-01 09:41:38 -05:00
Josh Vera
553e8ae700 Merge pull request #1511 from github/prologue 
Bring back Prologue
 2018-02-28 15:45:58 -05:00
joshvera
83e2ba56e5 Merge remote-tracking branch 'origin/master' into prologue 2018-02-28 15:30:42 -05:00
joshvera
367cfc4f5c Remove Control.Monad.Effect.Store 2018-02-28 15:30:17 -05:00
joshvera
9aed1b5516 bring back ws 2018-02-28 15:30:17 -05:00
joshvera
c58f21ad81 Rename Assignment.Table toList to toPairs 2018-02-28 15:30:17 -05:00
Rob Rix
a485c48ed6 Merge pull request #1510 from github/algebraic-evaluation 
Algebraic evaluation
 2018-02-28 14:53:58 -05:00
Rob Rix
3bdb7df2c2 Merge branch 'master' into algebraic-evaluation 2018-02-28 14:47:04 -05:00
Rob Rix
244f4722b6 🔥 a redundant import. 2018-02-28 14:29:28 -05:00
Rob Rix
0d62ca76f7 🔥 redundant Ord constraints. 2018-02-28 14:28:21 -05:00
Rob Rix
e0f5e3693c Simplify the default instance. 2018-02-28 14:20:57 -05:00
Rob Rix
6501431dea 🔥 the effect list parameter from Evaluatable. 2018-02-28 14:14:45 -05:00
Rob Rix
e8cecb4e5f Evaluator is a newtype. 2018-02-28 14:09:29 -05:00
Rob Rix
7198c506be Evaluate in terms of Evaluator. 2018-02-28 14:09:06 -05:00
Rob Rix
965053dba1 The module table holds terms, not evaluators. 2018-02-28 14:01:40 -05:00
Josh Vera
786c92d94a Merge branch 'master' into prologue 2018-02-28 12:36:29 -05:00
joshvera
383fbf747b Merge remote-tracking branch 'origin/master' into prologue 2018-02-28 12:19:06 -05:00
Patrick Thomson
17223e058a Merge pull request #1513 from github/haddock-fixes 
Comment fixes to ensure `stack haddock` works.
 2018-02-28 09:15:02 -08:00
Patrick Thomson
7652d2f4a0 Keep the => on the subsequent line. 2018-02-28 09:07:56 -08:00
Patrick Thomson
7df92c2828 Comment fixes to ensure stack haddock works. 
There were a couple of typeclasses that were bamboozling the Haddock
parser. I was able to fix `subalgorithmFor`, but the vaguaries of
per-argument comments in type families appear to have escaped me—if
you can figure out how to get them picked up in the definition of
AssignmentParser, shout. I tried it all the ways I could think of and
came up empty.

But now we have nice Haddocks, which are intensely helpful!
 2018-02-28 09:03:41 -08:00
joshvera
654bbd26d6 Hide unless and when 2018-02-28 11:46:42 -05:00
joshvera
e2d30b286c sort 2018-02-28 11:33:24 -05:00
joshvera
9963f4a2b0 expose Monoid typeclass 2018-02-28 11:27:25 -05:00