Popularity

6.1

Growing

Activity

0.0

Declining

Stars 5

Watchers 3

Forks 7

Last Commit almost 2 years ago

Monthly Downloads: 30

Programming language: Haskell

License: BSD 3-clause "New" or "Revised" License

Tags: Data Dependent Types Type

Latest version: v0.1.1

type-fun alternatives and similar packages

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

type-combinators

7.4 0.0 type-fun VS type-combinators

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

7.4 0.0 type-fun VS type-aligned

Various type-aligned sequence data structures.

Static code analysis for 29 languages.

Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

Promo www.sonarqube.org

type-equality

6.4 0.0 type-fun VS type-equality

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

5.8 0.0 type-fun VS type-level

Type-level programming library
type-unary

5.2 0.0 type-fun VS type-unary

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

4.7 0.0 type-fun VS type-map

Type-indexed maps, or a lightweight record library
type-combinators-singletons

3.4 0.0 type-fun VS type-combinators-singletons

Interop between type-combinators and singletons library
type-level-tf

3.2 0.0 type-fun VS type-level-tf

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

2.2 0.0 type-fun VS type-combinators-quote

Quasiquoters for the 'type-combinators' library.
type-level-integers

1.9 0.0 type-fun VS type-level-integers

Provides integers lifted to the type level.