Data.OpenRecords

Types and constraints

data Label s

class KnownSymbol n

data Rec r

data Row a

Construction

empty

type family Empty :: Row *

Extension

extend

extendUnique

type family Extend l a r :: Row *

Renaming

rename

renameUnique

type family Rename l l' r :: Row *

Restriction

(.-)

type family r :- s :: Row *

Update

update

Query

(.!)

type family r :! t :: *

Combine

Union

(.++)

type family l :++ r :: Row *

Disjoint union

(.+)

type family l :+ r :: Row *

Row constraints

type r :\ l

type Disjoint l r

class Labels r

class Forall r c

data CWit c

data FWit f

Row only operations

Syntactic sugar

data RecOp c rowOp

data RowOp a

(.|)

type family x :| r :: Row *