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.

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

Add another 'Data' Package

README

typelits-witnesses

typelits-witnesses on Hackage typelits-witnesses on Stackage LTS typelits-witnesses on Stackage Nightly Build Status

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.