github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-25 07:55:12 +03:00
Code Issues Projects Releases Wiki Activity

Spike out a candidate implementation of embedEval.

Browse Source
This commit is contained in:
Rob Rix 2018-05-24 11:02:26 -04:00
parent 3bf6074f6e
commit 37f7aa8ff8
2 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
semantic.cabal
View File

@ -203,6 +203,7 @@ library
, pretty-show
, recursion-schemes
, reducers
, reflection
, scientific
, semigroupoids
, split

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

@ -28,6 +28,7 @@ import Data.Abstract.Name
import Data.Abstract.Number as Number
import Data.Abstract.Ref
import qualified Data.Map as Map
import Data.Reflection
import Data.Scientific (Scientific)
import Data.Semigroup.Reducer hiding (unit)
import Data.Semilattice.Lower
@ -138,6 +139,13 @@ unembedEval = undefined
embedEval :: Eval location value opaque effects a -> Eval location value opaque effects (opaque a)
embedEval = undefined
newtype EmbedEval opaque effects = EmbedEval { runEmbedEval :: forall a . Eff effects a -> opaque a }
embedEval' :: forall location value opaque effects a . (Member (Reader (Proxy opaque)) effects, Reifies opaque (EmbedEval opaque effects)) => Eval location value opaque effects a -> Eval location value opaque effects (opaque a)
embedEval' action = do
proxy <- ask @(Proxy opaque)
pure (runEmbedEval (reflect proxy) (lowerEff action))
variable' :: Member (Variable value) effects => Name -> Eval location value opaque effects value
variable' = send . Variable