Can it handle complex Elixir types?

Yes, it includes guidance for union types, opaque types, remote types, and generic types using the 'when' clause for advanced type logic.

Does this skill work for both Erlang and Elixir?

While the examples focus on Elixir syntax, the underlying principles and logic apply to the Dialyzer tool used by both Erlang and Elixir environments.

What is 'Success Typing' in the context of this skill?

Success Typing is Dialyzer's unique approach that assumes code is correct unless it can prove a contradiction, and this skill helps you write code that aligns with this philosophy.

How does this skill help with Elixir type warnings?

It provides patterns and best practices for interpreting Dialyzer's output and applying the correct @spec or @type fixes to resolve warnings efficiently.

Dialyzer Analysis

Name: Dialyzer Analysis
Author: TheBushidoCollective

byTheBushidoCollective

•

Security & Testing

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

Dialyzer Analysis is a specialized Claude Code skill designed to help Erlang and Elixir developers manage and fix static analysis warnings. It provides comprehensive patterns for writing accurate type specifications, identifying non-exhaustive pattern matches, and resolving 'no return' or unmatched return warnings. By leveraging success typing principles, this skill guides developers through implementing complex, union, and opaque types, ensuring more robust and type-safe functional codebases while following industry best practices for incremental warning resolution.

Key Features

01Apply success typing principles to identify potential runtime failures without false positives

0272 GitHub stars

03Resolve common Dialyzer warnings like non-exhaustive pattern matches and unmatched returns

04Manage opaque and remote types to maintain clean module boundaries and abstraction

05Implement accurate @spec and @type declarations for basic and complex data structures

06Debug static analysis issues using verbose output and warning explanations

Use Cases

01Debugging complex type discrepancies between remote modules and internal state representations

02Documenting public APIs with rigorous type specifications to improve codebase maintainability

03Fixing persistent warnings in legacy Elixir projects during migration or refactoring

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