Http

eff HttpSource

The effect used to interact with the HTTP protocol.

Operations

def get(url: String, headers: Map[String, List[String]]): Response Source

Definitions

def handle(f: a -> b \ ef): a -> b \ (ef & (~Http)) + Net + IO Source

Handles the Http effect of the given function f.

In other words, re-interprets the Http effect using the Net and IO effects.