ValueSet.hs-boot

module CSPM.Evaluator.ValueSet where

import {-# SOURCE #-} CSPM.Evaluator.Values
import Util.PrettyPrint

data ValueSet

instance Eq ValueSet
instance Ord ValueSet
instance PrettyPrintable ValueSet

toList :: ValueSet -> [Value]
fromList :: [Value] -> ValueSet
cartesianProduct :: ([Value] -> Value) -> [ValueSet] -> ValueSet
compareValueSets :: ValueSet -> ValueSet -> Maybe Ordering