typelits-witnesses: Existential witnesses, singletons, and classes for operations on GHC TypeLits

[ data, library, mit ] [ Propose Tags ]

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*.


[Skip to Readme]

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0, 0.1.0.1, 0.1.1.0, 0.1.2.0, 0.1.3.0, 0.2.0.0, 0.2.1.0, 0.2.2.0, 0.2.3.0, 0.3.0.0, 0.3.0.1, 0.3.0.2, 0.3.0.3, 0.4.0.0 (info)
Change log CHANGELOG.md
Dependencies base (>=4.10 && <4.16), dependent-sum [details]
License MIT
Copyright (c) Justin Le 2018
Author Justin Le
Maintainer justin@jle.im
Revised Revision 1 made by Bodigrim at 2022-06-05T22:06:04Z
Category Data
Home page https://github.com/mstksg/typelits-witnesses
Source repo head: git clone git://github.com/mstksg/typelits-witnesses.git
Uploaded by jle at 2019-06-21T00:34:04Z
Distributions LTSHaskell:0.4.0.0, NixOS:0.4.0.0
Downloads 8796 total (106 in the last 30 days)
Rating 2.25 (votes: 2) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2019-06-21 [all 1 reports]

Readme for typelits-witnesses-0.4.0.0

[back to package description]

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.