deque-blog’s gists

deque-blog / dsl_arithmetic_5_partial_eval.h

Created January 29, 2017 14:58

	expression partial_eval(env const& env, expression const& e)
	{
	return cata<expression>(
	[&env](expression_r<expression> const& e) -> expression {
	return optimize_alg(partial_eval_alg(env)(e).get());
	},
	e);
	}

deque-blog / dsl_arithmetic_5_optimize_test.cpp

Last active January 30, 2017 10:02

	expression e = add({
	cst(1),
	cst(2),
	mul({cst(0), var("x"), var("y")}),
	mul({cst(1), var("y"), cst(2)}),
	add({cst(0), var("x")})
	});

	//Initial expression
	std::cout << cata<std::string>(print_alg, e) << '\n';

deque-blog / dsl_arithmetic_5_partial_eval_test.cpp

Created January 30, 2017 10:04

deque-blog / rapid_check_valid_property.hs

Last active January 30, 2017 18:02

	prop_gcd :: Integer -> Integer -> Bool
	prop_gcd a b = a * b == gcd a b * lcm a b

	rapidCheck prop_gcd
	> Success

deque-blog / rapid_check_invalid_property.hs

Last active February 5, 2017 16:57

	prop_gcd_bad :: Integer -> Integer -> Bool
	prop_gcd_bad a b = gcd a b > 1

	rapidCheck prop_gcd_bad
	> Failure {seed = -1437169021,
	counterExample = ["1076253199","40866101"]}

deque-blog / rapid_check_gen.hs

Last active January 30, 2017 21:22

deque-blog / rapid_check_result_type.hs

Last active January 30, 2017 19:36

	data Result
	= Success -- In case of success, no additional information
	\| Failure {
	seed :: Int, -- The seed used to generate the counter example
	counterExample :: [String] -- The counter example (failing inputs to string)
	} deriving (Show, Eq, Ord) -- Useful instances to print and compare Results

deque-blog / rapid_check_result_monoid.hs

Last active February 1, 2017 22:19

	instance Monoid Result where
	mempty = Success
	mappend lhs@Failure{} _ = lhs
	mappend _ rhs = rhs

deque-blog / rapid_check_property.hs

Last active February 1, 2017 22:30

deque-blog / rapid_check_testable_base.hs

Last active January 31, 2017 19:51

	-- Property is trivially convertible to Property
	instance Testable Property where
	property = id

	-- Result is convertible to Property by creating
	-- a generator that always return this same result
	instance Testable Result where
	property r = Property (Gen (const r))

	-- Bool can be converted to Result