Remove handlers.numbers

README.rst

@@ -50,9 +50,10 @@ Here's an example demonstrating how ``effectful`` can be used to implement a sim
    import functools
 
    from effectful.ops.types import Term
-   from effectful.ops.syntax import defop
+   from effectful.ops.syntax import defdata, defop
    from effectful.ops.semantics import handler, evaluate, coproduct, fwd
-   from effectful.handlers.numbers import add
+
+   add = defdata.dispatch(int).__add__
 
    def beta_add(x: int, y: int) -> int:        
        match x, y:

docs/source/effectful.rst

@@ -44,13 +44,6 @@ Handlers
    :members:
    :undoc-members:
 
-Numbers
-^^^^^^^
-
-.. automodule:: effectful.handlers.numbers
-   :members:
-   :undoc-members:
-
 Pyro
 ^^^^
 

docs/source/lambda_.py

@@ -1,11 +1,12 @@
 import functools
 from typing import Annotated, Callable
 
-from effectful.handlers.numbers import add
 from effectful.ops.semantics import coproduct, evaluate, fvsof, fwd, handler
-from effectful.ops.syntax import Scoped, defop, syntactic_eq
+from effectful.ops.syntax import Scoped, defdata, defop, syntactic_eq
 from effectful.ops.types import Expr, Interpretation, NotHandled, Operation, Term
 
+add = defdata.dispatch(int).__add__
+
 
 @defop
 def App[S, T](f: Callable[[S], T], arg: S) -> T:

docs/source/readme_example.py

@@ -1,10 +1,11 @@
 import functools
 
-from effectful.handlers.numbers import add
 from effectful.ops.semantics import coproduct, evaluate, fwd, handler
-from effectful.ops.syntax import defop
+from effectful.ops.syntax import defdata, defop
 from effectful.ops.types import Term
 
+add = defdata.dispatch(int).__add__
+
 
 def beta_add(x: int, y: int) -> int:
     match x, y:

docs/source/semi_ring.py

@@ -3,7 +3,6 @@
 import types
 from typing import Annotated, Tuple, Union, cast, overload
 
-import effectful.handlers.numbers  # noqa: F401
 from effectful.ops.semantics import coproduct, evaluate, fwd, handler
 from effectful.ops.syntax import Scoped, defop
 from effectful.ops.types import Interpretation, NotHandled, Operation, Term

effectful/handlers/jax/_handlers.py

@@ -12,7 +12,6 @@
 
 import tree
 
-import effectful.handlers.numbers  # noqa: F401
 from effectful.ops.semantics import fvsof, typeof
 from effectful.ops.syntax import (
     Scoped,

effectful/handlers/torch.py

@@ -11,7 +11,6 @@
 
 import tree
 
-import effectful.handlers.numbers  # noqa: F401
 from effectful.internals.runtime import interpreter
 from effectful.internals.tensor_utils import _desugar_tensor_index
 from effectful.ops.semantics import apply, evaluate, fvsof, handler, typeof