libcspm-0.1: src/CSPM/Evaluator/Expr.hs-boot

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