Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- newtype VarName = VarName Text
- newtype Sort = Sort Text
- data Arg = Arg {}
- data DefineFun = DefineFun {}
- data SExpr
- renameDefineFun :: [Text] -> DefineFun -> DefineFun
- insertBindings :: Map Text SExpr -> [SExpr] -> Map Text SExpr
- insertBinding :: Map Text SExpr -> SExpr -> Map Text SExpr
- inlineLets :: SExpr -> SExpr
- inlineLets' :: Map Text SExpr -> SExpr -> SExpr
- comparisonOps :: [Text]
- partitionPosNeg :: SExpr -> ([SExpr], [SExpr])
- partition :: (a -> Either b c) -> [a] -> ([b], [c])
- select :: (a -> Either b c) -> a -> ([b], [c]) -> ([b], [c])
- nonZero :: SExpr -> Bool
- sumExprs :: [SExpr] -> SExpr
- simplify :: SExpr -> SExpr
- extractDefinitions :: Map Text [Text] -> [DefineFun] -> [DefineFun]
Documentation
inlineLets :: SExpr -> SExpr Source #
This is not correct in the presence of nested lets but these should never occur in the Z3 output and Eldarica doesn’t include any lets.
comparisonOps :: [Text] Source #