github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 08:54:14 +03:00
Code Issues Projects Releases Wiki Activity
18,569 Commits 19 Branches 16 Tags 46 MiB
25e5af382e
Commit Graph

18569 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Timothy Clem
841f68816e Revert "Removing holding onto val in Interface" 
This reverts commit 948cf97aea91b0a122e4e2801348415d9aea1d42.
 2018-02-27 07:54:30 -08:00
Rob Rix
7142a35387 📝 Subterm. 2018-02-27 10:52:38 -05:00
Rob Rix
2f7194447b 📝 SubtermAlgebra. 2018-02-27 10:52:32 -05:00
Rob Rix
d5575078f2 Define a SubtermAlgebra type synonym. 2018-02-27 10:51:52 -05:00
Rob Rix
76e34bb422 Define a Subterm datatype. 2018-02-27 10:51:13 -05:00
joshvera
256f3ebea4 Add Prologue 2018-02-27 10:37:09 -05:00
Rob Rix
9c37a0e0bc Note some FIXMEs. 2018-02-27 09:50:01 -05:00
Rob Rix
77bc705fd0 Simplify how we evaluate program nodes. 2018-02-27 09:45:36 -05:00