Получить текстовое представление поля записи?

Question

Имея такую ​​запись:

data Sleep = Sleep 
    { _duration :: Maybe Int 
    , _drunk :: Bool 
    } 

Есть ли способ сделать следующее:

deriveSomething ''Sleep 

fieldName duration :: String -- "duration" 

мне это нужно для типизированного DB обновлений конкретных мест, а именно:

setField connection key duration (Just 50) 

It должен быть DB-агностиком, хотя (таким образом, opaleye и т. д. отсутствует).

(Если это может быть достигнуто с помощью стандартного пакета, как lens еще лучше, но я не смог найти что-нибудь.)

Answer 1

Вы можете сделать это с помощью Data.Data:

{-# LANGUAGE DeriveDataTypeable #-} 
import Data.Data 

data Sleep = Sleep 
    { _duration :: Maybe Int 
    , _drunk :: Bool 
    } deriving (Typeable, Data) 

fieldNames :: Data a => a -> [String] 
fieldNames = constrFields . toConstr 

Пример:

> fieldNames (Sleep undefined undefined) 
["_duration", "_drunk"] 

Вам нужно будет решить, как вы хотите преобразовать имена в столбцы базы данных после этого, но это должно быть довольно легко.

Для этого требуется значение, созданное с использованием конкретного конструктора, помните, что типы данных могут иметь много конструкторов. Существует на самом деле не способ обойти это, но вы могли бы иметь что-то вроде

sleepFieldNames :: [String] 
sleepFieldNames = fieldNames (Sleep undefined undefined) 

Так что вам не придется держать его перерасчета.