From 1cc91b78dcc7982eb52e9f5b3c0f8fd6f289211e Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Wed, 21 Mar 2018 19:46:03 -0400 Subject: [PATCH] :fire: evaluate. --- src/Analysis/Abstract/Evaluating.hs | 16 ---------------- 1 file changed, 16 deletions(-) diff --git a/src/Analysis/Abstract/Evaluating.hs b/src/Analysis/Abstract/Evaluating.hs index 066d8b91e..b5f596842 100644 --- a/src/Analysis/Abstract/Evaluating.hs +++ b/src/Analysis/Abstract/Evaluating.hs @@ -1,7 +1,6 @@ {-# LANGUAGE DataKinds, GeneralizedNewtypeDeriving, MultiParamTypeClasses, ScopedTypeVariables, StandaloneDeriving, TypeApplications, TypeFamilies, TypeOperators, UndecidableInstances #-} module Analysis.Abstract.Evaluating ( type Evaluating -, evaluate ) where import Control.Abstract.Evaluator @@ -19,21 +18,6 @@ import qualified Data.IntMap as IntMap import Prelude hiding (fail) import Prologue --- | Evaluate a term to a value. -evaluate :: forall value term effects - . ( effects ~ RequiredEffects term value (Evaluating term value effects) - , Evaluatable (Base term) - , FreeVariables term - , MonadAddressable (LocationFor value) value (Evaluating term value effects) - , MonadValue value (Evaluating term value effects) - , Recursive term - , Show (LocationFor value) - ) - => term - -> Final effects value -evaluate = runAnalysis @(Evaluating term value) . evaluateModule - - -- | An analysis evaluating @term@s to @value@s with a list of @effects@ using 'Evaluatable', and producing incremental results of type @a@. newtype Evaluating term value effects a = Evaluating (Eff effects a) deriving (Applicative, Functor, Effectful, Monad)