HEL/midas
1
0
Fork 0
Code Issues Pull Requests Actions Releases 2 Activity

chore: move currency demo in subfolder

Browse Source
This commit is contained in:
Louis Heredero
2026-07-09 23:20:49 +02:00
parent baed978a1d
commit ec4fbe594c
3 changed files with 0 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

0
examples/02_demonstration/demo.midas → examples/02_demonstration/currency/demo.midas
View File

0
examples/02_demonstration/demo.py → examples/02_demonstration/currency/demo.py
View File

14
examples/02_demonstration/demo_stubs.pyi
View File

@@ -1,14 +0,0 @@
from __future__ import annotations
from typing import Generic, TypeVar
class Currency(float): ...
_T0 = TypeVar("_T0", bound=Currency, covariant=True)
class Price(Currency, Generic[_T0]):
def __add__(self, _0: Price[_T0], /) -> Price[_T0]: ...
class EUR(Currency): ...
class USD(Currency): ...
class CHF(Currency): ...
class Discount(float): ...