github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-04 21:47:07 +03:00
Code Issues Projects Releases Wiki Activity

Define an Eval newtype.

Browse Source
This commit is contained in:
Rob Rix 2018-05-23 15:01:58 -04:00
parent 108068f7f8
commit 47dd98970a
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Control/Abstract/Value.hs
View File

@ -1,4 +1,4 @@
{-# LANGUAGE GADTs, Rank2Types, ScopedTypeVariables, TypeOperators #-}
{-# LANGUAGE GADTs, GeneralizedNewtypeDeriving, Rank2Types, ScopedTypeVariables, TypeOperators #-}
module Control.Abstract.Value
( AbstractValue(..)
, AbstractFunction(..)
@ -80,6 +80,10 @@ prog b = do
identity <- lambda' variable'
iff b unit' (call' identity [unit'])
newtype Eval location effects a = Eval { runEval :: Eff effects a }
deriving (Applicative, Effectful, Functor, Monad)
builtinId :: (Effectful m, Members '[Fresh, Function (m effects) value, Variable value] effects, Monad (m effects))
=> m effects value