github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-21 22:01:46 +03:00
Code Issues Projects Releases Wiki Activity

Stub in an evaluate function mapping modules to results.

Browse Source
This commit is contained in:
Rob Rix 2018-06-15 14:05:36 -04:00
parent 327a3387d9
commit 0d3bec92ad
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Data/Abstract/Evaluatable.hs
View File

@ -65,6 +65,10 @@ data LoadOrder a b
= Done (NonEmpty b)
| Load (NonEmpty a) (NonEmpty b -> LoadOrder a b)
evaluate :: LoadOrder (Module term) (Module (address, Environment address))
-> Eff effects (NonEmpty (Module (address, Environment address)))
evaluate (Done results) = pure results
-- | Evaluate a given package.
evaluatePackageWith :: forall address term value inner inner' inner'' outer
. ( AbstractValue address value inner