extrapolate-0.2.4: generalize counter-examples of test properties

Copyright(c) 2017 Rudy Matela
License3-Clause BSD (see the file LICENSE)
MaintainerRudy Matela <[email protected]>
Safe HaskellNone
LanguageHaskell2010

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] Source #

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

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

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

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

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

fold :: [Expr] -> Expr Source #

unfold :: Expr -> [Expr] Source #

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

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