Taking Parameters

Query Strings and Bodies

If you're familiar with HTTP semantics, then you likely already know about query parameters and body parameters. If you have no idea what that is, that's okay.

In HTTP, the query string is at the end of the URL and is prefixed with a ?. For example, in a YouTube link (e.g. youtube.com/watch?v=...), the query string is ?v=.... The query string contains key-value pairs in the form of strings. In Python, it's similiar to a dict that only contains strings.

Bodies are a little bit more complicated. An HTTP body can be a number of different formats, but in a nutshell they are again, key-value pairs, but they can be a number of types. For now, JSON will be the main focus, which can have str keys, and any of the following as a value (in terms of Python types):

The main similiarity here is that they are both key value pairs, which will make more sense in a moment.

Route Inputs

In view.py, a route input is anything that feeds a parameter (or "input") to the route. This can be either a parameter received through the HTTP body, or something taken from the query string. View treats these two essentially the same on the user's end. Route inputs are similar to routes in the sense that there are standard and direct versions of the same thing:

There is little to no difference between the standard and direct variations, including loading. The direct versions are only to be used when the app is already available to prevent extra imports.

view.routing.query(name: str, *tps: type[V], doc: str | None = None, default: V | None | _NoDefaultType = _NoDefault)

Add a route input for a query parameter.

Parameters:

Name Type Description Default
name str

The name of the parameter to read when the query string is received.

required
tps type[V]

All the possible types that are allowed to be used. If none are specified, the type is Any.

()
doc str | None

Description of this parameter.

None
default V | None | _NoDefaultType

The default value to use if the key was not received.

_NoDefault
Example
from view import new_app, query

app = new_app()

@app.get("/")
@query("greeting", str, doc="The greeting to use.", default="hello")
def index(greeting: str):
    return f"{greeting}, world!"

app.run()

view.routing.body(name: str, *tps: type[V], doc: str | None = None, default: V | None | _NoDefaultType = _NoDefault)

Add a route input for a body parameter.

Parameters:

Name Type Description Default
name str

The name of the parameter to read when the body is received.

required
tps type[V]

All the possible types that are allowed to be used. If none are specified, the type is Any.

()
doc str | None

Description of this parameter.

None
default V | None | _NoDefaultType

The default value to use if the key was not received.

_NoDefault
Example
from view import new_app, body

app = new_app()

@app.get("/")
@body("greeting", str, doc="The greeting to use.", default="hello")
def index(greeting: str):
    return f"{greeting}, world!"

app.run()

Defining Inputs

For documentation purposes, only query variations will be used. However, body works the exact same way. A route input function (query in this case) takes one or more parameters:

The below code would expect a parameter in the query string named hello of type int:

from view import new_app

app = new_app()

@app.get("/")
@app.query("hello", int)
async def index(hello: int):
    print(hello)
    return "hello"

The query() call can actually come before get due to the nature of the routing system. In fact, anything you decorate a route with does not have a specific order needed. For example, the following is completely valid:

@app.query("hello", int)  # query comes before get()
@app.get("/")
async def index(hello: int):
    ...

Note

Route inputs are based on their order, and not the name of the input. For example, the following is valid:

from view import new_app

app = new_app()

@app.get("/")
@app.query("hello", str)
@app.query("world", str)
async def index(world: str, hello: str):  # the world parameter will get the "hello input", and vice versa
    ...

Automatically

If you've used a library like FastAPI, then you're probably already familiar with the concept of automatic inputs. Automatic inputs in terms of view.py are when you define route inputs without using a query or body decorator, and instead, just get input definitions through the function signature. This is the most basic example:

from view import new_app

app = new_app()

@app.get("/")
async def index(hello: str):  # no @query needed
    return f"{hello}, world"

app.run()

Note that automatic inputs create inputs for query parameters only.

Note

When mixing automatic route inputs with decorators (e.g. query and body), view.py assumes that decorator inputs have the same name as the parameter. For example, the following will not work:

from view import new_app

app = new_app()

@app.get("/")
@app.query("hello", str)
async def index(hello_param: str, test: str):
    ...

app.run()

Cast Semantics

In query strings, only a string can be sent, but these strings can represent other data types. This idea is called casting, and it's not at all specific to Python. If you're still confused, think of it as calling int() on the string "1" to convert it into an integer 1.

View has this exact same behavior when it comes to route inputs. If you tell your route to take an int, view.py will do all the necessary computing internally to make sure that you get an integer in your route. If a proper integer was not sent, then the server will automatically return an error 400 (Bad Request). There are a few things that should be noted for this behavior:

Typing Inputs

Typing route inputs is very simple if you're already familiar with Python's type annotation system. Again, unions can be formed via passing multiple types instead of one. However, direct union types provided by Python are supported too. This includes both typing.Union and the newer | syntax.

from view import new_app
from typing import Union

app = new_app()

@app.get("/")
@app.query("name", str, int)
async def index(name: str | int):
    ...

@app.get("/hello")
@app.query("name", Union[str, int])
async def hello(name: str | int):
    ...

@app.get("/world")
@app.query("name", str | int)
async def world(name: str | int):
    ...

app.run()

The types supported are (all of which can be mixed and matched to your needs):

Lists and Dictionaries

You can use lists and dictionaries in a few ways, the most simple being just passing the raw type (list and dict). In typing terms, view.py will assume that these mean dict[str, Any] (as all JSON keys have to be strings) and list[Any]. If you would like to enforce a type, simply replace Any with an available type. The typing variations of these types (typing.Dict and typing.List) are supported as well.

from view import new_app
from typing import Dict

app = new_app()

@app.get("/")
@app.query("name", Dict[str, str | int])
async def index(name: Dict[str, str | int]):
    ...

@app.get("/hello")
@app.query("name", dict)
async def hello(name: dict):
    ...

app.run()

Note that backport is not possible if you're using new typing features (such as the dict[...] or list[...]) as from __future__ import annotations does not affect parameters, meaning that the second value sent to the route input function (again, query or body) is not changed.

Using Objects

As listed about earlier, view.py supports a few different objects to be used as types. All of these objects are meant for holding data to a specific model, which can be incredibly useful in developing web apps. Some things should be noted when using these types:

Here's an example using dataclasses:

from view import new_app
from dataclasses import dataclass, field
from typing import List

app = new_app()

@dataclass
class Person:
    first: str
    last: str
    favorite_foods: List[str] = field(default_factory=list)

@app.get("/")
@app.query("me", Person)
async def index(me: Person):
    return f"Hello, {me.first} {me.last}"

If you would prefer to not use an object, View supports using a TypedDict to enforce parameters. It's subject to the same rules as normal objects, but is allowed to use typing.NotRequired to omit keys. Note that TypedDict cannot have default values.

from view import new_app
from typing import TypedDict, NotRequired, List

app = new_app()

class Person(TypedDict):
    first: str
    last: str
    favorite_foods: NotRequired[List[str]]

@app.get("/")
@app.query("me", Person)
async def index(me: Person):
    return f"Hello, {me['first']} {me['last']}"

Type Validation API

You can use view.py's type validator on your own to do whatever you want. To create a validator for a type, use compile_type:

from view import compile_type

validator = compile_type(str | int)

Danger

The above code uses the | syntax, which is only available to Python 3.9+

view.typecodes.compile_type(tp: type[T]) -> TCValidator[T]

Compile a type to a type validation object.

With a validator, you can do three things:

cast will raise a TypeValidationError if the type is not compatible:

from view import compile_type

tp = compile_type(dict)
tp.cast("{}")
tp.cast("123")  # TypeValidationError

The difference between check_type and is_compatible, is that check_type is a type guard, which is_compatible is not.

This means that check_type will ensure that the object is an instance of the type, while is_compatible checks whether it can be casted. For example:

from view import compile_type

tp = compile_type(dict)

x: Any = {}
y: Any = {}  # you could also use the string "{}" here

if tp.check_type(x):
    reveal_type(x)  # dict
    # to a type checker, x is now a dict

if tp.is_compatible(y):
    reveal_type(y)  # Any
    # a type checker doesn't know that y is a dict

Body Protocol

If any of the above types do not support your needs, you may design your own type with the __view_body__ protocol. On a type, __view_body__ can be held in one of two things:

Whichever way you choose, the __view_body__ data must be accessed statically, not in an instance. The data should be a dictionary (containing only str keys, once again), but the values should be types, not instances. These types outline how view.py should parse it at runtime. For example, a __view_body__ to create an object that has a key called a, which a str value would look like so:

class MyObject:
    __view_body__ = {"a": str}

View does not handle the initialization, so you must define a proper __init__ for it. If you are already using the __init__ for something else, you can define a __view_construct__ class or static method and view.py will choose it over __init__.

class MyObject:
    __view_body__ = {"a": str}

    @classmethod
    def __view_construct__(cls, **kwargs):
        self = cls()
        self.a: str = kwargs["a"]

Default Types and Unions

__view_body__ works the same as standard object types would work in the sense that types like typing.Union or the | syntax are supported, but you may also use a special value called BodyParam. BodyParam will allow you to pass union types in a tuple and set a default value. If you only want one type when using BodyParam, simply set types to a single value instead of a tuple. Here's an example of how it works, with the original object from above:

class MyObject:
    __view_body__ = {
        "a": view.BodyParam(types=(str, int), default="hello"),
        "b": view.BodyParam(types=str, default="world"),
    }

    @classmethod
    def __view_construct__(cls, **kwargs):
        self = cls()
        self.a: str | int = kwargs["a"]
        self.a: str = kwargs["b"]

Client Semantics

On the client side, sending data to view.py might be a bit unintuitive. For this part of the documentation, a JSON body will be used for simplicity. In the case of JSON, strings will be casted to a proper type if the route supports it. For example, if a route takes a: str | int, the following would be set to the integer 1, not "1".

{
    "a": "1"
}

Objects are simply formatted in JSON as well. If you had an object under the parameter name test and that object had the key a: str, it would be sent to the server like so:

{
    "test": {
        "a": "..."
    }
}

Review

View treats queries and bodies more or less equivalent, as they are both key value pairs. Strings can be casted to every other type assuming that it is in the proper format, and that's what makes it work.

Any body or query parameter to a route is called a route input. There are standard and direct inputs (body and query, App.body and App.query), but they are not same in the way standard and direct routers work (direct inputs only exist to prevent extra imports).

A route input function takes two parameters, the name (which is always a str), and the (optional) type(s). All the supported types are JSON types with the exception of some object structures (which are translated to a dict/JSON internally). __view_body__ and __view_construct__ can be used to implement special types that will be parsed by view.