Data.Record

Record basics

data X style

data (rec :& field) style

data (name ::: sort) style

class Name name

class Record kind rec

data Expander thing rec name sort

Record conversion

class Convertible rec rec'

Field separation

class Separation rec remain sepName sepSort