hackage.haskell.org "type-level" keyword
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.88 thousand downloads total - 56 stars on GitHub - 1 maintainer
mu-persistent 0.3.1.0
Please see the documentation.4 versions - Latest release: over 5 years ago - 2 dependent repositories - 1.16 thousand downloads total - 307 stars on GitHub - 2 maintainers
mu-kafka 0.3.0.0
This package provides simple interoperation between Mu and Kafka using hw-kafka-client1 version - Latest release: almost 6 years ago - 421 downloads total - 334 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 - 198 downloads total - 58 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.6 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.09 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
rpc
2
protocol-buffers
2
mu-haskell
2
mu-graphql
2
mu
2
monads
2
grpc
2
graphql
2
defines-schemas
2
avro
2
network
2
apache
2
mpl
2
typeclass
1
type-families
1
operators
1
apply
1
control
1
proof-assistant
1
ghc
1
dependent-types
1
math
1
haskell-library
1
qualifieddo
1
program
1
io
1
exceptions
1
type-errors
1
types
1
compile-time
1
pretty
1