CTRex

From HaskellWiki
Jump to navigation Jump to search

Introduction

This page describes the design, usage and motivation for CTRex

CTRex is a library for Haskell which implements extensible records using closed type families and type literals. It does *not* use overlapping instances.