Haskell Type System

10

8

6

4

2

8.4

0.0

typelevel-rewrite-rules

7.8

0.0

uom-plugin

4.9

4.3

type-level-numbers

3.2

0.0

type-eq

0.7

0.0

funspection

5 Type System packages and projects

typelevel-rewrite-rules

8.4 0.0 Haskell

rewrite rules for type-level equalities
uom-plugin

7.8 0.0 Haskell

Units of measure as a GHC typechecker plugin

Workflow assistant built for devs & their teams

Automate the mundane part of your day, with live actionable messages for your GitHub & Jira tasks.

Promo www.zigi.ai

type-level-numbers

4.9 4.3 Haskell

Implementation of type level natural and signed integer numbers in haskell using type families.
type-eq

3.2 0.0 Haskell

Type equality evidence you can carry around
funspection

0.7 0.0 Haskell

Type-level function utilities

Popular Comparisons

type-eq

vs

uom-plugin

Add another 'Type System' Package

Do not miss the trending, packages, news and articles with our weekly report.

Awesome Haskell is part of the LibHunt network. Terms. Privacy Policy.