RepLib-0.4.0: Generic programming library with representation types

Portabilitynon-portable
Stabilityexperimental
Maintainersweirich@cis.upenn.edu

Generics.RepLib

Contents

Description

 

Synopsis

Basic infrastructure

Basic Representations of types

Parameterized Representations of types

Representations of Prelude Types

Template Haskell for deriving representations

Libraries for defining Generic Operations

Library code for defining generic operations

Scrap your boilerplate operations

Generic Utilities and Applications

Library of generic operations

Derivable type classes written as generic operations