Add type explanation

This commit is contained in:
Matthias Bisping 2023-02-06 19:38:57 +01:00
parent 01d3d5d33f
commit 865e0819a1

View File

@ -146,6 +146,9 @@ def make_maybe_image_metadata_pair(image: Either, metadata: Either):
# return Right(make_image_metadata_pair).amap(image).amap(metadata).either(left(context), right(identity))
# 3)
# a := Image
# b := Metadata
# c := ImageMetadataPair
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