Copyright	(c) 2017 Rudy Matela
License	3-Clause BSD (see the file LICENSE)
Maintainer	Rudy Matela <rudy@matela.com.br>
Safe Haskell	None
Language	Haskell2010

Test.Extrapolate.Exprs

Description

This module is part of Extrapolate, a library for generalization of counter-examples.

This module re-exports some functionality from Test.Speculate.Expr, but instead of working on single expressions it works in lists of expressions (the choosen representation for counter-examples).

Documentation

type Exprs = [Expr] #

canonicalizeWith :: Instances -> [Expr] -> [Expr] #

grounds :: Instances -> [Expr] -> [[Expr]] #

groundsAndBinds :: Instances -> [Expr] -> [(Binds, [Expr])] #

vassignments :: [Expr] -> [[Expr]] #

vars :: [Expr] -> [(TypeRep, String)] #

fold :: [Expr] -> Expr #

unfold :: Expr -> [Expr] #

isAssignmentTest :: Instances -> Int -> Expr -> Bool #

nameWith :: Typeable a => String -> a -> Instances #

module Test.Speculate.Expr