Skills
.Work. You
Rest

fp-ts Algebraic Data Types and Type Classes

Community

Model FP domains with ADTs and type classes

Software Engineering#typescript#pattern-matching#domain-modeling#adt#fp-ts#algebraic-data-types#type-classes
Authorwhatiskadudoing
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This skill provides a practical approach to modeling domain concepts in TypeScript using algebraic data types (ADTs) and type classes, enabling safer, more expressive code.

Core Features & Use Cases

  • Product types (tuples and records) for representing data where all parts are required.
  • Sum types (discriminated unions) for modeling mutually exclusive states and workflows.
  • Type classes (Eq, Ord, Semigroup, Monoid) and utilities for flexible composition and domain modeling.
  • Real-world examples: domain modeling, API design, and validation within fp-ts.

Quick Start

Start by defining a simple ADT and a corresponding type-class instance in fp-ts, then compose it with a small domain example.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: fp-ts Algebraic Data Types and Type Classes
Download link: https://github.com/whatiskadudoing/fp-ts-skills/archive/main.zip#fp-ts-algebraic-data-types-and-type-classes

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.