bitemyapp / bitemyapp/esqueleto

`deriveEsqueletoRecord` does not handle polymorphic records

Open
#383 2 comments 0 reactions 0 assignees View on GitHub
Dominant language
Haskell
Stars
399
Forks
107
Avg merge
1d 17h
Merged PRs (30d)
1

Description

Consider the type:

```haskell
data Record key = Record { key :: key, column :: Int }
```

We can't write `deriveEsqueletoRecord` here because there's a type error. We can't provide concrete things because `deriveEsqueletoRecord` takes a `Name` and not a `Type`, so we can't write `deriveEsqueletoRecord @(Record Foo)`.

Ideally we can support polymorphic records.

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by locating the deriveEsqueletoRecord entry point and reproducing the type error with the polymorphic Record key example from the issue. Determine how the derivation accepts concrete names and what design would support type parameters; done means polymorphic records can use deriveEsqueletoRecord without a type error.

Written by the indexing model from the issue text.

Assessment

Tech stack
haskell
Domain
databases
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
30/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.