| Copyright | (c) 2017-2019 Rudy Matela |
|---|---|
| License | 3-Clause BSD (see the file LICENSE) |
| Maintainer | Rudy Matela <[email protected]> |
| Safe Haskell | None |
| Language | Haskell2010 |
Test.Extrapolate.Expr
Contents
Description
This module is part of Extrapolate, a library for generalization of counter-examples.
This module re-exports functionality from Data.Express and Test.Speculate.Expr along with some extra utilities.
Synopsis
- module Data.Express
- module Test.Speculate.Expr
- canonicalizeUsingHoles :: Expr -> Expr
- canonicalizeUsingHolesWith :: (Expr -> [String]) -> Expr -> Expr
- unand :: Expr -> (Expr, Expr)
- replaceFun :: Expr -> Expr -> Expr
- (-&&-) :: Expr -> Expr -> Expr
- false :: Expr
Documentation
module Data.Express
module Test.Speculate.Expr
canonicalizeUsingHoles :: Expr -> Expr Source #
Like canonicalize but uses holes for unrepeated variables.
canonicalizeUsingHolesWith :: (Expr -> [String]) -> Expr -> Expr Source #
Like canonicalizeWith but uses holes for unrepeated variables.
replaceFun :: Expr -> Expr -> Expr Source #
O(n).
Replaces the function in the given Expr.
replaceFun timesE (plusE :$ one :$ two) = timesE :$ one :$ two replaceFun absE (idE :$ one) = absE :$ one replaceFun two (one) = two