type-combinators-singletons alternatives and similar packages

Based on the "type" category.
Alternatively, view type-combinators-singletons alternatives based on common mentions on social networks and blogs.

type-combinators

7.3 0.0 type-combinators-singletons VS type-combinators

Type level lists, pairs, sums, their operations, and their properties.
type-aligned

7.3 0.0 type-combinators-singletons VS type-aligned

Various type-aligned sequence data structures.

Learn any GitHub repo in 59 seconds

Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.

Promo getonboard.dev

type-equality

6.5 0.0 type-combinators-singletons VS type-equality

Haskell definition of type equality, coercion/cast and other operations.
type-fun

6.2 0.0 type-combinators-singletons VS type-fun

Fun with types
type-level

5.6 0.0 type-combinators-singletons VS type-level

Type-level programming library
type-unary

5.4 0.0 type-combinators-singletons VS type-unary

Type-level and typed unary natural numbers, vectors, inequality proofs
type-map

4.9 0.0 type-combinators-singletons VS type-map

Type-indexed maps, or a lightweight record library
type-level-tf

3.8 0.0 type-combinators-singletons VS type-level-tf

Type level numerics for Haskell using type families. Based on type-level.
type-level-integers

2.6 0.0 type-combinators-singletons VS type-level-integers

Provides integers lifted to the type level.
type-combinators-quote

2.0 0.0 type-combinators-singletons VS type-combinators-quote

Quasiquoters for the 'type-combinators' library.

Do you think we are missing an alternative of type-combinators-singletons or a related project?

Add another 'type' Package

Popular Comparisons

README

type-combinator-singletons

Conversions between data-types in type-combinators and singletons from singletons and orphan instances.

There's a lot of overlap in functionality between the two libraries. I often use both of them together side-by-side to do different things, but there is some friction the process of converting between the identical data types that both libraries have, and between similar typeclasses. This library attempts to ease that friction by providing conversion functions between identical data types and also many of the appropriate orphan typeclass instances.