Overview

• Description
• Function Index
• Function Details

Copyright © Quviq AB, 2015-2017

Version: 1.42.1

Description

Function generators that shrink to printable functions.

Example

  prop_silly() ->
    ?FORALL(F, eqc_fun:function1(nat()),
    ?WHENFAIL(print_function("F =", F),
    F(foo) == F("foo") orelse F(bar) == F("bar"))).

  1> eqc:quickcheck(example:prop_silly()).
  ........Failed! After 9 tests.
  #Fun<eqc_fun.38.83612070>
  F = #Fun<eqc_fun.38.83612070>
  Shrinking ...
  #Fun<eqc_fun.38.83612070>
  F = fun(foo) -> 1;
         ("bar") -> 1;
         (_) -> 0 end
  false

Function Index

Function Details

function0/1

Generate a function of arity 0.

function1/1

Generate a function of arity 1.

function1/2

Generate a function of arity 1 where the result generator can depend on the argument. The second argument is a non-dependent generator to use in the catch-all case.

function2/1

Generate a function of arity 2.

function2/2

Two-argument dependent function generator.

See also: function1/2.

function3/1

Generate a function of arity 3.

function3/2

Three-argument dependent function generator.

See also: function1/2.

function4/1

Generate a function of arity 4.

function4/2

Four-argument dependent function generator.

See also: function1/2.

function5/1

Generate a function of arity 5.

function5/2

Five-argument dependent function generator.

See also: function1/2.

pretty_function/1

Pretty print a function. Uses the prettypr library.

print_function/1

Equivalent to print_function("", Fun).

Print a function.

print_function/2

Print a function with a prefix. Equivalent to io:format("~s\n", [show_function(Str, Fun)]).

show_function/1

Equivalent to show_function("", Fun).

Show a function as a string.

show_function/2

Show a function with a string prefix. Typical use 'show_function("Fun = ", Fun)'. Use instead of '"Fun =" ++ show_function(Fun)' to get the layout right.

Overview