Data.HList.RecordP

data RecordP ls vs

mkRecordP

class HSameLength l1 l2

emptyRecordP

class RecordR2P r ls vs

labels_of_recordp

class HasFieldP' b l r v

hDeleteAtLabelP

hUpdateAtLabelP

class HProjectByLabelP l ls vs lso v vso

class HProjectByLabelP' b l ls vs lso v vso