Emi/JSON-Lang
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Add <= as an alias for map

Browse source
This commit is contained in:
Emi Simpson 2023-03-05 19:44:28 -05:00
parent 4b4f9037cf
commit 3028075176
Signed by: Emi
GPG key ID: A12F2C2FFDC3D847
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
emis_funky_funktions.py
View file

@ -589,6 +589,9 @@ class Ok(Generic[A, B]):
def __lshift__(self, other: 'Callable[[A], Result[C, B]]') -> 'Result[C, B]': def __lshift__(self, other: 'Callable[[A], Result[C, B]]') -> 'Result[C, B]':
"Alias for bind" "Alias for bind"
return other(self.val) return other(self.val)
def __le__(self, other: 'Callable[[A], C]') -> 'Result[C, B]':
"Alias for map"
return Ok(other(self.val))
@dataclass(frozen=True) @dataclass(frozen=True)
class Err(Generic[A, B]): class Err(Generic[A, B]):
@ -612,6 +615,9 @@ class Err(Generic[A, B]):
Err('oh noes!') Err('oh noes!')
""" """
return self #type:ignore return self #type:ignore
def __le__(self, other: 'Callable[[A], C]') -> 'Result[C, B]':
"Alias for map"
return self #type:ignore
Result = Ok[A, B] | Err[A, B] Result = Ok[A, B] | Err[A, B]
"A Result datatype, aka Either" "A Result datatype, aka Either"
def map_res(f: Callable[[A], C], r: Result[A, B]) -> Result[C, B]: def map_res(f: Callable[[A], C], r: Result[A, B]) -> Result[C, B]: