Language.Lambda.Arbitrary

Documentation

expr_arb :: Gen Expr

An arbitrary function for Expr. See the example above.

sym_arbitrary :: Gen String

Generates a string like x_{n} where n is positive integer

gexpr_shrink :: GExpr a -> [GExpr a]

Shrink function for an GExpr. See the example at the top of the module

gexpr_arb :: Gen a -> Gen (GExpr a)

Helper function for creating generators for GExpr. Takes in a generator for the symbol type

gexpr_arb' :: Int -> Gen s -> Gen (GExpr s)

Helper function for creating generators for GExpr. Takes in a generator for the symbol type and the depth of the expression tree