| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.IOTasks.Internal.ValueSet
Synopsis
- data ValueSet a where
- Union :: ValueSet a -> ValueSet a -> ValueSet a
- Intersection :: ValueSet a -> ValueSet a -> ValueSet a
- GreaterThan :: Integer -> ValueSet Integer
- LessThan :: Integer -> ValueSet Integer
- Eq :: Integer -> ValueSet Integer
- CurrentlyIn :: VarRef a -> ValueSet a
- CurrentlyNotIn :: VarRef a -> ValueSet a
- Every :: ValueSet a
- None :: ValueSet a
- Embed :: Embeddable a => ValueSet Integer -> ValueSet (Embedded a)
- empty :: ValueSet a
- complete :: ValueSet a
- singleton :: Integer -> ValueSet Integer
- fromList :: [Integer] -> ValueSet Integer
- lessThan :: Integer -> ValueSet Integer
- greaterThan :: Integer -> ValueSet Integer
- union :: ValueSet a -> ValueSet a -> ValueSet a
- intersection :: ValueSet a -> ValueSet a -> ValueSet a
- (\\) :: 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 {}
- ints :: ValueSet Integer
- nats :: ValueSet Integer
- bools :: ValueSet Bool
- str :: ValueSet String
- z3ValueSetConstraint :: MonadZ3 z3 => Typeable a => Var a -> Map SomeVar [AST] -> ValueSet a -> AST -> z3 AST
Documentation
data ValueSet a where Source #
Constructors
| Union :: ValueSet a -> ValueSet a -> ValueSet a | |
| Intersection :: ValueSet a -> ValueSet a -> ValueSet a | |
| GreaterThan :: Integer -> ValueSet Integer | |
| LessThan :: Integer -> ValueSet Integer | |
| Eq :: Integer -> ValueSet Integer | |
| CurrentlyIn :: VarRef a -> ValueSet a | |
| CurrentlyNotIn :: VarRef a -> ValueSet a | |
| Every :: ValueSet a | |
| None :: ValueSet a | |
| Embed :: Embeddable a => ValueSet Integer -> ValueSet (Embedded a) |
Instances
| Eq (ValueSet a) Source # | |
| Ord (ValueSet a) Source # | |
Defined in Test.IOTasks.Internal.ValueSet | |
complement :: ValueSet a -> ValueSet a Source #
embedFromList :: Embeddable a => [a] -> ValueSet (Embedded a) Source #