Tina4 Python - Quick Reference#

# Install the tina4 CLI once. Windows: irm https://tina4.com/install.ps1 | iexcurl -fsSL https://tina4.com/install.sh | sh​tina4 init python my-appcd my-apptina4 serve

<!-- src/templates/index.twig --><h1>Hello Static World</h1>

from tina4_python import get, post​@get("/")async def get_home(request, response):    return response("<h1>Hello Tina4 Python</h1>")​# POST requires a formToken in the body or Bearer auth@post("/api")async def post_api(request, response):    return response({"data": request.body})​# Redirect after a POST@post("/register")async def post_register(request, response):    return response.redirect("/welcome")

from tina4_python import get, middleware​class RunSomething:​    @staticmethod    def before_something(request, response):        response.content += "Before"        return request, response​    @staticmethod    def after_something(request, response):        response.content += "After"        return request, response​    @staticmethod    def before_and_after_something(request, response):        response.content += "[Before / After Something]"        return request, response​@middleware(RunSomething)@get("/middleware")async def get_middleware(request, response):    return response("Route") # Before[Before / After Something]Route[Before / After Something]After

<!-- src/templates/index.twig --><h1>Hello {{name}}</h1>

from tina4_python import get​@get("/")async def get_home(request, response):    return response.render("index.twig", {"name": "World!"})

TINA4_SESSION_BACKEND=mongodbTINA4_SESSION_MONGO_URI=mongodb://localhost:27017TINA4_SESSION_MONGO_DB=tina4_sessionsTINA4_SESSION_MONGO_COLLECTION=sessions

from tina4_python import get​@get("/session/set")async def get_session_set(request, response):    request.session.set("name", "Joe")    request.session.set("info", {"info": ["one", "two", "three"]})    return response("Session Set!")​​@get("/session/get")async def get_session_get(request, response):    name = request.session.get("name")    info = request.session.get("info")    return response({"name": name, "info": info})​​@get("/session/clear")async def get_session_clear(request, response):    request.session.delete("name")    return response("Session key removed!")

// src/scss/main.scss$primary: #2c3e50;body {  background: $primary;  color: white;}

TINA4_DEBUG=trueTINA4_PORT=7145TINA4_DATABASE_URL=sqlite:///data/app.dbTINA4_LOG_LEVEL=ALLTINA4_API_KEY=ABC1234

import os​api_key = os.getenv("TINA4_API_KEY", "ABC1234")

from tina4_python.dotenv import load_env, get_env, has_env, require_env, is_truthy​load_env()                          # Load .env file (auto on server start)get_env("TINA4_DATABASE_URL")             # Get value or Noneget_env("PORT", "7145")             # Get value with defaulthas_env("TINA4_DEBUG")              # True if setrequire_env("TINA4_DATABASE_URL")         # Raises if missingis_truthy(get_env("TINA4_DEBUG"))   # True for "true", "1", "yes"

from tina4_python import get, post, noauth, securedfrom tina4_python.auth import Auth​@post("/login")@noauth()async def login(request, response):    token = Auth.get_token({"user_id": 1, "role": "admin"})    return response({"token": token})​@get("/protected")@secured()async def secret(request, response):    return response("Welcome!")​@get("/verify")async def verify(request, response):    token = request.headers.get("Authorization", "").replace("Bearer ", "")    payload = Auth.valid_token(token)    return response({"valid": payload is not None})

<form method="POST" action="/register">    {{ ("Register" ~ RANDOM()) | form_token }}    <input name="email">    <button>Save</button></form>

from tina4_python import getfrom tina4_python.swagger import description​@get("/users")@description("Get all users")async def users(request, response):    return response(User().select("*"))

from tina4_python.database import Database​# dba = Database("<driver>:<hostname>/<port>:database_name", username, password)dba = Database("sqlite3:data.db")

result = dba.fetch("select * from test_record order by id", limit=3, offset=1)​array = result.to_array()paginated = result.to_paginate()csv_data = result.to_csv()json_data = result.to_json()

tina4 migrate:create create_users_table

-- migrations/00001_create_users_table.sqlCREATE TABLE users(    id   INTEGER PRIMARY KEY AUTOINCREMENT,    name TEXT);

tina4 migrate

from tina4_python.orm import ORM, IntegerField, StringField​class User(ORM):    id   = IntegerField(primary_key=True, auto_increment=True)    name = StringField()​User({"name": "Alice"}).save()​user = User()user.load("id = ?", [1])

from tina4_python import get​@get("/users/dashboard")async def dashboard(request, response):    users = User().select("id, name, email")    return response.render("users/dashboard.twig", {"crud": users.to_crud(request)})

{{ crud }}

from tina4_python import Api​api = Api("https://api.example.com", auth_header="Bearer xyz")result = api.get("/users/42")print(result["body"])

from tina4_python import tests​@tests(    assert_equal((7, 7), 1),    assert_equal((-1, 1), -1),    assert_raises(ZeroDivisionError, (5, 0)),)def divide(a: int, b: int) -> float:    if b == 0:        raise ZeroDivisionError("division by zero")    return a / b

from tina4_python import websocket​@websocket("/ws/chat")async def chat_ws(connection, event, data):    if event == "message":        await connection.send(f"Echo: {data}")

from tina4_python.queue import Queue​# Produce a messagequeue = Queue(topic="emails")queue.produce("emails", {"to": "alice@example.com", "subject": "Welcome"})​# Consume messagesfor job in queue.consume("emails"):    print(job.payload)

from typing import Listfrom tina4_python.wsdl import WSDL, wsdl_operation​​class Calculator(WSDL):​    @wsdl_operation({"Result": int})    def Add(self, a: int, b: int):        return {"Result": a + b}​    @wsdl_operation({"Numbers": List[int], "Total": int})    def SumList(self, Numbers: List[int]):        return {"Numbers": Numbers, "Total": sum(Numbers)}

from tina4_python.graphql import GraphQL​schema = """type Query {    hello(name: String!): String    users: [User]}​type User {    id: Int    name: String    email: String}"""​resolvers = {    "hello": lambda info, name: f"Hello, {name}!",    "users": lambda info: db.fetch("SELECT * FROM users").records,}​graphql = GraphQL(schema, resolvers)

from tina4_python import post, noauth​@post("/graphql")@noauth()async def handle_graphql(request, response):    result = graphql.execute(request.body.get("query", ""))    return response(result)

from tina4_python.i18n import I18n​i18n = I18n(locale_dir="src/locales", default_locale="en")​i18n.set_locale("af")          # switch languagei18n.t("welcome_message")      # translated string for the active localei18n.t("greeting", name="Ada") # with interpolation

from tina4_python.HtmlElement import HTMLElement, add_html_helpers​el = HTMLElement("div", {"class": "card"}, ["Hello"])str(el)  # <div class="card">Hello</div>​# Nestingpage = HTMLElement("div")(    HTMLElement("h1")("Title"),    HTMLElement("p")("Content"),)​# Helper functionsadd_html_helpers(globals())html = _div({"class": "card"},    _h1("Title"),    _p("Description"),    _a({"href": "/more"}, "Read more"),)

from tina4_python.core.events import on, emit, once, off​@on("user.created")def send_welcome(user):    print(f"Welcome {user['name']}!")​@once("app.ready")def on_ready():    print("Started!")​emit("user.created", {"name": "Alice"})

from tina4_python.debug import Log​Log.info("Server started")Log.debug("Request received", path="/api/users")Log.warning("Slow query", duration_ms=450)Log.error("Connection failed", host="db.example.com")

from tina4_python.core.router import get, cached​@cached(max_age=120)@get("/api/products")async def products(request, response):    return response(expensive_query())

from tina4_python.container import Container​container = Container()container.singleton("db", lambda: Database("sqlite:///app.db"))container.register("mailer", lambda: MailService())db = container.get("db")

tina4 init python my-app    # Scaffold projecttina4 serve                  # Start dev servertina4 serve --production     # Production modetina4 doctor                 # Check environmenttina4 env                    # Configure .envtina4 docs                   # Download documentationtina4 generate model User    # Generate scaffoldingtina4 migrate                # Run migrationstina4 test                   # Run teststina4 ai                     # Install AI context

from tina4_python.seeder import FakeData​fake = FakeData()fake.name()      # "Alice Johnson"fake.email()     # "alice@example.com"fake.phone()     # "+1-555-0123"fake.sentence()  # "The quick brown fox..."fake.integer()   # 4821