Data.Ruin

Singleton records

data s :@ a

Accessing parts of records

class Has s t

Hiding fields

data Hide ss rc

Record types' width subtyping

Lowest-level combinators

class Build t

Pure combinators

Applicative combinators

Fieldwise combinators

class FPure a s b

Ascription

type family UnifyFieldTypes (ss :: [Symbol]) (t :: *) (h :: *) :: Constraint where ...

type UnifyShape l r

Conveniences

data Label s

type Labels fs

class NoWarnUnusedTopBind t