mirror of
https://github.com/kennethreitz/pydantic.git
synced 2026-06-05 23:00:18 +00:00
Stephen Brown II
32 lines
723 B
Python
32 lines
723 B
Python
class Connection:
|
|
async def execute(self, sql, *args):
|
|
return 'testing@example.com'
|
|
|
|
|
|
conn = Connection()
|
|
# ignore-above
|
|
import asyncio
|
|
from pydantic import PositiveInt, ValidationError, validate_arguments
|
|
|
|
|
|
@validate_arguments
|
|
async def get_user_email(user_id: PositiveInt):
|
|
# `conn` is some fictional connection to a database
|
|
email = await conn.execute('select email from users where id=$1', user_id)
|
|
if email is None:
|
|
raise RuntimeError('user not found')
|
|
else:
|
|
return email
|
|
|
|
|
|
async def main():
|
|
email = await get_user_email(123)
|
|
print(email)
|
|
try:
|
|
await get_user_email(-4)
|
|
except ValidationError as exc:
|
|
print(exc.errors())
|
|
|
|
|
|
asyncio.run(main())
|