Search results

collapse_NP doesn't participate in foldr/build fusion

Status: Open.

#187 In well-typed/generics-sop;

· jtnuttall opened on Mar 12, 2026

Allow cpara_SList to put constraint on the ys as well

Status: Open.

#183 In well-typed/generics-sop;

· SeungheonOh opened on Mar 14, 2025

Deriving instances for SOP functors using phantom types

Status: Open.

#182 In well-typed/generics-sop;

· fpringle opened on Mar 2, 2025

sop-core: Concatenate a POP into an NP

Status: Open.

#176 In well-typed/generics-sop;

· turion opened on Dec 4, 2023

Inconsistent usage/requirement of SListI

Status: Open.

#175 In well-typed/generics-sop;

· phadej opened on Nov 13, 2023

Linear fields in NP

Status: Open.

#174 In well-typed/generics-sop;

· alt-romes opened on Oct 11, 2023

Support for HKD?

Status: Open.

#166 In well-typed/generics-sop;

· edsko opened on Apr 27, 2023

Reasoning about AllZip and AllZip2

Status: Open.

#163 In well-typed/generics-sop;

· edsko opened on Mar 23, 2023

Error with Generic constraint on type\data family GHC 9.4.2

Status: Open.

#158 In well-typed/generics-sop;

· Diamondy4 opened on Sep 16, 2022

Generic for unlifted types

Status: Open.

#155 In well-typed/generics-sop;

· kozross opened on Jul 10, 2022

1. Implement SOP.Generic (GHC.Generically a) and 2. export SOP.Generically

Status: Open.

#153 In well-typed/generics-sop;

· Icelandjack opened on Mar 17, 2022

Staged generics don't obviously support traversal

Status: Open.

#151 In well-typed/generics-sop;

· treeowl opened on Feb 8, 2022