LambdaPrettyQuote-0.0.0.1: Parser, pretty printer, quasiquoter, and Arbitrary helpers for the untyped lambda calculus.

Safe HaskellSafe-Infered

Language.Lambda.Arbitrary

Synopsis

Documentation

expr_arb :: Gen ExprSource

An arbitrary function for Expr. See the example above.

sym_arbitrary :: Gen StringSource

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

gexpr_shrink :: GExpr a -> [GExpr a]Source

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

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

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

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

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