Packages

19256 results

Check out Package Feeds

@hackage/type-combinators-quote
Quasiquoters for the 'type-combinators' package.
BSD-3-Clausev0.1.0.1Tue, 26 Jan 2016
@hackage/type-combinators-singletons
Interop between /type-combinators/ and /singletons/.
BSD-3-Clausev0.2.1.0Sun, 21 Jan 2018
@hackage/type-compare
Type-level Ord compatibility layer
Apache-2.0v0.1.1Fri, 5 Nov 2021
@hackage/type-digits
Arbitrary-base type-level digits
BSD-3-Clausev0.3Wed, 31 Jul 2013
@hackage/type-eq
Type equality evidence you can carry around
BSD-3-Clausev0.5Tue, 21 Jun 2016
@hackage/type-equality
Data.Type.Equality compat package
BSD-3-Clausev1.0.1Fri, 27 Dec 2024
@hackage/type-equality-check
Type equality check
BSD-3-Clausev0.0.0.4Thu, 21 Jul 2016
@hackage/type-errors
Tools for writing better type errors
BSD-3-Clausev0.2.0.2Sun, 9 Apr 2023
@hackage/type-errors-pretty
Combinators for writing pretty type errors easily
MPL-2.0v0.0.1.2Mon, 2 Aug 2021
@hackage/type-flip
BSD-3-Clausev0.1.0.0Fri, 1 Dec 2023
@hackage/type-fold
A library for folding types to a value.
MITv0.1.0.0Tue, 10 Feb 2026
@hackage/type-fun
Collection of widely reimplemented type families
BSD-3-Clausev0.1.3Fri, 4 Jun 2021
@hackage/type-functions
Emulation of type-level functions
BSD-3-Clausev0.2.0.4Thu, 21 Jul 2016
@hackage/type-hint
Guide type inference with proxy values
BSD-3-Clausev0.1Tue, 17 Jun 2014
@hackage/type-indexed-queues
Queues with verified and unverified versions.
MITv0.2.0.0Thu, 27 Apr 2017
@hackage/type-int
Type Level 2s- and 16s- Complement Integers
BSD-3-Clausev0.5.0.2Fri, 11 May 2012
@hackage/type-interpreter
Interpreter for Template Haskell types
BSD-3-Clausev0.1.4Mon, 23 Apr 2018
@hackage/type-iso
Typeclasses for injective relations and isomorphisms between types.
Apache-2.0v1.0.1.0Tue, 25 Jun 2019
@hackage/type-level
Type-level programming library
BSD-3-Clausev0.3.0Fri, 8 Jul 2016
@hackage/type-level-bst
type-level binary search trees in haskell
BSD-3-Clausev0.1Tue, 28 Oct 2014
@hackage/type-level-bytestrings
Tools for manipulating type-level bytes and bytestrings
MITv0.2.0Tue, 7 May 2024
@hackage/type-level-integers
Provides integers lifted to the type level
BSD-3-Clausev0.0.1Thu, 6 Apr 2017
@hackage/type-level-kv-list
Type level Key-Value list.
MITv2.0.2.0Fri, 10 Feb 2023
@hackage/type-level-kv-list-esqueleto
Make Esqueleto handy with type-level-kv-list
MITv0.1.0.1Mon, 31 Oct 2022
@hackage/type-level-kv-list-persistent
Make Persistent Raw SQL handy with type-level-kv-list
MITv0.2.0.1Thu, 14 Sep 2023
@hackage/type-level-natural-number
Simple type level natural numbers
BSD-3-Clausev2.0Sun, 30 Mar 2014
@hackage/type-level-natural-number-induction
High-level combinators for performing inductive operations.
BSD-3-Clausev1.0.0.1Mon, 23 Jul 2012
@hackage/type-level-natural-number-operations
Basic operations on type-level natural numbers.
BSD-3-Clausev1.0Thu, 14 Oct 2010
@hackage/type-level-numbers
Type level numbers implemented using type families.
BSD-3-Clausev0.1.1.2Wed, 15 Jun 2022
@hackage/type-level-prng
Type level pseudorandom number generators
MITv0.1.0Mon, 24 Nov 2025