Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data AssertedHint
- pattern EqualHint :: ArithmeticExpr -> AssertedHint
- parseHints :: Expr -> [(VarName, AssertedHint)]
- lowerBoundWithHints :: [(VarName, AssertedHint)] -> Expr -> Maybe Integer
- upperBoundWithHints :: [(VarName, AssertedHint)] -> Expr -> Maybe Integer
- isZeroWithHints :: [(VarName, AssertedHint)] -> Expr -> Maybe Bool
- nullWithHints :: [(VarName, AssertedHint)] -> Expr -> Maybe Bool
- lengthWithHints :: [(VarName, AssertedHint)] -> Expr -> Maybe Integer
Documentation
data AssertedHint Source #
NotEqualHint ArithmeticExpr |
|
BoundHint (Maybe ArithmeticExpr) (Maybe ArithmeticExpr) |
|
LengthHint Type AssertedHint |
|
AllHint Type AssertedHint |
|
Instances
Eq AssertedHint Source # | |
Defined in Jikka.Core.Language.AssertedHint (==) :: AssertedHint -> AssertedHint -> Bool # (/=) :: AssertedHint -> AssertedHint -> Bool # | |
Ord AssertedHint Source # | |
Defined in Jikka.Core.Language.AssertedHint compare :: AssertedHint -> AssertedHint -> Ordering # (<) :: AssertedHint -> AssertedHint -> Bool # (<=) :: AssertedHint -> AssertedHint -> Bool # (>) :: AssertedHint -> AssertedHint -> Bool # (>=) :: AssertedHint -> AssertedHint -> Bool # max :: AssertedHint -> AssertedHint -> AssertedHint # min :: AssertedHint -> AssertedHint -> AssertedHint # | |
Show AssertedHint Source # | |
Defined in Jikka.Core.Language.AssertedHint showsPrec :: Int -> AssertedHint -> ShowS # show :: AssertedHint -> String # showList :: [AssertedHint] -> ShowS # |
pattern EqualHint :: ArithmeticExpr -> AssertedHint Source #
parseHints :: Expr -> [(VarName, AssertedHint)] Source #
Functions using hints
lowerBoundWithHints :: [(VarName, AssertedHint)] -> Expr -> Maybe Integer Source #
upperBoundWithHints :: [(VarName, AssertedHint)] -> Expr -> Maybe Integer Source #
isZeroWithHints :: [(VarName, AssertedHint)] -> Expr -> Maybe Bool Source #
nullWithHints :: [(VarName, AssertedHint)] -> Expr -> Maybe Bool Source #
lengthWithHints :: [(VarName, AssertedHint)] -> Expr -> Maybe Integer Source #