🛠 Installing

Poetry

poetry add conjecture

pip

pip install conjecture

🎓 Usage

Basic

>>>import conjecture>>>assert5== conjecture.has(lambdav: v<10)>>>assert5== conjecture.has(lambdav: v>10)Traceback (most recent call last):  File "<stdin>", line 1, in <module>AssertionError

Built-in conjectures

General

>>>import conjecture>>>assertNone== conjecture.none()

>>>import conjecture>>>assertNone== conjecture.anything()>>>assert123== conjecture.anything()>>>assert"abc"== conjecture.anything()

Mapping

>>>import conjecture>>>assert {"a":1}== conjecture.has_key("a")>>>assert {"a":1}== conjecture.has_key("a",of=1)>>>assert {"a":1}== conjecture.has_key("a",of=conjecture.less_than(5))

Object

>>>import conjecture>>>assert123== conjecture.instance_of(int)>>>assert"abc"== conjecture.instance_of((str,bytes))

>>>import conjecture>>>assert123== conjecture.equal_to(123)>>>assert"abc"== conjecture.equal_to("abc")

>>>import conjecture>>>assert1== conjecture.has_attribute("__class__")>>>assert1== conjecture.has_attribute("__class__",of=int)>>>assert1== conjecture.has_attribute("__class__",of=conjecture.instance_of(type))

Rich ordering

>>>import conjecture>>>assert5== conjecture.greater_than(1)>>>assert5== conjecture.greater_than_or_equal_to(1)

>>>import conjecture>>>assert1== conjecture.less_than(5)>>>assert1== conjecture.less_than_or_equal_to(5)

Size

>>>import conjecture>>>assertlist()== conjecture.empty()>>>assertset()== conjecture.empty()>>>asserttuple()== conjecture.empty()>>>assertdict()== conjecture.empty()

>>>import conjecture>>>assert [1,2,3,4,5]== conjecture.length_of(5)>>>assert [1,2,3]== conjecture.length_of(conjecture.less_than(5))

String

>>>import conjecture>>>assert"foo bar baz"== conjecture.prefixed_with("foo")>>>assertb"foo bar baz"== conjecture.prefixed_with(b"foo")

>>>import conjecture>>>assert"foo bar baz"== conjecture.suffixed_with("baz")>>>assertb"foo bar baz"== conjecture.suffixed_with(b"baz")

Combined conjectures

>>>import conjecture>>>assert5== conjecture.has(lambdav: v<=5)& conjecture.has(lambdav:v=>5)>>>assert6== conjecture.has(lambdav: v<=5)& conjecture.has(lambdav:v=>5)Traceback (most recent call last):  File "<stdin>", line 1, in <module>AssertionError>>>assert5== conjecture.all_of(...     conjecture.has(lambdav: v<=5),...     conjecture.has(lambdav:v=>5)... )>>>assert6== conjecture.all_of(...     conjecture.has(lambdav: v<=5),...     conjecture.has(lambdav:v=>5)... )Traceback (most recent call last):  File "<stdin>", line 1, in <module>AssertionError

>>>import conjecture>>>assert0== conjecture.has(lambdav: v==5)| conjecture.has(lambdav: v==0)>>>assert5== conjecture.has(lambdav: v==5)| conjecture.has(lambdav: v==0)>>>assert6== conjecture.has(lambdav: v==5)| conjecture.has(lambdav: v==0)Traceback (most recent call last):  File "<stdin>", line 1, in <module>AssertionError>>>assert5== conjecture.any_of(...     conjecture.has(lambdav: v==5),...     conjecture.has(lambdav: v==0)... )>>>assert6== conjecture.any_of(...     conjecture.has(lambdav: v==5),...     conjecture.has(lambdav: v==0)... )Traceback (most recent call last):  File "<stdin>", line 1, in <module>AssertionError

Negation

>>>import conjecture>>>assert5!= conjecture.has(lambdav: v==10)>>>assert5==~conjecture.has(lambdav: v==10)>>>assert10==~conjecture.has(lambdav: v==10)Traceback (most recent call last):  File "<stdin>", line 1, in <module>AssertionError

⚖️ Licence

📝 Meta