Docs.rs
kind-pass-0.1.3
kind-pass 0.1.3
Docs.rs crate page
MIT
Links
crates.io
Source
Owners
algebraic-sofia
Dependencies
anyhow ^1.0.66
normal
fxhash ^0.2.1
normal
im-rc ^15.1.0
normal
kind-derive ^0.1.3
normal
kind-report ^0.1.3
normal
kind-span ^0.1.3
normal
kind-tree ^0.1.3
normal
linked-hash-map ^0.5.6
normal
Versions
11.84%
of the crate is documented
Platform
i686-pc-windows-msvc
x86_64-apple-darwin
x86_64-pc-windows-msvc
x86_64-unknown-linux-gnu
Feature flags
Rust
About docs.rs
Privacy policy
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
☰
Module top_level
Functions
?
Module
kind_pass
::
desugar
::
top_level
source
·
[
−
]
Functions
is_data_constructor_of
States if a given expression is a type constructor of the inductive type family definition only sintatically. TODO: It does not work wit HIT (We will probably have to change it in the future). NOTE: Does not work with Pi types.