refl
v0.2.1 GrowingProvides a `refl` encoding which you can use to provide a proof witness that one type is equivalent (identical) to another type. You can use this to encode a subset of what GADTs allow you to in Haskell.
Quick Verdict
- ✕Not updated for 6+ years
- !Pre-1.0: API may have breaking changes
- ✓Tiny footprint (9KB, 0 deps)
- ✓Permissive license (MIT/Apache-2.0)
Security
Deep Insights
162 downloads in the last 30 days (5/day). Volume is roughly flat compared to the previous period.
Despite being 8+ years old, refl hasn't reached 1.0 yet. Expect potential API changes between versions.
refl has no external dependencies — minimal supply chain risk and fast compile times.
At 9KB, refl is lightweight. Small crate size correlates with focused, well-scoped functionality.
Health Breakdown
Recency, release consistency, active ratio
Yanked ratio, deps, size, maturity, features
Reverse deps, ownership, ecosystem
Downloads, momentum, growth trend
Docs, repo, license, metadata
Download Trend
Top Dependents
Most downloaded crates that depend on refl
