Popularity
7.5
Growing
Activity
5.1
-
15
3
14
Monthly Downloads: 7
Programming language: Haskell
License: MIT License
Tags:
Data
Latest version: v0.4.0.0
typelits-witnesses alternatives and similar packages
Based on the "Data" category.
Alternatively, view typelits-witnesses alternatives based on common mentions on social networks and blogs.
-
compendium-client
DISCONTINUED. Mu (μ) is a purely functional framework for building micro services. -
streaming
An optimized general monad transformer for streaming applications, with a simple prelude of functions -
text-icu
This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
Promo
www.influxdata.com

Do you think we are missing an alternative of typelits-witnesses or a related project?
README
typelits-witnesses
This library contains:
- A small specialized subset of the singletons library as it pertains to
Nat
andSymbol
, for when you need some simple functionality without wanting to invoke the entire singletons library. - Operations for manipulating these singletons and
KnownNat
andKnownSymbol
instances, such as addition and multiplication of singletons/KnownNat
instances. - Operations for the comparison of
Nat
s in a way that works well with GHC.TypeLits's different comparison systems. This is helpful for bridging together libraries that use different systems; this functionality is not yet provided by singletons.