Haskell Type System

8.4

0.0

typelevel-rewrite-rules

7.7

0.0

uom-plugin

4.8

3.2

type-level-numbers

3.9

0.0

type-eq

0.6

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.7 0.0 Haskell

Units of measure as a GHC typechecker plugin

Access the most powerful time series database as a service

Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.

Promo www.influxdata.com

type-level-numbers

4.8 3.2 Haskell

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

3.9 0.0 Haskell

Type equality evidence you can carry around
funspection

0.6 0.0 Haskell

Type-level function utilities

Popular Comparisons

type-eq

vs

uom-plugin

Add another 'Type System' Package