Setup & Installation
Or with the ClawHub CLI, for registry-managed skill folders outside a full OpenClaw workspace:
What This Skill Does
Expert guide for Haskell development covering type-driven design, GHC extensions, Cabal and Nix builds, testing with HSpec and QuickCheck, and performance profiling. Includes project structure templates, common patterns like the ReaderT pattern, and a curated library reference.
Consolidates build tooling, type system patterns, library selection, and performance guidance in one reference, avoiding context-switching across separate documentation sources.
When to use it
- Designing domain models with phantom types to enforce compile-time state transitions
- Setting up a new Cabal project with proper module layout and GHC warning flags
- Debugging space leaks using GHC heap profiling and strictness annotations
- Writing property-based tests with QuickCheck for pure functions
- Building a JSON HTTP service with Warp and aeson
Example Workflow
Here's how your AI assistant might use this skill in practice.
User asks: How do I model an article publishing workflow so invalid state transitions are impossible?
- 1Define phantom types Draft and Published as empty data declarations
- 2Parameterize the Article type over a state phantom type variable
- 3Write a publish function typed Article Draft -> Article Published so the transition is enforced by the compiler
- 4Add a share function accepting only Article Published to prevent sharing unpublished content
A type-safe state machine where attempting to share a Draft article is a compile error, not a runtime failure