Skip to content

Latest commit

 

History

History
38 lines (30 loc) · 1.18 KB

Frames-notes.org_archive

File metadata and controls

38 lines (30 loc) · 1.18 KB
Raw

Archived entries from file /home/acowley/Projects/Frames/Frames-notes.org

Change Record to be FieldRec

Archived entries from file /home/acowley/Projects/Frames/Frames-notes.org

See about using an HKD type family in vinyl

To eliminate Compose, ElField, and Identity syntax noise.

Generate VectorFor type family instances for Categorical types

It would be particularly nice if we can pick a Word size based on the number of variants we need to represent. Perhaps an Unbox instance can mediate conversion between the custom data type and Word8, Word16, etc.