How do I fix a 'pattern match is not exhaustive' warning?

This skill identifies missing cases in your switch or case statements and suggests the necessary matches or catch-all clauses to satisfy Dialyzer's analysis.

Does this skill support both Erlang and Elixir?

Yes, it is designed to work with both languages, focusing on the shared success typing principles of the BEAM ecosystem.

How does this skill help with Elixir types?

It assists in writing correct @spec and @type definitions and explains how to resolve common warnings like 'no local return' or 'unmatched return' using best practices.

Can it help with opaque and remote types?

Absolutely. It provides implementation patterns for defining opaque types for encapsulation and using remote types from external libraries like Plug or Phoenix.

What is Dialyzer in the context of Elixir?

Dialyzer is a static analysis tool for the Erlang VM (BEAM) that identifies type errors, unreachable code, and logical discrepancies without requiring code execution.

Dialyzer Type Analysis

Name: Dialyzer Type Analysis
Author: TheBushidoCollective

byTheBushidoCollective

•

Security & Testing

Analyzes and resolves Dialyzer warnings and type discrepancies in Erlang and Elixir codebases.

Dialyzer Analysis is a specialized skill designed to help developers navigate the complexities of Erlang and Elixir static analysis. It provides deep expertise in success typing, assisting with the creation of accurate type specifications, identifying the root causes of cryptic Dialyzer warnings, and refactoring code to satisfy rigorous type checks. Whether you are debugging pattern match coverage or implementing opaque types, this skill ensures your codebase remains robust, type-safe, and follows professional BEAM development standards.

Key Features

01Automated generation of complex @spec and @type definitions

02Strategies for iterative fixing of legacy codebase type errors

03Resolution patterns for non-exhaustive pattern matches and unmatched returns

04Implementation guidance for union, generic, and opaque types

05Expert interpretation of Erlang and Elixir Dialyzer warnings

0639 GitHub stars

Use Cases

01Optimizing pattern matching to ensure full edge-case coverage

02Fixing persistent Dialyzer warnings in legacy Elixir projects

03Enhancing codebase documentation through rigorous type specifications

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add thebushidocollective/han dialyzer-analysis

For use in Claude.ai and ChatGPT

Download Skill