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

Little bit of cleanup to step

Browse Source
This commit is contained in:
Timothy Clem 2018-02-23 14:29:13 -08:00
parent 3772c1dde6
commit 2414184231
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Control/Monad/Effect/Evaluatable.hs
View File

@ -3,7 +3,6 @@
module Control.Monad.Effect.Evaluatable
( Evaluatable(..)
, step
, Linker
, Recursive(..)
, Base
) where
@ -14,7 +13,6 @@ import Control.Monad.Effect.Reader
import Control.Monad.Effect.State
import Data.Abstract.Environment
import Data.Abstract.FreeVariables
import Data.Abstract.Linker
import Data.Abstract.Value
import Data.Functor.Classes
import Data.Functor.Foldable (Base, Recursive(..), project)
@ -40,7 +38,8 @@ instance (Evaluatable es t v s) => Evaluatable es t v (TermF s a) where
eval In{..} = eval termFOut
-- | Evaluate by first projecting a term to recurse one level.
step :: forall v term es. (Evaluatable es term v (Base term), Recursive term) => term -> Eff es v
step :: forall v term es. (Evaluatable es term v (Base term), Recursive term)
=> term -> Eff es v
step = eval . project