Frames-0.1.9: Data frames For working with tabular data files

Safe HaskellNone
LanguageHaskell2010

Frames.Rec

Synopsis

Documentation

type Record = Rec Identity Source #

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 Source #

A cons function for building Record values.

type family RecordColumns t where ... Source #

Equations

RecordColumns (Record ts) = ts 

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

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

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

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] Source #

Show each field of a Record without its column name.