petr-api-0.1.0
- petr-api 0.1.0
- Permalink
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- sezna
- Dependencies
- miette ^5.10 normal optional
  petr-fmt ^0.1.0 normal
  petr-ir ^0.1.0 normal
  petr-parse ^0.1.0 normal
  petr-pkg ^0.1.0 normal optional
  petr-profiling ^0.1.0 normal
  petr-resolve ^0.1.0 normal optional
  petr-typecheck ^0.1.0 normal
  petr-utils ^0.1.0 normal optional
  petr-vm ^0.1.0 normal
  termcolor ^1.4 normal optional
  thiserror ^1.0 normal
  toml ^0.8 normal
- Versions
- 9.09% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

type_check

petr_api0.1.0

Function type_check

pub fn type_check(
    resolved: QueryableResolvedItems,
) -> (Vec<SpannedItem<TypeConstraintError>>, TypeChecker)