deque-blog’s gists

deque-blog / rapid_check_4_tree_join.hs

Last active February 10, 2017 11:43

	joinTree :: Tree (Tree Result) -> Tree Result
	joinTree (Tree (Tree innerArgResult innerArgShrinks) outerArgShrinks) =
	Tree innerArgResult
	(map joinTree outerArgShrinks ++ innerArgShrinks)

deque-blog / rapid_check_4_result_tree_helper.hs

Last active February 10, 2017 12:25

	buildTree :: Shrink a -> a -> Tree a
	buildTree shrinker = build where
	build x = Tree x (map build (shrinker x))

	addCounterExample :: (Show a) => a -> Tree Result -> Tree Result
	addCounterExample arg = fmap (\r -> overFailure r addToFailure)
	where addToFailure f = f { counterExample = show arg : counterExample f }

deque-blog / rapid_check_4_shrinking_traces.txt

Created February 10, 2017 13:11

deque-blog / rapid_check_with_shrinking_full_code.hs

Created February 10, 2017 15:17

	{-# LANGUAGE GeneralizedNewtypeDeriving #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE DeriveFunctor #-}
	module RapidCheck where

	import Data.List
	import Data.Monoid((<>))
	import System.Random
	import Text.Show.Functions

deque-blog / arithmetic_expression_recap.hs

Created February 11, 2017 17:17

	let 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") ]
	]

	-- Pretty printing an expression
	prn e
	> "(+ 1 2 (* 0 x y) (* 1 y 2) (+ 0 x))"

deque-blog / arithmetic_simple_generator.hs

Last active February 12, 2017 13:35

	genCst :: Gen Expr
	genCst = fmap cst arbitrary

	varNames :: [String]
	varNames = [[v] \| v <- ['a'..'z']]

	genVar :: Gen Expr
	genVar = fmap var (elements varNames)

deque-blog / arithmetic_simple_term_gen.hs

Last active February 15, 2017 14:46

	genSimpleTerm :: Gen Expr
	genSimpleTerm = oneof [genVar, genCst]

deque-blog / arithmetic_operation_generator.hs

Last active February 15, 2017 14:54

	opsGen :: Gen Expr -> Int -> Gen Expr
	opsGen simpleTermGen = go where
	go n = do
	m <- choose (0, n)
	if m == 0
	then simpleTermGen
	else elements [add, mul] <*> replicateM m (go (div n (m + 1)))

deque-blog / arithmetic_expression_generators.hs

Created February 11, 2017 17:39

	genExpr :: Int -> Gen Expr
	genExpr = opsGen genSimpleTerm

	genCstExpr :: Int -> Gen Expr
	genCstExpr = opsGen genCst

deque-blog / arithmetic_expression_type_recap.hs

Last active February 13, 2017 18:31

	type Id = String -- Variable identifier
	type Env = -- Environment of evaluation
	Map Id Int

	data OpType -- Types of operations
	= Add -- * Addition
	\| Mul -- * Multiplication
	deriving (Show, Eq, Ord)

	data ExprR r -- Open recursive expression type