Popularity
5.0
Declining
Activity
0.0
Stable
6
3
2
Monthly Downloads: 73
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
type-unary alternatives and similar packages
Based on the "type" category.
Alternatively, view type-unary alternatives based on common mentions on social networks and blogs.
-
type-combinators
Type level lists, pairs, sums, their operations, and their properties. -
type-equality
Haskell definition of type equality, coercion/cast and other operations. -
type-combinators-singletons
Interop between type-combinators and singletons library -
type-level-tf
Type level numerics for Haskell using type families. Based on type-level. -
type-combinators-quote
Quasiquoters for the 'type-combinators' library. -
type-level-integers
Provides integers lifted to the type level.
Build time-series-based applications quickly and at scale.
InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.
Promo
www.influxdata.com
Do you think we are missing an alternative of type-unary or a related project?
README
Simple, type-level natural numbers.
There are probably many of these packages. Perhaps consolidate. This one is extracted from Shady.