Introducing Logfire

from datetime import datetime
from typing import Tuple

from pydantic import BaseModel

class Delivery(BaseModel):
    timestamp: datetime
    dimensions: Tuple[int, int]

m = Delivery(timestamp='2020-01-02T03:04:05Z', dimensions=['10', '20'])
print(repr(m.timestamp))
#> datetime.datetime(2020, 1, 2, 3, 4, 5, tzinfo=TzInfo(UTC))
print(m.dimensions)
#> (10, 20)

from fastapi import HTTPException
from fastui import FastUI, AnyComponent, components as c
from fastui.components.display import DisplayMode, DisplayLookup
from fastui.events import GoToEvent, BackEvent

from my_app import router, fetch_users

@router.get("/users", response_model=FastUI, response_model_exclude_none=True)
async def users_table() -> list[AnyComponent]:
    """Show a table of users"""
    users = await fetch_users()
    return [
        c.Page(  # Page provides a basic container for components
        # Add your components here
        )
    ]

import asyncio

from arq import create_pool
from arq.connections import RedisSettings
from httpx import AsyncClient

async def main():
    redis = await create_pool(RedisSettings())
    for url in ('https://facebook.com', 'https://microsoft.com', 'https://github.com'):
        await redis.enqueue_job('download_content', url)

async def download_content(ctx, url):
    async with AsyncClient() as client:
        response = await client.get(url)
        return response.text

use speedate::{DateTime, Date, Time};

fn main() {
    let dt = DateTime::parse_str("2022-01-01T12:13:14Z").unwrap();
    assert_eq!(
        dt,
        DateTime {
            date: Date {
                year: 2022,
                month: 1,
                day: 1,
            },
            time: Time {
                hour: 12,
                minute: 13,
                second: 14,
                nanosecond: 0,
            },
        },
    );
}

use jiter::JsonValue;

fn main() {
    let json_data = r#"
        {
            \"name\": \"John Doe\",
            \"age\": 43,
            \"phones\": [
                \"+44 1234567\",
                \"+44 2345678\"
            ]
        }"#;
    let json_value = JsonValue::parse(json_data.as_bytes(), true).unwrap();
}