use_task example

[edan-bainglass]

In your async task example

import asyncio
import solara
from solara.lab import use_task, Task


@solara.component
def Page():
    number = solara.use_reactive(4)

    async def square():
        await asyncio.sleep(1)
        return number.value**2

    result: Task[int] = use_task(square, dependencies=[number.value])

    solara.InputInt("Square", value=number, continuous_update=True)
    if result.finished:
        solara.Success(f"Square of {number} == {result.value}")
    solara.ProgressLinear(result.pending)

you annotate the Task with int as the return type of use_task. I think this may no longer be accurate. My editor (VS Code) suggets the return type of use_task is Task[(), Coroutine[Any, Any, int]], thus not allowing me to properly type it.

[iisakkirotko]

Could you open an issue on this? Clearly I needed more sleep, for some reason I was convinced this was in a discussion post. Sorry.

I suspect this has never been correct, and should have always been typed as

    result: Task[[], int] = use_task(square, dependencies=[number.value])