Cast

import marvin

# Convert text to a number
price = marvin.cast("three dollars and fifty cents", float)
print(price)

3.5

import marvin
import asyncio

async def main():
    result = await marvin.cast_async(
        "three point five",
        float
    )
    print(result)  # 3.5

asyncio.run(main())

import marvin

price = marvin.cast("three dollars and fifty cents", float)
print(price)

3.5

import marvin

answer = marvin.cast("that sounds great!", bool)
print(answer)

True

import marvin
from dataclasses import dataclass

@dataclass
class Address:
    street: str
    city: str
    country: str

address = marvin.cast(
    "123 Main St in New York, USA",
    Address
)
print(f"{address.street}, {address.city}, {address.country}")

"123 Main St", "New York", "USA"

from typing import Annotated
import marvin
from pydantic import Field

phone = marvin.cast(
    "call me at 800-555-0123",
    Annotated[str, Field(pattern=r"\d{1}-\d{3}-\d{3}-\d{4}")],
    instructions="extract the phone number and assume the country code is 1"
)
print(phone)

"1-800-555-0123"