minwei-tools 0.1.2

Some useful tools for Python development

minwei_tools

This tools contain to major function

1. Dotter : Display animated text on screen during long missions
2. re_result : A Rust-like approach to error handling

Install

pip install minwei_tools

Usage

• Dotter

  

  from minwei_tools import Dotter, piano, slash
  from time import sleep
  
  with Dotter(cycle = piano, message="Loading", delay=0.1, show_timer=1) as d:
      sleep(120)
  

  Also support an async dotter

  from minwei_tools import AsyncDotter
  from time import sleep
  
  import asyncio
  
  async def main():
      async with AsyncDotter("Thinking", show_timer=True, delay=0.1):
          await asyncio.sleep(120)
  
  asyncio.run(main())
  

• rs_result

  from minwei_tools.rs_result import Result, Ok, Err
  
  def devide(a: int, b: int) -> Result[int, str]:
      if b == 0:
          return Err("Division by zero error")
      return Ok(a // b)
  
  """
  >>> result : Result[int, str] = devide(10, 0)
  >>> result.is_ok()
  False
  >>> result.is_err()
  >>> result : Result[int, str] = devide(10, 2)
  >>> result.is_ok()
  True
  >>> result.unwrap()
  5
  """
  
  result : Result[int, str] = devide(10, 0)
  match result:
      case Ok(value):
          print(f"Result: {value}")
      case Err(value):
          print(f"Error: {value}")
          
  result : Result[int, str] = devide(10, 2)
  match result:
      case Ok(value):
          print(f"Result: {value}")
      case Err(value):
          print(f"Error: {value}")