Test.Extrapolate.Exprs

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

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