libcspm-0.1.2: A library providing a parser, type checker and evaluator for CSPM.




cartesianProduct :: ([Value] -> Value) -> [ValueSet] -> ValueSetSource

Produces a ValueSet of the carteisan product of several ValueSets, using vc to convert each sequence of values into a single value.

powerset :: ValueSet -> ValueSetSource

Returns the powerset of a ValueSet. This requires

allSequences :: ValueSet -> ValueSetSource

Returns the set of all sequences over the input set

emptySet :: ValueSetSource

The empty set

fromList :: [Value] -> ValueSetSource

Converts a list to a set

toList :: ValueSet -> [Value]Source

Converts a set to list.

singletonValue :: ValueSet -> Maybe ValueSource

Returns the value iff the set contains one item only