speculate-0.2.3: discovery of properties about Haskell functions

Safe HaskellNone
LanguageHaskell2010

Test.Speculate.CondReason

Documentation

data Chy Source #

Constructors

Chy 

Fields

cfilter :: ((Expr, Expr, Expr) -> Bool) -> Chy -> Chy Source #

cdiscard :: ((Expr, Expr, Expr) -> Bool) -> Chy -> Chy Source #