Marmelator/image-classification-service
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 29 Wiki Activity

[WIP] Either refactoring

Browse Source 
Add alternative formulation for monadic chain
This commit is contained in:
Matthias Bisping 2023-02-06 19:34:13 +01:00
parent 066cf17add
commit dffe1c18fc
1 changed files with 20 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
image_prediction/image_extractor/extractors/parsable.py
View File

@ -65,7 +65,7 @@ def take_right(pair: Either):
def format_context(context):
return f"Reason: {context['reason']}. Metadata: {EnumFormatter()(context['metadata'])}"
return f"Reason: {context['reason'].rstrip('.')}. Metadata: {EnumFormatter()(context['metadata'])}"
def extract_pages(doc, page_range):
@ -131,16 +131,29 @@ def xref_to_maybe_image(doc, xref) -> Either:
def make_maybe_image_metadata_pair(image: Either, metadata: Either):
"""
Reference:
haskell.org/tutorial/monads.html
(>>) :: m a -> m b -> m b
"""
"""Reference: haskell.org/tutorial/monads.html"""
def context(value):
return {"reason": value, "metadata": metadata.either(bottom, identity)}
return Right(make_image_metadata_pair).amap(image).amap(metadata).either(left(context), right(identity))
# What is most readable?
# 1)
# return Either.apply(make_image_metadata_pair).to_arguments(image, metadata).either(left(context), right(identity))
# 2)
# m (a -> b -> c) -> m a -> m b -> m c
# return Right(make_image_metadata_pair).amap(image).amap(metadata).either(left(context), right(identity))
# 3)
return (
image.bind(right(make_image_metadata_pair)) # m a >>= (m (a -> b -> c)) -> m (b -> c)
.amap(metadata) # m (b -> c) <*> m b -> m c
.either(
left(context),
right(identity),
)
)
@curry(2)