서번트가있는 데이터베이스 기반 REST API?

Question

간단한 증명 증명 서번트 API를 설정하는 중에 문제가 있습니다.

이

data User = User { id :: Int, first_name :: String, last_name :: String } deriving (Eq, Show, Generic) 
instance FromRow User 
instance ToRow User 
$(deriveJSON defaultOptions ''User) 

type API = "users" :> ReqBody '[JSON] User :> Post '[JSON] User 

이에 대한 핸들러 메소드는 다음과 같이 PostgreSQL을 - 간단한 사용 : 그런 된 DB 및 라우팅 방법에 연결하는 등의

create u = liftIO $ head <$> returning connection "insert into users (first_name, last_name) values (?,?) returning id" [(first_name u, last_name u)] 

상용구 코드이 내 사용자의 데이터 형과 내 API 유형입니다 생략했다. 문제는 내가 POST 요청을 할 경우, 내가 새 사용자를 만드는 일을 할 무엇을 원하는, 그래서 나는 JSON 제공 할 것입니다 :

{ "first_name": "jeff", "last_name": "lebowski" } 

하지만 내 프로그램

Error in $: When parsing the record User of type Lib.User the key id was not present. 

와 런타임에 실패합니다

API가 ID 필드가있는 사용자를 지정했기 때문에 이는 의미가 있습니다. 그러나 요청에 bogus id를 넘겨주고 싶지는 않습니다. 왜냐하면 그 요청은 총체적이기 때문에 순차적으로 postgres에 할당되기 때문입니다. Postgres-simple은 다른 엔드 포인트에 GET 요청을 할 때 모델 데이터베이스 불일치로 인해 실패하기 때문에 User 필드에서 id 필드를 이동할 수 없습니다 (이는 id로 얻습니다. 위에 포함되지 않음).). 여기서 무엇을해야합니까? 사용자 정의 FromJson 인스턴스를 작성 하시겠습니까? Data.Aeson.TH 옵션에 omitNothingFields를 True로 설정하고 id 필드를 Maybe Int로 설정했지만 이미 작동하지 않았습니다. 조언을 주시면 감사하겠습니다.

Answer 1

먼저이 사용자에 해당하는 테이블의 사용자와 행이 서로 다른 것을 이해해야합니다.

행에 ID가 있으면 사용자가 그렇지 않습니다. 예를 들어, ID를 사용하지 않고 두 명의 사용자를 비교하거나 저장 여부를 비교할 수 있습니다.

일단 확신을 얻은 후에는 이것을 유형 시스템에 설명해야하며, 그렇지 않을 경우 해결할 수없는 필드라고 생각해야합니다.

일부 사람들은 Template Haskell에 대해 이야기했습니다. 나는 그것이 과잉이라고 생각합니다. 먼저 문제를 해결해야합니다.

데이터 형식을 사용하여 데이터베이스에 저장된 행을 나타낼 수 있습니다. 엔티티라고 부르 자.

newtype PrimaryKey = PrimaryKey Int 

data Entity b = Entity PrimaryKey b 

그런 다음 데이터베이스에 사용자 행을 저장하는 함수는 매개 변수로 user을 가지고 (물론, 당신에서 데이터베이스 모나드)를 PrimaryKey를 반환 할 수 있습니다. 데이터베이스에서 읽는 다른 함수는 사용자 유형을 매개 변수로 다시 사용하므로 필드 선언이 중복되지 않습니다. Entity User

필드 선언은 중복되지 않습니다.

따라서 FromRow/ToRow 및 FromJSON/ToJSON을 적절하게 조정해야합니다.