Search results

how does Vinyl fare on B2T2?

Status: Open.

#172 In VinylRecords/Vinyl;

· shriram opened on Aug 12, 2024

restrictCoRec is unsound

Status: Open.

#171 In VinylRecords/Vinyl;

· samuel-gelineau-at-well-dot opened on Sep 20, 2023

GHC mainline testing with Horizon

Status: Open.

#169 In VinylRecords/Vinyl;

· locallycompact opened on May 30, 2023

Lazy Take?

Status: Open.

#167 In VinylRecords/Vinyl;

· treeowl opened on Sep 23, 2022

Data instance?

Status: Open.

#161 In VinylRecords/Vinyl;

· locallycompact opened on Mar 18, 2022

Hashable instance?

Status: Open.

#158 In VinylRecords/Vinyl;

· adamConnerSax opened on Mar 8, 2022

toARec doesn't inline properly

Status: Open.

#153 In VinylRecords/Vinyl;

· Philonous opened on May 14, 2021

Surprising accessor performance for ARec

Status: Open.

#150 In VinylRecords/Vinyl;

· Philonous opened on May 9, 2021

A way to get a Generic instance equivalent to that of plain haskell record?

Status: Open.

#148 In VinylRecords/Vinyl;

· YPares opened on Jan 26, 2021

Sort out ARec strictness

Status: Open.

#146 In VinylRecords/Vinyl;

· treeowl opened on Dec 15, 2020

missing non-unicode equivalent for ∈

Status: Open.

#143 In VinylRecords/Vinyl;

· MMesch opened on Sep 20, 2020

IsoHKD for composite's field type.

Status: Open.

#142 In VinylRecords/Vinyl;

· locallycompact opened on Aug 27, 2020