QuickCheck and reference testing extension for Python programs

python

quickcheck

testing

property-based testing

moon add CAIMEOX/qc_pyext@0.1.1

Download zip

Author

CAIMEOX

Version

0.1.1

License

Apache-2.0

Last updated

6 months ago

Downloads

Dependencies

Kaida-Amethyst/python0.1.7
moonbitlang/quickcheck0.9.10

README

#QuickCheck Extension for Python

An extension for MoonBit's QuickCheck library to facilitate reference testing of Python implementations against MoonBit implementations (WIP).

#Idea

Reference Testing: suppose you have a function (in MoonBit) and (in Python) that you want to verify are equivalent on a domain , but currently they have different data representations.

Here we define essential componenets for reference testing between MoonBit and Python implementations using QuickCheck.

: Embedding from MoonBit data representation to Python data representation (The reverse is not always possible nor easy)
: Convert python data into string for comparison
: Equivalence relation on strings (in python)

The equivalence of implementation and (denoted as ) on domain can be defined as follows:

#
PyEnumFrom

source

pub trait PyEnumFrom {
  from_py_object(obj : @Kaida-Amethyst/python.PyObjectEnum
PyObjectEnum?) -> Self raise ConvError
}

impl PyEnumFrom for Bool

impl PyEnumFrom for Int

impl PyEnumFrom for Int64

impl PyEnumFrom for Double

impl PyEnumFrom for String

impl PyEnumFrom for PyObjectEnum

impl PyEnumFrom for Tuple2[A, B]

impl PyEnumFrom for Tuple3[A, B, C]

#
PyObjectInto

source

pub trait PyObjectInto {
  to_py_object(Self) -> @Kaida-Amethyst/python.PyObject
PyObject
}

impl PyObjectInto for Bool

impl PyObjectInto for Int

impl PyObjectInto for Int64

impl PyObjectInto for Double

impl PyObjectInto for String

impl PyObjectInto for PyBool

impl PyObjectInto for PyCallable

impl PyObjectInto for PyDict

impl PyObjectInto for PyFloat

impl PyObjectInto for PyInteger

impl PyObjectInto for PyList

impl PyObjectInto for PyModule

impl PyObjectInto for PyObject

impl PyObjectInto for PyObjectEnum

impl PyObjectInto for PyString

impl PyObjectInto for Array[T]

#
CallError

source

pub suberror CallError {
  MtdNotFound(String)
  UnexpectedReturnType(String)
  RuntimeError(@Kaida-Amethyst/python.PyRuntimeError
PyRuntimeError)
}

#
ConvError

source

pub suberror ConvError {
  TypeError(String)
  UnexpectedEmpty
}

#
TypedCallable

source

type TypedCallable[A, R]

#
TypedCallable::new

source

fn[A, R] TypedCallable::new(callable : @Kaida-Amethyst/python.PyCallable
PyCallable) -> TypedCallable[A, R]

#
TypedCallable::run

source

fn[A : PyObjectInto, R : PyEnumFrom] TypedCallable::run(self : TypedCallable[A, R], a : A) -> R raise

#
TypedPyDict

source

type TypedPyDict[V]

impl Show for TypedPyDict[V]

impl Arbitrary for TypedPyDict[B]

#
TypedPyDict::new

source

fn[V : PyObjectInto] TypedPyDict::new(kvs : Array[(String, V)]) -> TypedPyDict[V]

#
TypedPyList

source

type TypedPyList[T]

impl Show for TypedPyList[T]

impl Arbitrary for TypedPyList[T]

#
TypedPyTuple2

source

type TypedPyTuple2[A, B]

impl PyObjectInto for TypedPyTuple2[T, U]

impl Show for TypedPyTuple2[A, B]

impl Arbitrary for TypedPyTuple2[A, B]

fn[A : @moonbitlang/core/quickcheck.Arbitrary
Arbitrary + PyObjectInto, B : @moonbitlang/core/quickcheck.Arbitrary
Arbitrary + PyObjectInto] arbitrary(size : Int, rng : @moonbitlang/core/quickcheck/splitmix.RandomState
RandomState) -> TypedPyTuple2[A, B]

source

#
TypedPyTuple2::new

source

fn[A : PyObjectInto, B : PyObjectInto] TypedPyTuple2::new(a : A, b : B) -> TypedPyTuple2[A, B]

#
TypedPyTuple3

source

type TypedPyTuple3[A, B, C]

impl Show for TypedPyTuple3[A, B, C]

impl Arbitrary for TypedPyTuple3[A, B, C]

fn[A : @moonbitlang/core/quickcheck.Arbitrary
Arbitrary + PyObjectInto, B : @moonbitlang/core/quickcheck.Arbitrary
Arbitrary + PyObjectInto, C : @moonbitlang/core/quickcheck.Arbitrary
Arbitrary + PyObjectInto] arbitrary(size : Int, rng : @moonbitlang/core/quickcheck/splitmix.RandomState
RandomState) -> TypedPyTuple3[A, B, C]

source

#
TypedPyTuple3::new

source

fn[A : PyObjectInto, B : PyObjectInto, C : PyObjectInto] TypedPyTuple3::new(a : A, b : B, c : C) -> TypedPyTuple3[A, B, C]

#
invoke_binary

source

fn[A : PyObjectInto, B : PyObjectInto] invoke_binary(sel : A, other : B, mtd : String) -> @Kaida-Amethyst/python.PyObjectEnum
PyObjectEnum? raise @Kaida-Amethyst/python.PyRuntimeError
PyRuntimeError

#
invoke_unary

source

fn[A : PyObjectInto] invoke_unary(sel : A, mtd : String) -> @Kaida-Amethyst/python.PyObjectEnum
PyObjectEnum? raise @Kaida-Amethyst/python.PyRuntimeError
PyRuntimeError

#
py_bool

source

fn py_bool() -> @moonbitlang/quickcheck.Gen
Gen[@Kaida-Amethyst/python.PyBool
PyBool]

#
py_equal

source

fn[A : PyObjectInto, B : PyObjectInto] py_equal(sel : A, other : B) -> Bool raise @Kaida-Amethyst/python.PyRuntimeError
PyRuntimeError

Checks equality between two Python objects using the __eq__ method of the first object.

#
py_float

source

fn py_float() -> @moonbitlang/quickcheck.Gen
Gen[@Kaida-Amethyst/python.PyFloat
PyFloat]

#
py_integer

source

fn py_integer() -> @moonbitlang/quickcheck.Gen
Gen[@Kaida-Amethyst/python.PyInteger
PyInteger]

#
py_repr

source

fn[A : PyObjectInto] py_repr(sel : A) -> String raise CallError

#
py_str

source

fn[A : PyObjectInto] py_str(sel : A) -> String raise CallError

#
py_string

source

fn py_string() -> @moonbitlang/quickcheck.Gen
Gen[@Kaida-Amethyst/python.PyString
PyString]

#
py_tuple2

source

fn[A : @moonbitlang/core/quickcheck.Arbitrary
Arbitrary + PyObjectInto, B : @moonbitlang/core/quickcheck.Arbitrary
Arbitrary + PyObjectInto] py_tuple2() -> @moonbitlang/quickcheck.Gen
Gen[TypedPyTuple2[A, B]]

Source Files

Site source Report issue Packages Build queue Skills Statistics

qc_pyext

#QuickCheck Extension for Python

#Idea

#PyEnumFrom

#PyObjectInto

#CallError

#ConvError

#TypedCallable

#TypedCallable::new

#TypedCallable::run

#TypedPyDict

#TypedPyDict::new

#TypedPyList

#TypedPyTuple2

#TypedPyTuple2::new

#TypedPyTuple3

#TypedPyTuple3::new

#invoke_binary

#invoke_unary

#py_bool

#py_equal

#py_float

#py_integer

#py_repr

#py_str

#py_string

#py_tuple2

Source Files

#
PyEnumFrom

#
PyObjectInto

#
CallError

#
ConvError

#
TypedCallable

#
TypedCallable::new

#
TypedCallable::run

#
TypedPyDict

#
TypedPyDict::new

#
TypedPyList

#
TypedPyTuple2

#
TypedPyTuple2::new

#
TypedPyTuple3

#
TypedPyTuple3::new

#
invoke_binary

#
invoke_unary

#
py_bool

#
py_equal

#
py_float

#
py_integer

#
py_repr

#
py_str

#
py_string

#
py_tuple2