petr-typecheck-0.1.0
- petr-typecheck 0.1.0
- Permalink
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- sezna
- Dependencies
- miette ^5.10 normal
  
  petr-bind ^0.1.0 normal
  
  petr-resolve ^0.1.0 normal
  
  petr-utils ^0.1.0 normal optional
  
  thiserror ^1.0.61 normal
  
  expect-test ^1.5.0 dev
  
  petr-parse ^0.1.0 dev
- Versions
- 6.82% of the crate is documented
Platform
Feature flags

docs.rs
- About docs.rs
- Privacy policy

Rust

petr_typecheck0.1.0

Crate Items

Structs
Enums
Functions
Type Aliases

List of all items

Structs

Function
FunctionId
ResolvedIntrinsic
TypeChecker
TypeConstraint
TypeContext
TypeVariable
TypeVariant
TypedExpr

Enums

Intrinsic
IntrinsicName
Literal
PetrType
TypeConstraintKind
TypeOrFunctionId
TypedExprKind

Functions

type_check

Type Aliases

TResult
TypeError