Test.Extrapolate.Expr

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.

Documentation

module Data.Express

canonicalizeUsingHoles :: Expr -> Expr

Like canonicalize but uses holes for unrepeated variables.

canonicalizeUsingHolesWith :: (Expr -> [String]) -> Expr -> Expr

Like canonicalizeWith but uses holes for unrepeated variables.

unand :: Expr -> (Expr, Expr)

replaceFun :: Expr -> Expr -> Expr

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

misc re-exports

(-&&-) :: Expr -> Expr -> Expr

The function && lifted over the Expr type.

> pp -&&- qq
p && q :: Bool

> false -&&- true
False && True :: Bool

> evalBool $ false -&&- true
False

false :: Expr

False encoded as an Expr.

> false
False :: Bool