free-monad-gen
OfficialGenerate free monads for effectful DSLs.
Authorplurigrid
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill demonstrates Free Monad generation from signatures, showing how you can model effects and interpreters for DSLs.
Core Features & Use Cases
- Free vs Cofree: Contrast between producer-structure and consumer-context models.
- Pattern Runs on Matter: Signatures yielding executable programs and environments.
- Integration Concepts: Freer monads and DSL generation patterns.
Quick Start
Generate a free structure from a signature with just free-gen, interpret results with just free-interpret, and generate color streams with just free-color-stream.
Dependency Matrix
Required Modules
None requiredComponents
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: free-monad-gen Download link: https://github.com/plurigrid/asi/archive/main.zip#free-monad-gen Please download this .zip file, extract it, and install it in the .claude/skills/ directory.