Frames.Rec

Documentation

type Record = Rec Identity

A record with unadorned values. This is Vinyl's Rec Identity. We give this type a name as it is used pervasively for records in Frames.

(&:) :: a -> Record rs -> Record ((s :-> a) ': rs) infixr 5

A cons function for building Record values.

type family RecordColumns t where ...

Equations

RecordColumns (Record ts) = ts

recUncons :: Record ((s :-> a) ': rs) -> (a, Record rs)

Separate the first element of a Record from the rest of the row.

recMaybe :: Rec Maybe cs -> Maybe (Record cs)

Undistribute Maybe from a Rec Maybe. This is just a specific usage of rtraverse, but it is quite common.

showFields :: (RecAll Identity (UnColumn ts) Show, AsVinyl ts) => Record ts -> [String]

Show each field of a Record without its column name.