skills.rest
EtaCassiopeia
EtaCassiopeiaCOMMUNITY
Explore all skills by this author →
WebsiteGitHub

scala-typelevel

Design Scala 3 APIs with variance, GADTs, match types, and typeclass derivation.

Updated Mar 3, 2026
Search Tags:#library development#type system#scala#compile-time verification#typeclass
One-click install
npx skills add https://github.com/EtaCassiopeia/claude-skills --skill scala-typelevel
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: scala-typelevel
Source: https://github.com/EtaCassiopeia/claude-skills/tree/main/config/skills/scala-typelevel
Command: npx skills add https://github.com/EtaCassiopeia/claude-skills --skill scala-typelevel

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes scripts (resource) and references (resource) components.

What problem does it solve?

This Skill assists library authors in designing and implementing complex Scala 3 APIs, providing tools for variance, GADTs, type lambdas, match types, typeclass derivation, and compile-time verification.

Core Features & Use Cases

  • Advanced Type System: Supports advanced Scala 3 features like variance, GADTs, type lambdas, match types, and typeclass derivation.
  • Compile-Time Verification: Offers compile-time type checks and optimizations for more robust and performant libraries.
  • Use Case: Ideal for library authors and developers who need to create APIs with advanced type handling, such as variance, typeclass implementations, and higher-kinded types.

Quick Start

Use the scala-typelevel skill to generate typeclass instances for your library API.

Frequently Asked Questions about scala-typelevel

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I implement typeclass derivation for a Scala 3 library?▼

To implement typeclass derivation in Scala 3, use advanced type system tools that support compile-time verification and automatic instance generation for complex APIs. This Skill provides the necessary scripts and references for generating typeclass instances.

What is the best way to handle variance and GADTs in Scala 3?▼

Handling variance and GADTs in Scala 3 requires advanced type system tools that enforce compile-time type checks. This Skill offers specialized references and scripts to optimize complex API design and ensure robust type safety.

Do I need advanced Scala 3 knowledge to use compile-time verification tools?▼

Yes, utilizing compile-time verification tools for Scala 3 requires prior knowledge of typeclass implementation and advanced type handling. This Skill targets library authors already familiar with complex Scala 3 API development.

Can I use match types and type lambdas for library development in Scala 3?▼

Yes, you can use match types and type lambdas for Scala 3 library development to achieve compile-time type checks and optimizations. This Skill provides tools specifically designed for implementing these advanced type features.

Why does my Scala 3 typeclass implementation fail compile-time checks?▼

Scala 3 typeclass implementations may fail compile-time checks if advanced type handling like variance or GADTs is configured incorrectly. This Skill provides verification tools to optimize and resolve robust API type errors.

Related Skills

Explore More Software Engineering Skills→
EtaCassiopeiaEtaCassiopeia

fp-advanced

Implement advanced functional programming patterns in Scala 3 and ZIO.

Community
Advanced
cursor-jscursor-js

typescript-advanced-types

Explain TypeScript advanced types for building reusable type-safe abstractions.

Official
Advanced
kubuszokkubuszok
68

hearth-enum-rules

Derive type-class instances for sealed traits and Scala 3 enums via Enum.parse.

Official
Advanced
enigmaicon-engenigmaicon-eng
1

typescript-pro

Implement advanced TypeScript type systems with generics, discriminated unions, and type guards.

Community
Advanced