From 5630320d214f507943c0c68ca7d1840a926f48fe Mon Sep 17 00:00:00 2001 From: LordBaryhobal Date: Wed, 24 Jun 2026 13:57:38 +0200 Subject: [PATCH] chore: use unsafe_cast in demo script --- examples/02_demonstration/demo.py | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/examples/02_demonstration/demo.py b/examples/02_demonstration/demo.py index c4ec322..2d7d5be 100644 --- a/examples/02_demonstration/demo.py +++ b/examples/02_demonstration/demo.py @@ -1,6 +1,8 @@ -from typing import TypeVar, cast +from typing import TypeVar -from demo_stubs import CHF, EUR, USD, Currency, Price, Discount +from demo_stubs import CHF, EUR, USD, Currency, Discount, Price + +from midas.typing import cast, unsafe_cast T = TypeVar("T", bound=Currency) @@ -28,3 +30,6 @@ discounted = apply_discount( ) print(f"Discounted: CHF {discounted}") + +large_data = [i * 10 for i in range(100)] +prices = unsafe_cast(list[Price[EUR]], large_data)