hackage.haskell.org "types" keyword
compound-types 0.1.4
Sum and Product types and such10 versions - Latest release: over 8 years ago - 6.97 thousand downloads total - 29 stars on GitHub - 1 maintainer
type-level-bytestrings 0.2.0
Please see README.md.2 versions - Latest release: almost 2 years ago - 2 dependent packages - 150 downloads total - 0 stars on GitHub - 1 maintainer
type-machine 0.1.0.2
[Index] [Quick Jump] Package maintainers For package maintainers and hackage trustees Candid...3 versions - Latest release: 6 months ago - 36 downloads total - 0 stars on GitHub - 1 maintainer
symbol-parser 0.3.0
Please see README.md.3 versions - Latest release: almost 2 years ago - 210 downloads total - 17 stars on GitHub - 1 maintainer
symparsec 2.0.0
Please see README.md.6 versions - Latest release: 5 months ago - 288 downloads total - 17 stars on GitHub - 1 maintainer
rerefined 0.8.0
Please see README.md.9 versions - Latest release: over 1 year ago - 1 dependent package - 504 downloads total - 7 stars on GitHub - 1 maintainer
type-level-prng 0.1.0
Please see README.md.1 version - Latest release: 3 months ago - 7 downloads total - 1 maintainer
type-level-show 0.3.0
Please see README.md.5 versions - Latest release: almost 2 years ago - 1 dependent package - 288 downloads total - 0 stars on GitHub - 1 maintainer
fcf-composite 0.1.1.0
Type-level computation for composite using first-class-families.2 versions - Latest release: over 4 years ago - 404 downloads total - 1 maintainer
sum-type-boilerplate 0.1.1
Library for reducing the boilerplate involved in creating and manipulating sum types2 versions - Latest release: over 8 years ago - 12 dependent repositories - 2.26 thousand downloads total - 5 stars on GitHub - 1 maintainer
xml-tydom-conduit 0.1.0.0
Please see README.md1 version - Latest release: about 9 years ago - 1 dependent repositories - 951 downloads total - 0 stars on GitHub - 1 maintainer
singleraeh 0.4.0
Please see README.md.5 versions - Latest release: almost 2 years ago - 317 downloads total - 1 maintainer
typelevel-tools-yj 0.1.0.9
Please see the README on GitHub at https://github.com/YoshikuniJujo/typelevel-tools-yj#readme4 versions - Latest release: 10 months ago - 157 downloads total - 0 stars on GitHub - 1 maintainer
xml-tydom-core 0.1.0.0
Please see README.md1 version - Latest release: about 9 years ago - 1 dependent repositories - 1.01 thousand downloads total - 0 stars on GitHub - 1 maintainer
finite 1.5.0.0
A framework for capturing finite ranges with types, where the sizes of the ranges are not fixed s...4 versions - Latest release: 9 months ago - 1 dependent repositories - 569 downloads total - 1 maintainer
fcf-vinyl 0.0.1.0
Vinyl compatibility with first-class-families1 version - Latest release: over 4 years ago - 309 downloads total - 1 maintainer
type-iso 1.0.1.0
Expresses isomorphic and injective relations between types.3 versions - Latest release: over 6 years ago - 1 dependent repositories - 2.4 thousand downloads total - 3 stars on GitHub - 2 maintainers
typerep-map 0.3.2 💰
A dependent map from type representations to values of these types. Here is an illustration of s...10 versions - Latest release: almost 7 years ago - 2 dependent packages - 10 dependent repositories - 20.4 thousand downloads total - 101 stars on GitHub - 1 maintainer
row-types-barbies 1.0.0.0
This package is a small extension to the row-types library that includes barbies instances for ro...1 version - Latest release: over 4 years ago - 269 downloads total - 112 stars on GitHub - 1 maintainer
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
rg 1.4.0.0
Please see the README on GitHub at https://github.com/cdornan/rg#readme3 versions - Latest release: over 6 years ago - 6 dependent repositories - 1.52 thousand downloads total - 1 maintainer
kind-integer 0.6.0
Type-level integers. Like KnownNat, but for integers.6 versions - Latest release: over 2 years ago - 2 dependent packages - 426 downloads total - 1 stars on GitHub - 1 maintainer
fcf-containers 0.8.2
Package fcf-containers provides type-level functions and data structures that operate on type-lev...12 versions - Latest release: almost 3 years ago - 1 dependent package - 2 dependent repositories - 2.42 thousand downloads total - 3 stars on GitHub - 1 maintainer
typeably 0.1.0
Please see README.md.1 version - Latest release: almost 2 years ago - 1 dependent package - 75 downloads total - 0 stars on GitHub - 1 maintainer
fcf-graphs 0.0.1.0
Type-level version of algebraic-graphs.1 version - Latest release: over 4 years ago - 250 downloads total - 1 maintainer
generic-type-functions 0.1.0
Please see README.md.1 version - Latest release: almost 2 years ago - 2 dependent packages - 101 downloads total - 0 stars on GitHub - 1 maintainer
x-sum-type-boilerplate 0.1.4
(Forked) Library for reducing the boilerplate involved in creating and manipulating sum types1 version - Latest release: over 1 year ago - 60 downloads total - 0 stars on GitHub - 1 maintainer
say-my-name 0.1.0.0
Require explicit type application for some type variables.1 version - Latest release: over 5 years ago - 318 downloads total - 0 stars on GitHub - 1 maintainer
fcf-base 0.1.0.1
Family of families for featherweight defunctionalization2 versions - Latest release: about 1 year ago - 1 dependent repositories - 161 downloads total - 0 stars on gitlab.com - 1 maintainer
fcf-family 0.2.0.3
Promote regular type families to first-class, without polluting the type namespace. See README.5 versions - Latest release: about 2 months ago - 2 dependent packages - 1 dependent repositories - 472 downloads total - 0 stars on gitlab.com - 1 maintainer
kind-rational 0.5.0
Type-level rationals. Like KnownNat, but for rationals.5 versions - Latest release: over 2 years ago - 1 dependent package - 383 downloads total - 1 stars on GitHub - 1 maintainer
monopati 0.1.4
Well-typed paths5 versions - Latest release: over 7 years ago - 2.44 thousand downloads total - 20 stars on GitHub - 1 maintainer
Top 9.0% on hackage.haskell.org
12 versions - Latest release: 5 months ago - 14 dependent packages - 23 dependent repositories - 13.5 thousand downloads total - 88 stars on GitHub - 1 maintainer
first-class-families 0.8.2.0
A library for type-level programming. See README.12 versions - Latest release: 5 months ago - 14 dependent packages - 23 dependent repositories - 13.5 thousand downloads total - 88 stars on GitHub - 1 maintainer
Related Keywords
library
33
Propose Tags
33
mit
19
data
13
bsd3
11
haskell
10
other
4
hacktoberfest
2
dependent-types
2
mpl
2
data-structures
2
encode
2
decode
2
xml
2
web
2
text
2
th
2
program
2
variants
1
type-errors
1
stack
1
compile-time
1
pretty
1
type-level
1
path
1
cofree
1
system
1
haskell-library
1
algebra
1
graphs
1
generics
1
records
1
typerep-map
1
dmap
1
dependent-map
1
cache
1
binary-search
1
arrays
1
cast
1
apache
1
vinyl
1
composite
1
deprecated
1
template-haskell
1
bytestring
1
type-system
1