github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-02 20:41:38 +03:00
Code Issues Projects Releases Wiki Activity

Factor NonEmpty out of LoadOrder.

Browse Source 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
This commit is contained in:
Rob Rix 2018-06-15 14:12:55 -04:00
parent 0d3bec92ad
commit 3b2cb5c0fd
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -62,10 +62,10 @@ class Show1 constr => Evaluatable constr where
data LoadOrder a b
= Done (NonEmpty b)
| Load (NonEmpty a) (NonEmpty b -> LoadOrder a b)
= Done b
| Load a (b -> LoadOrder a b)
evaluate :: LoadOrder (Module term) (Module (address, Environment address))
evaluate :: LoadOrder (NonEmpty (Module term)) (NonEmpty (Module (address, Environment address)))
-> Eff effects (NonEmpty (Module (address, Environment address)))
evaluate (Done results) = pure results