koatl 0.1.34__tar.gz → 0.1.35__tar.gz

{koatl-0.1.34 → koatl-0.1.35}/Cargo.lock

@@ -99,7 +99,7 @@ checksum = "f4c7245a08504955605670dbf141fceab975f15ca21570696aebe9d2e71576bd"
 
 [[package]]
 name = "koatl"
-version = "0.1.34"
+version = "0.1.35"
 dependencies = [
  "ariadne",
  "koatl-core",

{koatl-0.1.34 → koatl-0.1.35}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: koatl
-Version: 0.1.34
+Version: 0.1.35
 Classifier: Programming Language :: Rust
 Classifier: Programming Language :: Python :: Implementation :: CPython
 Classifier: Programming Language :: Python :: Implementation :: PyPy

{koatl-0.1.34 → koatl-0.1.35}/koatl/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "koatl"
-version = "0.1.34"
+version = "0.1.35"
 edition = "2021"
 
 [lib]

{koatl-0.1.34 → koatl-0.1.35}/koatl/python/koatl/prelude/functional/algebra.tl

@@ -8,9 +8,9 @@ export Monad = class(Trait):
     """
     __slots__ = ()
 
-    bind = Abstract& (self, f) => None
+    bind = Trait.abstract& (self, f) => None
 
-    pure = staticmethod& Abstract& value => None
+    pure = staticmethod& Trait.abstract& value => None
 
     # Automatically generated implementations.
     map = (self, f) => self.bind(x => self.pure(f(x)))
@@ -33,7 +33,7 @@ export MonadOnce = class(Monad, Trait):
     __slots__ = ()
 
     # The default implementation required for `@` syntax that should be overridden by subclasses.
-    bind_once = Abstract& (self, f) => None
+    bind_once = Trait.abstract& (self, f) => None
 
     # An optional, optimized implementation of `bind` that skips deep recursion.
     # TODO: can this be automatically generated from bind_once?
@@ -69,4 +69,4 @@ export Traversable = class(Trait):
     """
     __slots__ = ()
 
-    traverse = Abstract& (self, f) => None
+    traverse = Trait.abstract& (self, f) => None

{koatl-0.1.34 → koatl-0.1.35/koatl}/python/koatl/prelude/iterable.tl

@@ -3,7 +3,7 @@ import builtins
 import .functional.(Traversable, Ok, Err, Memo, Async, AsyncMemo, Result)
 
 export Iterable = Extension.trait& class(Traversable, Trait):
-    iter = Abstract
+    iter = Trait.abstract& self => None
 
     skip = (self, n) =>
         let it = self.iter

{koatl-0.1.34 → koatl-0.1.35}/koatl/python/koatl/runtime/classes.py

@@ -40,6 +40,7 @@ class MappingMeta(type):
         return [(k, v) for k, v in inspect.getmembers(self) if not k.startswith("_")]
 
 
+# A utility base class to inherit from to enable __getitem__ method lookup on types and thus destructuring.
 class Class(metaclass=MappingMeta):
     pass
 
@@ -104,9 +105,9 @@ class Trait(metaclass=TraitMeta):
         fn._property = True
         return property(fn)
 
-
-Abstract = lambda value: abc.abstractmethod(value)
-Abstract.__isabstractmethod__ = True
+    @staticmethod
+    def abstract(value):
+        return abc.abstractmethod(value)
 
 
-__all__ = ["Class", "Trait", "Abstract"]
+__all__ = ["Class", "Trait"]

{koatl-0.1.34 → koatl-0.1.35}/koatl/tests/e2e/prelude/virtual.tl

@@ -15,7 +15,7 @@ assert_eq(x.a, 1)
 
 
 SomeTrait = Extension.trait& class(Trait):
-    required_method = Abstract
+    required_method = Trait.abstract& self => ()
 
     derived_method = self => self.required_method()
     derived_property = Trait.property& self => self.required_method()

{koatl-0.1.34 → koatl-0.1.35}/python/koatl/prelude/functional/algebra.tl

@@ -8,9 +8,9 @@ export Monad = class(Trait):
     """
     __slots__ = ()
 
-    bind = Abstract& (self, f) => None
+    bind = Trait.abstract& (self, f) => None
 
-    pure = staticmethod& Abstract& value => None
+    pure = staticmethod& Trait.abstract& value => None
 
     # Automatically generated implementations.
     map = (self, f) => self.bind(x => self.pure(f(x)))
@@ -33,7 +33,7 @@ export MonadOnce = class(Monad, Trait):
     __slots__ = ()
 
     # The default implementation required for `@` syntax that should be overridden by subclasses.
-    bind_once = Abstract& (self, f) => None
+    bind_once = Trait.abstract& (self, f) => None
 
     # An optional, optimized implementation of `bind` that skips deep recursion.
     # TODO: can this be automatically generated from bind_once?
@@ -69,4 +69,4 @@ export Traversable = class(Trait):
     """
     __slots__ = ()
 
-    traverse = Abstract& (self, f) => None
+    traverse = Trait.abstract& (self, f) => None

{koatl-0.1.34/koatl → koatl-0.1.35}/python/koatl/prelude/iterable.tl

@@ -3,7 +3,7 @@ import builtins
 import .functional.(Traversable, Ok, Err, Memo, Async, AsyncMemo, Result)
 
 export Iterable = Extension.trait& class(Traversable, Trait):
-    iter = Abstract
+    iter = Trait.abstract& self => None
 
     skip = (self, n) =>
         let it = self.iter

{koatl-0.1.34 → koatl-0.1.35}/python/koatl/runtime/classes.py

@@ -40,6 +40,7 @@ class MappingMeta(type):
         return [(k, v) for k, v in inspect.getmembers(self) if not k.startswith("_")]
 
 
+# A utility base class to inherit from to enable __getitem__ method lookup on types and thus destructuring.
 class Class(metaclass=MappingMeta):
     pass
 
@@ -104,9 +105,9 @@ class Trait(metaclass=TraitMeta):
         fn._property = True
         return property(fn)
 
-
-Abstract = lambda value: abc.abstractmethod(value)
-Abstract.__isabstractmethod__ = True
+    @staticmethod
+    def abstract(value):
+        return abc.abstractmethod(value)
 
 
-__all__ = ["Class", "Trait", "Abstract"]
+__all__ = ["Class", "Trait"]