Docs.rs
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
i686-pc-windows-msvc
i686-unknown-linux-gnu
x86_64-apple-darwin
x86_64-pc-windows-msvc
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
petr_
typecheck
0.1.0
All Items
Crate Items
Structs
Enums
Functions
Type Aliases
Crate
petr_typecheck
Copy item path
Source
Structs
§
Function
Function
Id
The ID type of a function.
Resolved
Intrinsic
Type
Checker
Type
Constraint
Type
Context
Type
Variable
Type
Variant
Typed
Expr
Enums
§
Intrinsic
Intrinsic
Name
Literal
Petr
Type
Type
Constraint
Kind
Type
OrFunction
Id
Typed
Expr
Kind
Functions
§
type_
check
Type Aliases
§
TResult
Type
Error