| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.IOTasks.Term.Prelude
Synopsis
- currentValue :: (Typeable a, VarExp e) => e a -> Term k a
- allValues :: (Typeable a, VarExp e) => e a -> Term k [a]
- valueBefore :: (Typeable a, VarExp e) => Int -> e a -> Term k a
- valuesBefore :: (Typeable a, VarExp e) => Int -> e a -> Term k [a]
- (.+.) :: Term k Integer -> Term k Integer -> Term k Integer
- (.-.) :: Term k Integer -> Term k Integer -> Term k Integer
- (.*.) :: Term k Integer -> Term k Integer -> Term k Integer
- intLit :: Integer -> Term k Integer
- (.==.) :: (Typeable a, Eq a) => Term k a -> Term k a -> Term k Bool
- (./=.) :: (Typeable a, Eq a) => Term k a -> Term k a -> Term k Bool
- (.>.) :: (Typeable a, Ord a) => Term k a -> Term k a -> Term k Bool
- (.>=.) :: (Typeable a, Ord a) => Term k a -> Term k a -> Term k Bool
- (.<.) :: (Typeable a, Ord a) => Term k a -> Term k a -> Term k Bool
- (.<=.) :: (Typeable a, Ord a) => Term k a -> Term k a -> Term k Bool
- not' :: Term k Bool -> Term k Bool
- (.&&.) :: Term k Bool -> Term k Bool -> Term k Bool
- (.||.) :: Term k Bool -> Term k Bool -> Term k Bool
- true :: Term k Bool
- false :: Term k Bool
- embeddedLit :: (Embeddable a, Typeable a, Show a) => a -> Term k (Embedded a)
- sum' :: Term k [Integer] -> Term k Integer
- product' :: Term k [Integer] -> Term k Integer
- length' :: Typeable a => Term k [a] -> Term k Integer
- reverse' :: Typeable a => Term k [a] -> Term k [a]
- isIn :: (Typeable a, Eq a) => Term k a -> Term k [a] -> Term k Bool
- isNotIn :: (Typeable a, Eq a) => Term k a -> Term k [a] -> Term k Bool
- listLit :: (Show a, Typeable a) => [a] -> Term k [a]
- filter' :: (Integer -> Bool) -> Term k [Integer] -> Term 'PartiallyOpaque [Integer]
- liftOpaqueValue :: Typeable a => (a, String) -> Term 'PartiallyOpaque a
- liftOpaque :: (Typeable a, Typeable b) => (a -> b, String) -> Term k a -> Term 'PartiallyOpaque b
- liftOpaque2 :: (Typeable a, Typeable b, Typeable c) => (a -> b -> c, String) -> Term k a -> Term k b -> Term 'PartiallyOpaque c
Accessors
currentValue :: (Typeable a, VarExp e) => e a -> Term k a Source #
Defined as currentValue = valueBefore 0
allValues :: (Typeable a, VarExp e) => e a -> Term k [a] Source #
Defined as allValues = valuesBefore 0
valueBefore :: (Typeable a, VarExp e) => Int -> e a -> Term k a Source #
If the variable-expression x is associated with the values [x_1,..,x_n],
valueBefore i x
valuesBefore :: (Typeable a, VarExp e) => Int -> e a -> Term k [a] Source #
If the variable-expression x is associated with the values [x_1,..,x_n],
valuesBefore i x
Arithmetic functions
Comparison functions
Boolean functions
embedded values
embeddedLit :: (Embeddable a, Typeable a, Show a) => a -> Term k (Embedded a) Source #
Simple list functions
Complexer list functions
Lifting of opaque functions
liftOpaqueValue :: Typeable a => (a, String) -> Term 'PartiallyOpaque a Source #
liftOpaque :: (Typeable a, Typeable b) => (a -> b, String) -> Term k a -> Term 'PartiallyOpaque b Source #