Code

Add static method from_optional#20

Code

Merged

danielSanchezQ merged 7 commits intodanielSanchezQ:maindanielSanchezQ/rusty_results:mainfrom check69:add_from_optionalcheck69/patmat_wrappers:add_from_optionalCopy head branch name to clipboardSep 2, 2024

+31-5

Commits

Commits on Nov 23, 2023

• Add static method from_optional

  check69

  committed
  ea8fb4d

Commits on Sep 2, 2024

• Move Option.from_optional to option_from function.

  AlejandroCabeza

  committed
  6a090f6

• Fix mypy List typing.

  AlejandroCabeza

  committed
  7a50a67

• Merge branch 'main' into add_from_optional

  AlejandroCabeza

  authored
  830f432

• Update prelude.py

  Show description for fb8e709
  AlejandroCabeza

  authored
  fb8e709

• Remove incompatible generic type on option_from.

  AlejandroCabeza

  committed
  7062f46

• Update codecov action and include token.

  AlejandroCabeza

  committed
  b8de692