quickspec-0.9.6: Equational laws for free!
Test.QuickSpec.TestTotality
Description
Test whether functions are total. Used by HipSpec.
testTotality :: Sig -> IO [(Symbol, Totality)]Source
testEquation :: Typeable a => Sig -> Expr a -> Expr a -> Symbol -> IO BoolSource
always :: Sig -> Gen Bool -> IO BoolSource