Popularity
4.4
Declining
Activity
0.0
Stable
5
2
2
Monthly Downloads: 96
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 freenode #haskell-lens -
semantic-source
Parsing, analyzing, and comparing source code across many languages -
-
code-builder
Packages for defining APIs, running them, generating client code and documentation. -
text
An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework. -
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. -
-
compendium-client
Mu (μ) is a purely functional framework for building micro services. -
-
primitive
This package provides various primitive memory-related operations. -
binary
Efficient, pure binary serialisation using ByteStrings in Haskell. -
resource-pool
A high-performance striped resource pooling implementation for Haskell -
-
hashable
A class for types that can be converted to a hash value -
dependent-map
Dependently-typed finite maps (partial dependent products) -
discrimination
Fast linear time sorting and discrimination for a large class of data types -
json-autotype
Automatic Haskell type inference from JSON input -
IORefCAS
A collection of different packages for CAS based data structures. -
hashtables
Mutable hash tables for Haskell, in the ST monad -
dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them -
audiovisual
Extensible records, variants, structs, effects, tangles -
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 -
-
orgmode-parse
Attoparsec parser combinators for parsing org-mode structured text! -
bifunctors
Haskell 98 bifunctors, bifoldables and bitraversables -
protobuf
An implementation of Google's Protocol Buffers in Haskell. -
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. -
typerep-map
⚡️Efficient implementation of Map with types as keys -
uuid-types
A Haskell library for creating, printing and parsing UUIDs
Do you think we are missing an alternative of typelits-witnesses or a related project?
|
Scout APM: A developer's best friend. Try free for 14-days
sponsored
scoutapm.com
|
Popular Comparisons
-
protobufvsCBOR
-
network-addressvsradius
-
binaryvsboring
-
json-autotypevsbase58string
-
avrovsprotobuf
|
SaaSHub - Software Alternatives and Reviews
sponsored
www.saashub.com
|
README
typelits-witnesses
This library contains:
- A small specialized subset of the singletons library as it pertains to
NatandSymbol, for when you need some simple functionality without wanting to invoke the entire singletons library. - Operations for manipulating these singletons and
KnownNatandKnownSymbolinstances, such as addition and multiplication of singletons/KnownNatinstances. - Operations for the comparison of
Nats 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.