typespec-dialyzer
Installation
SKILL.md
TypeSpec & Dialyzer
Types make data shapes and railway returns explicit — especially at module boundaries — so pure core and shell stay honest.
Canonical FP bar: docs/fcis-engineering-rules.md.
Quick Reference
| Concern | Do this |
|---|---|
| Public APIs | @spec at every public boundary |
| Structs | @type t matches schema (incl. nilable timestamps) |
| Fallible ops | {:ok, t()} | {:error, reason()} |
| Dialyzer ignores | ignore_warnings config, not fake CLI flags |
| CI | Run Dialyzer; cache PLT on mix.lock |