Search results

Deriving HNodes (and friends) fails in the presence of PolyKinds

Status: Open.

#23 In lamdu/hypertypes;

· expipiplus1 opened on Sep 19, 2024

Please export <code>makeCommonInstances</code>

Status: Open.

#21 In lamdu/hypertypes;

· silky opened on Feb 25, 2024

Would love a complete <code>Person</code> example :)

Status: Open.

#20 In lamdu/hypertypes;

· silky opened on Feb 25, 2024

Folding over the closure of child types

Status: Open.

#19 In lamdu/hypertypes;

· expipiplus1 opened on Sep 10, 2023

Split up the package

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#18 In lamdu/hypertypes;

· expipiplus1 opened on Jul 25, 2023

Type-class support MVP

enhancementNew feature or requestNew feature or request

Status: Open.

#12 In lamdu/hypertypes;

· yairchu opened on May 9, 2022

Make use of GADTs rather than TypeFamilies for nicer inference and type errors

Status: Open.

#1 In lamdu/hypertypes;

· yairchu opened on Jun 17, 2019