Skills
.Work. You
Rest

build-effects

Community

Formalize the app’s effect stack with monads.

Software Engineering#monad#Reader#IO#Kleisli#effect stack
AuthorBellaBe
Version1.0.0
Installs0

System Documentation

What problem does it solve?

Build the monad stack for the application's effect algebra, formalizing unit, bind, and composition, ensuring correct handling of side effects in a principled way.

Core Features & Use Cases

  • Define IO, Either, and Reader layers with unit and bind
  • Compose into App monad with lifting and error handling
  • Verify monad laws and provide a runnable specification

Quick Start

Provide an App monad definition and a basic stack (Reader → IO → Either) to generate the specification.

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: build-effects
Download link: https://github.com/BellaBe/ideas-os/archive/main.zip#build-effects

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.