IOTasks

Safe Haskell	None

Test.IOTasks.ValueSet

Synopsis

data ValueSet a
empty :: ValueSet a
complete :: ValueSet a
singleton :: Integer -> ValueSet Integer
fromList :: [Integer] -> ValueSet Integer
union :: ValueSet a -> ValueSet a -> ValueSet a
intersection :: ValueSet a -> ValueSet a -> ValueSet a
lessThan :: Integer -> ValueSet Integer
greaterThan :: Integer -> ValueSet Integer
(\\) :: ValueSet Integer -> ValueSet Integer -> ValueSet Integer
with :: ValueSet Integer -> Integer -> ValueSet Integer
without :: ValueSet Integer -> Integer -> ValueSet Integer
complement :: ValueSet a -> ValueSet a
unique :: ValueSet a -> ValueSet a
notInVar :: ValueSet a -> Var a -> ValueSet a
embed :: Embeddable a => ValueSet Integer -> ValueSet (Embedded a)
embedFromList :: Embeddable a => [a] -> ValueSet (Embedded a)
isEmpty :: Var Integer -> Map SomeVar [AST] -> ValueSet Integer -> IO Bool
containsValue :: Var a -> ValueMap -> ValueSet a -> a -> Bool
initiallyContainsValue :: ValueSet Integer -> Integer -> Bool
showValueSet :: Typeable a => ValueSet a -> String
valueOf :: Var a -> ValueMap -> ValueSet a -> Size -> Gen a
data Size = Size {
- intAbs :: Integer
- strLen :: Int
}
ints :: ValueSet Integer
nats :: ValueSet Integer
bools :: ValueSet Bool
str :: ValueSet String

Documentation

data ValueSet a Source #

Instances

Instances details

Eq (ValueSet a) Source #
Instance details Defined in Test.IOTasks.Internal.ValueSet Methods (==) :: ValueSet a -> ValueSet a -> Bool (/=) :: ValueSet a -> ValueSet a -> Bool
Ord (ValueSet a) Source #
Instance details Defined in Test.IOTasks.Internal.ValueSet Methods compare :: ValueSet a -> ValueSet a -> Ordering (<) :: ValueSet a -> ValueSet a -> Bool (<=) :: ValueSet a -> ValueSet a -> Bool (>) :: ValueSet a -> ValueSet a -> Bool (>=) :: ValueSet a -> ValueSet a -> Bool max :: ValueSet a -> ValueSet a -> ValueSet a min :: ValueSet a -> ValueSet a -> ValueSet a

empty :: ValueSet a Source #

complete :: ValueSet a Source #

singleton :: Integer -> ValueSet Integer Source #

fromList :: [Integer] -> ValueSet Integer Source #

union :: ValueSet a -> ValueSet a -> ValueSet a Source #

intersection :: ValueSet a -> ValueSet a -> ValueSet a Source #

lessThan :: Integer -> ValueSet Integer Source #

greaterThan :: Integer -> ValueSet Integer Source #

(\\) :: ValueSet Integer -> ValueSet Integer -> ValueSet Integer Source #

The (\\) operator computes set difference. It returns a ValueSet containing all integers of the first set that are not present in the second set.

with :: ValueSet Integer -> Integer -> ValueSet Integer Source #

without :: ValueSet Integer -> Integer -> ValueSet Integer Source #

complement :: ValueSet a -> ValueSet a Source #

unique :: ValueSet a -> ValueSet a Source #

notInVar :: ValueSet a -> Var a -> ValueSet a Source #

embed :: Embeddable a => ValueSet Integer -> ValueSet (Embedded a) Source #

embedFromList :: Embeddable a => [a] -> ValueSet (Embedded a) Source #

isEmpty :: Var Integer -> Map SomeVar [AST] -> ValueSet Integer -> IO Bool Source #

Check if a given ValueSet of integers is empty.

This function uses an external SMT solver to check the constraints defined by the ValueSet.

containsValue :: Var a -> ValueMap -> ValueSet a -> a -> Bool Source #

initiallyContainsValue :: ValueSet Integer -> Integer -> Bool Source #

showValueSet :: Typeable a => ValueSet a -> String Source #

random value generation

valueOf :: Var a -> ValueMap -> ValueSet a -> Size -> Gen a Source #

data Size Source #

Constructors

Size
Fields intAbs :: Integer strLen :: Int

standard value sets

ints :: ValueSet Integer Source #

nats :: ValueSet Integer Source #

bools :: ValueSet Bool Source #

str :: ValueSet String Source #