Ejemplos de unfold en Python

Ejemplo n.º 1

Archivo: test_tuples.py Proyecto: ethframe/microkanren

def test_lists(goal, query, expected):
    assert [reify(query, st) for st in unfold(goal(initial()))] == expected

Ejemplo n.º 2

Archivo: test_arithmetic.py Proyecto: ethframe/microkanren

def test_arithmetic(goal, expected):
    assert [s for s, _, _ in unfold(goal(initial()))] == expected

Ejemplo n.º 3

def test_disequality(goal, expected):
    assert [s for s, _, _ in unfold(goal(initial()))] == expected

Ejemplo n.º 4

def test_goals(goal, expected):
    assert [s for s, _, _ in unfold(goal(initial()))] == expected

Ejemplo n.º 5

Archivo: test_stream.py Proyecto: ethframe/microkanren

def test_unfold(stream, expected):
    assert list(unfold(stream)) == expected