hackage.haskell.org "type-level" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "type-level" keyword.
mu-persistent 0.3.1.0
Please see the documentation.4 versions - Latest release: about 5 years ago - 2 dependent repositories - 1.14 thousand downloads total - 307 stars on GitHub - 2 maintainers
eio 0.0.0.0 💰
IO with Exceptions tracked on the type-level. See README.md for more details.1 version - Latest release: almost 5 years ago - 195 downloads total - 58 stars on GitHub - 1 maintainer
mu-kafka 0.3.0.0
This package provides simple interoperation between Mu and Kafka using hw-kafka-client1 version - Latest release: over 5 years ago - 416 downloads total - 334 stars on GitHub - 2 maintainers
type-errors-pretty 0.0.1.2 💰
This library provides replacements for the ErrorMessage constructors to write the text of custom ...4 versions - Latest release: over 4 years ago - 3 dependent packages - 13 dependent repositories - 5.87 thousand downloads total - 56 stars on GitHub - 1 maintainer
type-natural 1.3.0.2 💰
Type-level well-kinded natural numbers.49 versions - Latest release: about 1 year ago - 2 dependent packages - 14 dependent repositories - 29.4 thousand downloads total - 34 stars on GitHub - 1 maintainer
type-operators 0.2.0.0
A collection of type-level operators5 versions - Latest release: almost 7 years ago - 1 dependent package - 21 dependent repositories - 8.06 thousand downloads total - 6 stars on GitHub - 1 maintainer
Related Keywords
library
6
Propose Tags
6
haskell
6
type-level-programming
3
hacktoberfest
3
bsd3
2
mpl
2
rpc
2
protocol-buffers
2
mu-haskell
2
mu-graphql
2
apache
2
network
2
avro
2
defines-schemas
2
graphql
2
grpc
2
monads
2
mu
2
typeclass
1
type-families
1
operators
1
apply
1
control
1
proof-assistant
1
ghc
1
dependent-types
1
math
1
pretty
1
compile-time
1
types
1
type-errors
1
haskell-library
1
qualifieddo
1
program
1
io
1
exceptions
1