maypy 2.0.0

Pythonic Java optional

---

Source Code: https://github.com/MLetrone/maypy

documentation: https://mletrone.github.io/maypy

---

Maypy is python implementation of the well known Java Optional API. It's designed to help you handle potential None values, reducing error from NoneType.

Features :

• Brings functional programming
• Easy to use
• Fully typed and compatible with mypy !
• Lightweight

installation

pip install maypy

That's all ! Ready to use

Usage

Description

It's not rare to handle return from function that maybe either a value or None. Like .get from a dictionary, results from api or ORM etc. With no more if value is None with MayPy, encapsulate your value and do what you want to.

MayPy brings Maybe a wrapper (container), it is either empty if the value passed was None or valuated, in this case it contains the value, and we can perform operation on it.

Examples

Checking value presence:

from maypy import Maybe, Empty, maybe

assert Empty().is_empty()
assert maybe(None).is_empty()
assert maybe("value").is_present()

Using chaining operation over wrapped value:

from maypy import Maybe
from typing import List, Optional


def convert_to_celsius(fahrenheit: float) -> float:
  return (fahrenheit - 32) * 5 / 9


fahrenheit_temperatures: List[Optional[float]] = [32.45, None, 26.6, 100, 72, None, 10]

for temp in fahrenheit_temperatures:
  Maybe.of(temp).map(convert_to_celsius).filter(lambda celsius: celsius > 0)

Defining return from database result:

from dataclasses import dataclass
from enum import StrEnum, unique

from maypy import Maybe, maybe
from pydantic import BaseModel
from sqlalchemy.orm import Session


@unique
class Gender(StrEnum):
  MALE = "M"
  FEMALE = "F"
  UNKNOWN = "X"


@dataclass
class User:
  id: str
  email: str
  gender: Gender


class UserEntity(BaseModel):
  id: str
  email: str
  gender: str

  class Config:
    orm_mode = True


def get_user(db: Session, user_id: str) -> Maybe[User]:
  return maybe(db.query(UserEntity).filter(UserEntity.id == user_id).first()).map(to_domain)


def to_domain(user_dto: UserEntity) -> User:
  return User(
    id=user_dto.id,
    email=user_dto.email,
    gender=Gender(user_dto.gender)
  )


user = get_user(db, "481efz4x1d").or_else_raise(Exception("User id<481efz4x1d> not found"))