def test_instances_1(self):
from typecheck import Typeclass
tc = Typeclass(list, tuple, set)
instances = tc.instances()
assert isinstance(instances, list)
assert len(instances) == 3
assert list in instances
assert tuple in instances
assert set in instances
def test_instances_1(self):
from typecheck import Typeclass
tc = Typeclass(list, tuple, set)
instances = tc.instances()
assert isinstance(instances, list)
assert len(instances) == 3
assert list in instances
assert tuple in instances
assert set in instances
def test_instances_2(self):
from typecheck import Typeclass
tc = Typeclass(list, tuple, Typeclass(str, unicode))
instances = tc.instances()
assert isinstance(instances, list)
assert len(instances) == 4
assert list in instances
assert tuple in instances
assert str in instances
assert unicode in instances
def test_instances_2(self):
from typecheck import Typeclass
tc = Typeclass(list, tuple, Typeclass(str, unicode))
instances = tc.instances()
assert isinstance(instances, list)
assert len(instances) == 4
assert list in instances
assert tuple in instances
assert str in instances
assert unicode in instances
def test_add_instance(self):
from typecheck import Typeclass
tc = Typeclass(list, set, tuple)
interface_before = tc.interface()
tc.add_instance(dict)
# Adding an instance shouldn't chance the interface...
assert interface_before == tc.interface()
# but it should change the instances list
assert dict in tc.instances()
def test_add_instance(self):
from typecheck import Typeclass
tc = Typeclass(list, set, tuple)
interface_before = tc.interface()
tc.add_instance(dict)
# Adding an instance shouldn't chance the interface...
assert interface_before == tc.interface()
# but it should change the instances list
assert dict in tc.instances()
