module CSPM.Evaluator.Expr where

import CSPM.DataStructures.Syntax
import CSPM.Evaluator.Monad
import CSPM.Evaluator.Values
import CSPM.Evaluator.ValueSet
import Util.Annotated

class Evaluatable a where
    eval :: a -> EvaluationMonad Value
    
instance Evaluatable a => Evaluatable (Annotated b a)
instance Evaluatable Exp