Data.OverloadedRecords

Usage Examples

Oveloaded Labels

Overloaded Record Fields

Getter

type family FieldType l s :: *

class HasField l s a

data Getter s a

get

Setter and Modifier

type family UpdateType l s b :: *

class ModifyField l s t a b

type family R ts r :: Constraint

type l ::: a

data Rec ts r

type Setting a s t b

setting

type Setter s t b

set

data Modifier s t a b

modify

Simple Setter and Modifier

type ModifyField' l s a

fieldLens'

modifyField'

setField'

type Setter' s a

set'

type Modifier' s a

modify'

IsLabel For Getter and Lens

type family FromArrow a :: Bool

class IsFieldAccessor l x y z