GitHub · Where software is built

Preview

Labels Milestones New issue

Make `singletons` buildable after GHC#23515

#601

· RyanGlScott opened

on Jun 1, 2024

Use `GHC2024` in `singletons-th` and `singletons-base`

#594

· RyanGlScott opened

on May 24, 2024

Support promoting/singling invisible type patterns

#583

· RyanGlScott opened

on May 1, 2024

Singling Nat-indexed GADT with addition?

#580

· bgamari opened

on Jan 27, 2024

How is it possible to discharge Show instance of Sigma?

#579

· tomjaguarpaw opened

on Nov 30, 2023

Consider allowing promotion and singling of all rank-1 types

Blocked upstream

#542

· RyanGlScott opened

on Nov 12, 2022

Lazy Take?

#539

· treeowl opened

on Sep 21, 2022

Split out `singletons-base` test suite into its own package

#526

· RyanGlScott opened

on Aug 10, 2022

TypeRep in data type does not work with genSingletons.

#503

· Sintrastes opened

on Aug 29, 2021

`SChecked` for gradual typing.

#502

· tscholak opened

on Jul 16, 2021

Singletonize functions that already use singletons

#460

· greatBigDot opened

on Apr 30, 2020

Add S combinator i.e. ap for (->) a

Blocked upstream

#455

· infinity0 opened

on Apr 25, 2020