Esempi in Python per mappend

Esempio n. 1

def test_monoid_law_right_identity(m):
    # a + mempty = a
    assert tc.mappend(m, tc.mempty(m)) == m

Esempio n. 2

def test_monoid_law_left_identity(m):
    # mempty + a = a
    assert tc.mappend(tc.mempty(m), m) == m

Esempio n. 3

def test_monoid_law_right_identity(monoids):
    # a + mempty = a
    monoid = monoids[0]
    assert tc.mappend(monoid, tc.mempty(monoid)) == monoid

Esempio n. 4

def test_monoid_law_left_identity(monoids):
    # mempty + a = a
    monoid = monoids[0]
    assert tc.mappend(tc.mempty(monoid), monoid) == monoid

Esempio n. 5

File: test_typeclass_laws.py Progetto: ingolemo/python-lenses

def test_monoid_law_left_identity(monoids):
    # mempty + a = a
    monoid = monoids[0]
    assert tc.mappend(tc.mempty(monoid), monoid) == monoid

Esempio n. 6

File: test_typeclass_laws.py Progetto: ingolemo/python-lenses

def test_monoid_law_right_identity(monoids):
    # a + mempty = a
    monoid = monoids[0]
    assert tc.mappend(monoid, tc.mempty(monoid)) == monoid