github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-03 04:51:57 +03:00
Code Issues Projects Releases Wiki Activity
18,501 Commits 19 Branches 16 Tags 46 MiB
db751ae06b
Commit Graph

18501 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Rob Rix
f99972622a Define a local modifier for the module evaluator table. 2018-02-28 10:57:38 -05:00
Rob Rix
48389d716b Define a getter for the module evaluator table. 2018-02-28 10:50:02 -05:00
Rob Rix
d624686807 Define a modifier for the module table. 2018-02-28 10:48:55 -05:00
Rob Rix
3f1db36e64 Define a getter for the module table. 2018-02-28 10:48:21 -05:00
Rob Rix
df4b54ed11 Add the linker effects to Evaluator. 2018-02-28 10:47:13 -05:00
Rob Rix
a78089032e Define a modifier for the store. 2018-02-28 10:42:39 -05:00
Rob Rix
93ad93e55c Define a getter for the store. 2018-02-28 10:42:34 -05:00
Rob Rix
6ad1d024f2 Define local modification to the environment. 2018-02-28 10:42:27 -05:00
Rob Rix
55a2b3f8dc Define a getter for the local environment. 2018-02-28 10:42:10 -05:00
Rob Rix
c092e9033c Define a modifier for the global environment. 2018-02-28 10:41:59 -05:00
Rob Rix
37912b315a Define a getter for the global environment. 2018-02-28 10:41:51 -05:00
Rob Rix
772fd97b38 Define a MonadFresh instance for Evaluator. 2018-02-28 10:41:38 -05:00
Rob Rix
b9ac2858ec Define a MonadFail instance for Evaluator. 2018-02-28 10:41:28 -05:00
Rob Rix
57f478a5ac Define a Monad instance for Evaluator. 2018-02-28 10:41:17 -05:00
Rob Rix
93c8562adb Define an Alternative instance for Evaluator. 2018-02-28 10:41:06 -05:00
Rob Rix
0f52481729 Define an Applicative instance for Evaluator. 2018-02-28 10:40:50 -05:00
Rob Rix
054b4d5bc2 Define a Functor instance for Evaluator. 2018-02-28 10:40:41 -05:00
Rob Rix
d9ddce8b5e Define an Evaluator datatype. 2018-02-28 10:40:07 -05:00
Rob Rix
d1350fa43a Stub in a module defining evaluators. 2018-02-28 10:21:16 -05:00
Rob Rix
781c80e34e 🔥 some redundant Show constraints. 2018-02-28 09:41:36 -05:00
Rob Rix
984cd782d8 Explicitly list the Data.Abstract.Value exports. 2018-02-28 09:28:12 -05:00
joshvera
766f960e91 Add some more modules 
Control.Exception
Don't import all of Data.Monoid newtypes
 2018-02-27 18:13:25 -05:00
joshvera
dec2f2b22e Add more modules 
MonadError
GHC.Stack
Data.Hashable
Data.These
Data.Functor.Classes.Generic
Data.Traversable
Control.Arrow
Both
GAlign
Mergeable
Bifoldable
Bitraversable
 2018-02-27 17:43:50 -05:00
Rob Rix
463f2a4ae9 Remove redundant constraints from the Evaluatable instance for []. 2018-02-27 17:23:02 -05:00
Rob Rix
b6e7163c5b Generalize the Evaluatable instance to Call over the value type. 2018-02-27 17:19:00 -05:00
Rob Rix
1a795af3b6 Abstract application into AbstractFunction. 2018-02-27 17:17:06 -05:00
Rob Rix
7a648c1625 Generalize the Evaluatable instance for Declaration.Method. 2018-02-27 16:56:03 -05:00
Rob Rix
f44f32c883 Generalize the Evaluatable instance for Declaration.Function to any value type. 2018-02-27 16:55:09 -05:00
Rob Rix
7a8466c695 Use AbstractFunction to evaluate Declaration.Function. 2018-02-27 16:51:44 -05:00