Popularity
6.8
Growing
Activity
0.0
Stable
8
3
10
Monthly Downloads: 46
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.
-
lens
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens -
semantic-source
Parsing, analyzing, and comparing source code across many languages -
text
Haskell library for space- and time-efficient operations over Unicode text. -
code-builder
Packages for defining APIs, running them, generating client code and documentation. -
compendium-client
Mu (μ) is a purely functional framework for building micro services. -
unordered-containers
Efficient hashing-based container types -
cassava
A CSV parsing and encoding library optimized for ease of use and high performance -
holmes
A reference library for constraint-solving with propagators and CDCL. -
hashable
A class for types that can be converted to a hash value -
binary
Efficient, pure binary serialisation using ByteStrings in Haskell. -
resource-pool
A high-performance striped resource pooling implementation for Haskell -
primitive
This package provides various primitive memory-related operations. -
discrimination
Fast linear time sorting and discrimination for a large class of data types -
hashtables
Mutable hash tables for Haskell, in the ST monad -
json-autotype
Automatic Haskell type inference from JSON input -
audiovisual
Extensible records, variants, structs, effects, tangles -
IORefCAS
A collection of different packages for CAS based data structures. -
dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them -
reflection
Reifies arbitrary Haskell terms into types that can be reflected back into terms -
dependent-map
Dependently-typed finite maps (partial dependent products) -
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. -
orgmode-parse
Attoparsec parser combinators for parsing org-mode structured text! -
bifunctors
Haskell 98 bifunctors, bifoldables and bitraversables -
safecopy
An extension to Data.Serialize with built-in version control -
protobuf
An implementation of Google's Protocol Buffers in Haskell. -
scientific
Arbitrary-precision floating-point numbers represented using scientific notation -
typerep-map
⚡️Efficient implementation of Map with types as keys
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
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.