Fixes effects example (#97)

* Fixes effects example

* Fix type of effect

* Update docs. Remove lagacy matching

* Update pyright

Author: dbrattli

.pre-commit-config.yaml

@@ -28,7 +28,7 @@ repos:
         language: node
         pass_filenames: false
         types: [python]
-        additional_dependencies: ["[email protected].266"]
+        additional_dependencies: ["[email protected].275"]
     repo: local
   - hooks:
     - id: jb-to-sphinx

README.md

@@ -258,9 +258,9 @@ def keep_positive(a: int) -> Option[int]:
 ```python
 from expression import Option, Ok
 def exists(x : Option[int]) -> bool:
-    for value in x.match(Ok):
-        return True
-
+    match x:
+        case Some(_):
+            return True
     return False
 ```
 
@@ -408,14 +408,10 @@ Now you may pattern match the shape to get back the actual value:
 
     shape = Shape.Rectangle(2.3, 3.3)
 
-    with match(shape) as case:
-        if case(Circle):
-            assert False
-
-        for rect in case(Shape.RECTANGLE(width=2.3)):
-            assert rect.length == 3.3
-
-        if case.default():
+    match shape:
+        case Shape(value=Rectangle(width=2.3)):
+            assert shape.value.width == 2.3
+        case _:
             assert False
 ```
 

docs/tutorial/effects.md

@@ -150,23 +150,24 @@ Effects are not the same as side-effects. Effects are just values with a context
 Expression have a nice way of dealing with effects and lets you safely work with wrapped values wihout having to error check:
 
 ```python
-from expression import effect
-from expression.core import option, Option, Some, Nothing
+from expression import effect, Option, Some, Nothing
 
-def divide(a: float, divisor: float) -> Option[int]:
+
+def divide(a: float, divisor: float) -> Option[float]:
     try:
-        return Some(a/divisor)
+        return Some(a / divisor)
     except ZeroDivisionError:
         return Nothing
 
 
-@effect.option
-def comp(x):
-    result = yield from divide(42, x)
+@effect.option[float]()
+def comp(x: float):
+    result: float = yield from divide(42, x)
     result += 32
     print(f"The result is {result}")
     return result
 
+
 comp(42)
 ```