Http

def Http.download(
*,
url: ‘str’,
output: ‘str’,
mode: ‘int’,
headers: dict[‘str’, ‘str’] = …,
) -> ‘Future’

def Http.get(
*,
url: ‘str’,
headers: dict[‘str’, ‘str’] = …,
) -> ‘Future’

def Http.post(
url: ‘str’,
*,
headers: dict[‘str’, ‘str’] = …,
data: ‘str’,
) -> ‘Future’