agrafix / agrafix/superrecord

Is label sorting necessary?

Abierto
#11 7 comentarios 3 reacciones 0 asignados Ver en GitHub
Lenguaje dominante
Haskell
Estrellas
83
Forks
16
Métricas de merge de PR
Sin PR fusionados en 30 d

Descripción

I want to use `Superrecord` to work with foreign data.
I need records `Rec '["foo" := Int, "bar" := Float]` and `Rec '["bar" := Float, "foo" := Int]` to be different, because they correspond to different C structs, but I can't even create `Rec '["foo" := Int, "bar" := Float]` because `rcons` sorts labels of its result record.

So, why do you need label sorting? Can the library work without it?

Guía de contribución

No hay ninguna guía de contribución indexada para este repositorio

Evaluación

Este issue todavía no se ha evaluado.

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.