Require python 3.8 + fix broken tests

Author: statusfailed

open_hypergraphs/array/backend.py

@@ -1,7 +1,5 @@
 """ Loosely typed array backend protocol """
-from typing import Generic, Type, TypeVar, Sequence, List, Tuple, Any
-from typing_extensions import Protocol
-
+from typing import Protocol, Generic, Type, TypeVar, Sequence, List, Tuple, Any
 from collections.abc import MutableMapping
 
 # Arrays are (very) loosely typed

open_hypergraphs/finite_function.py

@@ -38,8 +38,7 @@
 
 from dataclasses import dataclass
 from abc import abstractmethod, ABC
-from typing import List, Type, Union, Any
-from typing_extensions import Protocol
+from typing import Protocol, List, Type, Union, Any
 
 from open_hypergraphs.array.backend import ArrayBackend, ArrayType
 

open_hypergraphs/hypergraph.py

@@ -1,5 +1,4 @@
-from typing import Any, Type
-from typing_extensions import Protocol
+from typing import Protocol, Any, Type
 from abc import ABC, abstractmethod
 from dataclasses import dataclass
 from open_hypergraphs.finite_function import FiniteFunction, IndexedCoproduct, HasIndexedCoproduct

pyproject.toml

@@ -6,7 +6,7 @@ authors = [
 ]
 description = "open hypergraphs"
 readme = "README.md"
-requires-python = ">= 3.7"
+requires-python = ">= 3.8"
 classifiers = [
   "Programming Language :: Python :: 3",
   "License :: OSI Approved :: MIT License",

tests/test_optic.py

@@ -66,9 +66,7 @@ def test_dagger_optic_identity2(self):
     # Test case for singleton op  f : A ● B → C, which we assume has a dagger
     # f† : C → B ● A
     def test_dagger_optic_singleton(self):
-        F = FrobeniusIdentity()
-        R = FrobeniusDagger()
-        O = DaggerOptic(F, R)
+        O = DaggerOptic()
 
         X = FiniteFunction(None, FiniteFunction.Array.array(["A", "B"], dtype='O'))
         Y = FiniteFunction(None, FiniteFunction.Array.array(["Y"], dtype='O'))
@@ -90,9 +88,9 @@ def test_dagger_optic_singleton(self):
 
     @given(OpenHyp.arrows())
     def test_dagger_optic_type(self, f):
-        F = FrobeniusIdentity()
-        R = FrobeniusDagger()
-        O = DaggerOptic(F, R)
+        O = DaggerOptic()
+        F = O.F
+        R = O.R
 
         Of = O(f)
         FA = F.map_objects(f.source)