webql/compiler/typechecker

Types

Typechecker

pub opaque type Typechecker

Values

new

pub fn new(document: hir.Document) -> Typechecker

Creates a new typechecker instance from a resolver document.

resolve

pub fn resolve(
  typechecker: Typechecker,
  context: context.Context,
) -> Result(hir.Document, diagnostic.Diagnostic)

Typechecks a resolver document.