typelits-witnesses

Existential witnesses, singletons, and classes for operations on GHC TypeLits

hackage.haskell.org Source Code Changelog

Suggest Changes

Popularity

7.3

Growing

Activity

2.6

-

Stars 10

Watchers 4

Forks 13

Last Commit 5 months ago

Monthly Downloads: 61

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

10.0 9.1 typelits-witnesses VS semantic-source

Parsing, analyzing, and comparing source code across many languages
lens

10.0 6.8 typelits-witnesses VS lens

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

WorkOS - The modern identity platform for B2B SaaS

The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

Promo workos.com

hnix

9.9 6.8 typelits-witnesses VS hnix

A Haskell re-implementation of the Nix expression language
code-builder

9.8 0.0 typelits-witnesses VS code-builder

Packages for defining APIs, running them, generating client code and documentation.
text

9.8 8.4 typelits-witnesses VS text

Haskell library for space- and time-efficient operations over Unicode text.
compendium-client

9.7 0.0 typelits-witnesses VS compendium-client

Mu (μ) is a purely functional framework for building micro services.
unordered-containers

9.7 5.0 typelits-witnesses VS unordered-containers

Efficient hashing-based container types
Frames

9.7 6.1 typelits-witnesses VS Frames

Data frames for tabular data.
massiv

9.7 5.9 typelits-witnesses VS massiv

Efficient Haskell Arrays featuring Parallel computation
cassava

9.7 5.9 typelits-witnesses VS cassava

A CSV parsing and encoding library optimized for ease of use and high performance
holmes

9.6 0.0 typelits-witnesses VS holmes

A reference library for constraint-solving with propagators and CDCL.
resource-pool

9.5 0.0 typelits-witnesses VS resource-pool

A high-performance striped resource pooling implementation for Haskell
hashable

9.5 5.7 typelits-witnesses VS hashable

A class for types that can be converted to a hash value
alfred-margaret

9.5 3.5 typelits-witnesses VS alfred-margaret

Fast Aho-Corasick string searching
refined

9.5 1.5 typelits-witnesses VS refined

Refinement types with static checking
critbit

9.5 0.0 typelits-witnesses VS critbit

A Haskell implementation of crit-bit trees.
primitive

9.5 5.9 typelits-witnesses VS primitive

This package provides various primitive memory-related operations.
binary

9.5 4.3 typelits-witnesses VS binary

Efficient, pure binary serialisation using ByteStrings in Haskell.
higgledy

9.4 2.2 typelits-witnesses VS higgledy

Higher-kinded data via generics
data-msgpack

9.4 typelits-witnesses VS data-msgpack

A Haskell implementation of MessagePack
caledon

9.4 0.0 typelits-witnesses VS caledon

higher order dependently typed logic programing
jump

9.4 0.0 typelits-witnesses VS jump

Jump start your Haskell development
discrimination

9.4 3.1 typelits-witnesses VS discrimination

Fast linear time sorting and discrimination for a large class of data types
json-autotype

9.4 0.0 typelits-witnesses VS json-autotype

Automatic Haskell type inference from JSON input
network-msgpack-rpc

9.4 typelits-witnesses VS network-msgpack-rpc

A MessagePack-RPC Implementation
aeson-qq

9.4 3.6 typelits-witnesses VS aeson-qq

JSON quasiquoter for Haskell
diskhash

9.4 0.0 typelits-witnesses VS diskhash

Diskbased (persistent) hashtable
hashtables

9.4 1.0 typelits-witnesses VS hashtables

Mutable hash tables for Haskell, in the ST monad
audiovisual

9.3 3.5 typelits-witnesses VS audiovisual

Extensible records, variants, structs, effects, tangles
reflection

9.3 4.8 typelits-witnesses VS reflection

Reifies arbitrary Haskell terms into types that can be reflected back into terms
dependent-sum

9.3 4.3 typelits-witnesses VS dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them
dependent-map

9.3 0.0 typelits-witnesses VS dependent-map

Dependently-typed finite maps (partial dependent products)
cereal

9.3 0.0 typelits-witnesses VS cereal

A binary serialization library
IORefCAS

9.3 3.5 typelits-witnesses VS IORefCAS

A collection of different packages for CAS based data structures.
certificate

9.3 0.0 typelits-witnesses VS certificate

Certificate and Key Reader/Writer in haskell
protobuf

9.2 2.6 typelits-witnesses VS protobuf

An implementation of Google's Protocol Buffers in Haskell.
safecopy

9.2 3.1 typelits-witnesses VS safecopy

An extension to Data.Serialize with built-in version control
streaming

9.2 0.0 typelits-witnesses VS streaming

An optimized general monad transformer for streaming applications, with a simple prelude of functions
rei

9.2 0.0 typelits-witnesses VS rei

Process lists easily
bifunctors

9.2 5.6 typelits-witnesses VS bifunctors

Haskell 98 bifunctors, bifoldables and bitraversables
orgmode-parse

9.2 0.0 typelits-witnesses VS orgmode-parse

Attoparsec parser combinators for parsing org-mode structured text!
avro

9.2 4.2 typelits-witnesses VS avro

Haskell Avro Encoding and Decoding Native Support (no RPC)
scientific

9.2 0.0 typelits-witnesses VS scientific

Arbitrary-precision floating-point numbers represented using scientific notation
uuid

9.1 2.9 typelits-witnesses VS uuid

A Haskell library for creating, printing and parsing UUIDs
b-tree

9.1 1.8 typelits-witnesses VS b-tree

Haskell on-disk B* tree implementation
uuid-types

9.1 2.9 typelits-witnesses VS uuid-types

A Haskell library for creating, printing and parsing UUIDs
text-icu

9.1 6.1 typelits-witnesses VS text-icu

This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
witherable

9.1 6.4 typelits-witnesses VS witherable

Filter with effects
stdio

9.1 1.8 typelits-witnesses VS stdio

Haskell Standard Input and Output
tables

9.1 0.0 typelits-witnesses VS tables

Deprecated because of

Do you think we are missing an alternative of typelits-witnesses or a related project?

Add another 'Data' Package

Popular Comparisons

README

typelits-witnesses

This library contains:

A small specialized subset of the singletons library as it pertains to Nat and Symbol, for when you need some simple functionality without wanting to invoke the entire singletons library.
Operations for manipulating these singletons and KnownNat and KnownSymbol instances, such as addition and multiplication of singletons/KnownNat instances.
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.

Do not miss the trending, packages, news and articles with our weekly report.

Awesome Haskell is part of the LibHunt network. Terms. Privacy Policy.