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
18,627 Commits 19 Branches 16 Tags 46 MiB
a86921e63b
Commit Graph

18627 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Rob Rix
8003abbcd9 Note a FIXME in AbstractFunction. 2018-02-27 16:51:13 -05:00
Rob Rix
09288fa4fd Abstraction uses Subterm. 2018-02-27 16:50:12 -05:00
Rob Rix
518848a6e8 Abstract abstraction. 2018-02-27 16:48:08 -05:00
Rob Rix
898c80a9b9 🔥 a redundant AbstractValue constraint. 2018-02-27 16:40:34 -05:00
joshvera
0bb2866a83 Add MonadFail to Prologue 2018-02-27 16:33:47 -05:00
joshvera
1d63dff0e8 Import Prologue in Assignment.Table 2018-02-27 16:14:29 -05:00
Rob Rix
9ef5d8d234 Move the AbstractValue constraint into Evaluatable. 2018-02-27 16:13:22 -05:00
Rob Rix
8a0e203aef Rename es to effects. 2018-02-27 16:11:19 -05:00
Rob Rix
08df6a2f46 Rename v to value. 2018-02-27 16:11:00 -05:00
Rob Rix
f8a2d24ab2 Parameterize AbstractValue by the term type. 2018-02-27 16:09:13 -05:00
Rob Rix
41a441648a Parameterize Type by the term type. 2018-02-27 16:07:18 -05:00
Rob Rix
d67fed1201 Move the FreeVariables constraint into Evaluatable. 2018-02-27 14:41:56 -05:00
Rob Rix
23f45dafc4 Destructure on the rhs. 2018-02-27 12:28:41 -05:00
Rob Rix
3b6e23974e Merge branch 'master' into algebraic-evaluation 2018-02-27 12:27:09 -05:00
joshvera
8f33a03b45 Add Algebra, Bifunctor, and ByteString to Prologue 2018-02-27 12:15:03 -05:00
joshvera
8ddaaa9d92 Add Foldable and NonEmpty to Prologue 2018-02-27 12:08:13 -05:00
joshvera
89914a3556 Stub out a Prologue with an implicit prelude 2018-02-27 12:04:05 -05:00
Timothy Clem
ddde99b33a Merge pull request #1506 from github/eval-effect 
Evaluate imports and major refactor to embrace Effects and streamline s/Eval/Evaluatable
 2018-02-27 08:55:08 -08:00
Rob Rix
4f5250bc95 Merge branch 'eval-effect' into algebraic-evaluation 2018-02-27 11:53:22 -05:00
Timothy Clem
87df66b2ba Merge branch 'master' into eval-effect 2018-02-27 08:49:43 -08:00
Timothy Clem
8903fbbecf Remove micro Ruby/Python 2018-02-27 08:23:13 -08:00
Rob Rix
0a18beb177 Merge branch 'algebraic-evaluation' into closures-embed-actions 2018-02-27 11:21:02 -05:00
Rob Rix
6229b3cab3 eval is a SubtermAlgebra. 2018-02-27 11:02:00 -05:00
Rob Rix
038d3ac683 📝 foldSubterms. 2018-02-27 10:55:36 -05:00
Rob Rix
c8d1ab596b Define a foldSubterms recursion scheme. 2018-02-27 10:54:59 -05:00