Small improvements and fixes to docs

docs/source/usage/creating_operators.rst

@@ -61,9 +61,9 @@ This method is responsible for
 
 - typechecking the children::
 
-    from jsonlogic.typechecking import TypecheckContext
+    from jsonlogic.typechecking import TypecheckContext, get_type
     from jsonlogic.json_schema import from_value
-    from jsonlogic.json_schema.types import BooleanType, UnsupportedOperation
+    from jsonlogic.json_schema.types import AnyType, BooleanType, UnsupportedOperation
 
     class GreaterThan(Operator):
         ...
@@ -94,6 +94,8 @@ This method is responsible for
                     "not_comparable",
                     self
                 )
+                # Usually, you will want to return "AnyType" if typechecking failed:
+                return AnyType()
 
   The :class:`~jsonlogic.typechecking.TypecheckContext` object is used to emit diagnostics
   and access the JSON Schema of the data provided when using :func:`~jsonlogic.typechecking.typecheck`.

docs/source/usage/index.rst

@@ -24,10 +24,8 @@ if necessary. The underlying expression can be accessed:
     >>> expr.expression
     {
         '>': [
-            JSONLogicExpression(expression={
-                'var': [JSONLogicExpression(expression='my_int')]  # "my_int" argument as a list
-            }),
-            JSONLogicExpression(expression=2)
+            JSONLogicExpression(expression={'var': ['my_int']}),  # "my_int" argument as a list
+            2
         ]
     }
 

src/jsonlogic/typing.py

@@ -20,7 +20,7 @@
 JSON: TypeAlias = "JSONPrimitive | JSONArray | JSONObject"
 
 JSONLogicPrimitive: TypeAlias = "JSONPrimitive | list[JSONLogicPrimitive]"
-"""A JSON Logic primitive is recursively defined as either a JSON primitive or a list of JSON Logic primitives.
+"""A JSON Logic primitive is recursively defined either as a JSON primitive or a list of JSON Logic primitives.
 
 Such primitives are only considered when dealing with operator arguments:
 
@@ -36,7 +36,7 @@
 """
 
 OperatorArgument: TypeAlias = "Operator | JSONLogicPrimitive | list[OperatorArgument]"
-"""An operator argument is recursively defined a JSON Logic primitive, an operator or a list of operator arguments.
+"""An operator argument is recursively defined either as a JSON Logic primitive, an operator or a list of operator arguments.
 
 .. code-block:: json