row-types

Open Records and Variants

Version1.0.1.2
CategoryData, Data Structures
LicenceMIT
AuthorDaniel Winograd-Cort, Matthew Farkas-Dyck
Maintainerdwincort@gmail.com
Homepagegithub.com/dwincort/row-types
Pinned byhackage row-types 1.0.1.2
Sourcehackage.haskell.org/package/row-types-1.0.1.2

Modules

6 modules

Data.Row42This module includes a set of common functions for Records and Variants.
Data.Row.Dictionaries37This module exports various dictionaries that help the type-checker when
Data.Row.Records82This module implements extensible records using closed type famillies. See Examples.lhs for examples. Lists of (label,type) pairs are kep…
Data.Row.Switch3This module provides the ability to discharge a polymorphic variant using
Data.Row.Variants65This module implements extensible variants using closed type families.

Internal modules · 1

Data.Row.Internal41This module implements the internals of open records and variants.

Description

This package uses closed type families and type literals to implement open records and variants. The core is based off of the CTRex package, but it also includes polymorphic variants and a number of additional functions. That said, it is not a proper superset of CTRex as it specifically forbids records from having more than one element of the same label.

Depends on

8 packages

Used by in this set · 0

Nothing in this set depends on it.