Safe Haskell | None |
---|
Synopsis
- currentValue :: forall a e (k :: TermKind). (Typeable a, VarExp e) => e a -> Term k a
- allValues :: forall a e (k :: TermKind). (Typeable a, VarExp e) => e a -> Term k [a]
- valueBefore :: forall a e (k :: TermKind). (Typeable a, VarExp e) => Int -> e a -> Term k a
- valuesBefore :: forall a e (k :: TermKind). (Typeable a, VarExp e) => Int -> e a -> Term k [a]
- (.+.) :: forall (k :: TermKind). Term k Integer -> Term k Integer -> Term k Integer
- (.-.) :: forall (k :: TermKind). Term k Integer -> Term k Integer -> Term k Integer
- (.*.) :: forall (k :: TermKind). Term k Integer -> Term k Integer -> Term k Integer
- intLit :: forall (k :: TermKind). Integer -> Term k Integer
- (.==.) :: forall a (k :: TermKind). (Typeable a, Eq a) => Term k a -> Term k a -> Term k Bool
- (./=.) :: forall a (k :: TermKind). (Typeable a, Eq a) => Term k a -> Term k a -> Term k Bool
- (.>.) :: forall a (k :: TermKind). (Typeable a, Ord a) => Term k a -> Term k a -> Term k Bool
- (.>=.) :: forall a (k :: TermKind). (Typeable a, Ord a) => Term k a -> Term k a -> Term k Bool
- (.<.) :: forall a (k :: TermKind). (Typeable a, Ord a) => Term k a -> Term k a -> Term k Bool
- (.<=.) :: forall a (k :: TermKind). (Typeable a, Ord a) => Term k a -> Term k a -> Term k Bool
- not' :: forall (k :: TermKind). Term k Bool -> Term k Bool
- (.&&.) :: forall (k :: TermKind). Term k Bool -> Term k Bool -> Term k Bool
- (.||.) :: forall (k :: TermKind). Term k Bool -> Term k Bool -> Term k Bool
- true :: forall (k :: TermKind). Term k Bool
- false :: forall (k :: TermKind). Term k Bool
- embeddedLit :: forall a (k :: TermKind). (Embeddable a, Typeable a, Show a) => a -> Term k (Embedded a)
- sum' :: forall (k :: TermKind). Term k [Integer] -> Term k Integer
- product' :: forall (k :: TermKind). Term k [Integer] -> Term k Integer
- length' :: forall a (k :: TermKind). Typeable a => Term k [a] -> Term k Integer
- reverse' :: forall a (k :: TermKind). Typeable a => Term k [a] -> Term k [a]
- isIn :: forall a (k :: TermKind). (Typeable a, Eq a) => Term k a -> Term k [a] -> Term k Bool
- isNotIn :: forall a (k :: TermKind). (Typeable a, Eq a) => Term k a -> Term k [a] -> Term k Bool
- listLit :: forall a (k :: TermKind). (Show a, Typeable a) => [a] -> Term k [a]
- filter' :: forall (k :: TermKind). (Integer -> Bool) -> Term k [Integer] -> Term 'PartiallyOpaque [Integer]
- liftOpaqueValue :: Typeable a => (a, String) -> Term 'PartiallyOpaque a
- liftOpaque :: forall a b (k :: TermKind). (Typeable a, Typeable b) => (a -> b, String) -> Term k a -> Term 'PartiallyOpaque b
- liftOpaque2 :: forall a b c (k :: TermKind). (Typeable a, Typeable b, Typeable c) => (a -> b -> c, String) -> Term k a -> Term k b -> Term 'PartiallyOpaque c
Accessors
currentValue :: forall a e (k :: TermKind). (Typeable a, VarExp e) => e a -> Term k a Source #
Defined as
, providing access to the current value.currentValue
= valueBefore
0
allValues :: forall a e (k :: TermKind). (Typeable a, VarExp e) => e a -> Term k [a] Source #
Defined as
, providing access to all values.allValues
= valuesBefore
0
valueBefore :: forall a e (k :: TermKind). (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],
provides access to x_(n-i).valueBefore
i x
valuesBefore :: forall a e (k :: TermKind). (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],
provides access to [x_1,..,x_(n-i)].valuesBefore
i x
Arithmetic functions
Comparison functions
(.==.) :: forall a (k :: TermKind). (Typeable a, Eq a) => Term k a -> Term k a -> Term k Bool Source #
(./=.) :: forall a (k :: TermKind). (Typeable a, Eq a) => Term k a -> Term k a -> Term k Bool Source #
(.>.) :: forall a (k :: TermKind). (Typeable a, Ord a) => Term k a -> Term k a -> Term k Bool Source #
(.>=.) :: forall a (k :: TermKind). (Typeable a, Ord a) => Term k a -> Term k a -> Term k Bool Source #
(.<.) :: forall a (k :: TermKind). (Typeable a, Ord a) => Term k a -> Term k a -> Term k Bool Source #
(.<=.) :: forall a (k :: TermKind). (Typeable a, Ord a) => Term k a -> Term k a -> Term k Bool Source #
Boolean functions
embedded values
embeddedLit :: forall a (k :: TermKind). (Embeddable a, Typeable a, Show a) => a -> Term k (Embedded a) Source #
Simple list functions
isIn :: forall a (k :: TermKind). (Typeable a, Eq a) => Term k a -> Term k [a] -> Term k Bool Source #
isNotIn :: forall a (k :: TermKind). (Typeable a, Eq a) => Term k a -> Term k [a] -> Term k Bool Source #
Complexer list functions
filter' :: forall (k :: TermKind). (Integer -> Bool) -> Term k [Integer] -> Term 'PartiallyOpaque [Integer] Source #
Lifting of opaque functions
liftOpaqueValue :: Typeable a => (a, String) -> Term 'PartiallyOpaque a Source #
liftOpaque :: forall a b (k :: TermKind). (Typeable a, Typeable b) => (a -> b, String) -> Term k a -> Term 'PartiallyOpaque b Source #
liftOpaque2 :: forall a b c (k :: TermKind). (Typeable a, Typeable b, Typeable c) => (a -> b -> c, String) -> Term k a -> Term k b -> Term 'PartiallyOpaque c Source #