Pipes.KeyValueCsv.Names

Default key name generation by printing the field label type names.

Documentation

names :: forall rs. (FieldAll rs Typeable, Record rs) => Rec (Const Text) rs

type family FieldAll rs c :: Constraint

Assert that all field labels in a given type list satisfy a given constraint.

Equations

FieldAll k ([] k) c = ()

FieldAll k ((:) k r rs) c = (c r, FieldAll k rs c)

class Record rs

Create a dummy record parametrized by Proxy. The class is named Record to signify that every possible type list is its instance.

Minimal complete definition

proxyRecord

Instances

Record k ([] k)

Record k rs => Record k ((:) k r rs)