Popularity
5.2
Growing
Activity
0.0
Stable
5
3
3
Monthly Downloads: 74
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.
-
semantic-source
Parsing, analyzing, and comparing source code across many languages -
lens
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens -
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. -
unordered-containers
Efficient hashing-based container types -
cassava
A CSV parsing and encoding library optimized for ease of use and high performance -
compendium-client
Mu (μ) is a purely functional framework for building micro services. -
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 -
dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them -
json-autotype
Automatic Haskell type inference from JSON input -
reflection
Reifies arbitrary Haskell terms into types that can be reflected back into terms -
safecopy
An extension to Data.Serialize with built-in version control -
audiovisual
Extensible records, variants, structs, effects, tangles -
dependent-map
Dependently-typed finite maps (partial dependent products) -
IORefCAS
A collection of different packages for CAS based data structures. -
protobuf
An implementation of Google's Protocol Buffers in Haskell. -
orgmode-parse
Attoparsec parser combinators for parsing org-mode structured text! -
streaming
An optimized general monad transformer for streaming applications, with a simple prelude of functions -
bifunctors
Haskell 98 bifunctors, bifoldables and bitraversables -
text-icu
This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text. -
scientific
Arbitrary-precision floating-point numbers represented using scientific notation -
uuid-types
A Haskell library for creating, printing and parsing UUIDs -
typerep-map
⚡️Efficient implementation of Map with types as keys
Less time debugging, more time building
Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
Promo
scoutapm.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.