1
1
mirror of https://github.com/github/semantic.git synced 2024-12-24 15:35:14 +03:00

Move the Open synonym to Evaluator.

This commit is contained in:
Rob Rix 2018-09-20 13:02:00 -04:00
parent 9f4e278b1a
commit 8b41c2bdfb
2 changed files with 5 additions and 3 deletions

View File

@ -1,6 +1,7 @@
{-# LANGUAGE GeneralizedNewtypeDeriving, TypeOperators #-} {-# LANGUAGE GeneralizedNewtypeDeriving, TypeOperators #-}
module Control.Abstract.Evaluator module Control.Abstract.Evaluator
( Evaluator(..) ( Evaluator(..)
, Open
-- * Effects -- * Effects
, Return(..) , Return(..)
, earlyReturn , earlyReturn
@ -37,6 +38,10 @@ newtype Evaluator term address value effects a = Evaluator { runEvaluator :: Eff
deriving instance Member NonDet effects => Alternative (Evaluator term address value effects) deriving instance Member NonDet effects => Alternative (Evaluator term address value effects)
deriving instance Member (Lift IO) effects => MonadIO (Evaluator term address value effects) deriving instance Member (Lift IO) effects => MonadIO (Evaluator term address value effects)
type Open a = a -> a
-- Effects -- Effects
-- | An effect for explicitly returning out of a function/method body. -- | An effect for explicitly returning out of a function/method body.

View File

@ -6,7 +6,6 @@ module Data.Abstract.Evaluatable
, ValueEffects , ValueEffects
, evaluate , evaluate
, traceResolve , traceResolve
, Open
-- * Preludes -- * Preludes
, HasPrelude(..) , HasPrelude(..)
-- * Postludes -- * Postludes
@ -97,8 +96,6 @@ type ValueEffects address value rest
': Boolean value ': Boolean value
': rest ': rest
type Open a = a -> a
evaluate :: ( AbstractValue address value valueEffects evaluate :: ( AbstractValue address value valueEffects
, Declarations term , Declarations term
, Effects effects , Effects effects