37,779 packages · page 197 of 378
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Utilities for caching type families results. Sometimes complex type families take long time to compile, so it is proficient to cache them and use the final result without the need of re-computation. |
1.0 |
0 | 8 | 0 | 0 | unmaintained | ||
Type-level serialization of type constructors |
0.3 |
0 | 10 | 2 | 2 | unmaintained | ||
A collection of data types for type-level programming |
0.2.4.3 |
0 | 6 | 5 | 10 | unmaintained broken | ||
Quasiquoters for the 'type-combinators' package |
0.1.0.1 |
0 | 8 | 1 | 1 | unmaintained | ||
Interop between /type-combinators/ and /singletons/ |
0.2.1.0 |
0 | 8 | 0 | 0 | unmaintained | ||
Type-level Ord compatibility layer |
0.1.1 |
0 | 6 | 3 | 4 | unmaintained broken | ||
Arbitrary-base type-level digits |
0.3 |
0 | 7 | 3 | 4 | unmaintained | ||
Type equality evidence you can carry around |
0.5 |
0 | 7 | 1 | 1 | unmaintained broken | ||
Data.Type.Equality compat package |
1.0.1 |
0 | 6 | 4 | 4 | unmaintained | ||
Type equality check |
0.0.0.4 |
0 | 7 | 0 | 0 | unmaintained | ||
Tools for writing better type errors |
0.2.0.2 |
0 | 9 | 7 | 117 | unmaintained | ||
Combinators for writing pretty type errors easily |
0.0.1.2 |
0 | 8 | 2 | 9 | unmaintained broken | ||
0.1.0.0 |
0 | 6 | 5 | 7 | unmaintained | |||
A library for folding types to a value |
0.1.0.0 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Collection of widely reimplemented type families |
0.1.3 |
0 | 6 | 3 | 10 | unmaintained | ||
Emulation of type-level functions |
0.2.0.4 |
0 | 7 | 3 | 3 | unmaintained | ||
Guide type inference with proxy values |
0.1 |
0 | 6 | 3 | 23 | unmaintained | ||
Queues with verified and unverified versions |
0.2.0.0 |
0 | 11 | 0 | 0 | unmaintained broken | ||
Type Level 2s- and 16s- Complement Integers |
0.5.0.2 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Interpreter for Template Haskell types |
0.1.4 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Typeclasses for injective relations and isomorphisms between types |
1.0.1.0 |
0 | 11 | 1 | 1 | unmaintained | ||
Type-level programming library |
0.3.0 |
0 | 7 | 13 | 17 | unmaintained | ||
type-level binary search trees in haskell |
0.1 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Tools for manipulating type-level bytes and bytestrings |
0.2.0 |
0 | 8 | 2 | 5 | unmaintained | ||
Provides integers lifted to the type level |
0.0.1 |
0 | 6 | 0 | 0 | unmaintained | ||
Type level Key-Value list |
2.0.2.0 |
0 | 8 | 2 | 2 | unmaintained | ||
Make Esqueleto handy with type-level-kv-list |
0.1.0.1 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Make Persistent Raw SQL handy with type-level-kv-list |
0.2.0.1 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Simple type level natural numbers |
2.0 |
0 | 6 | 6 | 8 | unmaintained | ||
High-level combinators for performing inductive operations |
1.0.0.1 |
0 | 7 | 2 | 2 | unmaintained broken | ||
Basic operations on type-level natural numbers |
1.0 |
0 | 7 | 1 | 1 | unmaintained broken | ||
Type level numbers implemented using type families |
0.1.1.2 |
0 | 6 | 0 | 0 | unmaintained | ||
Type level pseudorandom number generators |
0.1.0 |
0 | 7 | 0 | 0 | unmaintained | ||
Type-level sets and finite maps (with value-level counterparts) |
0.8.9.0 |
0 | 6 | 3 | 3 | unmaintained broken | ||
Utilities for writing Show-like type families |
0.3.0 |
0 | 8 | 4 | 8 | unmaintained | ||
Type-level programming library (type families) |
0.2.1 |
0 | 7 | 1 | 1 | unmaintained | ||
Operations on type-level lists and tuples |
0.5.0.0 |
0 | 7 | 2 | 2 | unmaintained broken | ||
Type-level functions for record types |
0.1.0.2 |
0 | 8 | 0 | 0 | unmaintained | ||
Type-indexed maps |
0.1.7.0 |
0 | 10 | 0 | 0 | unmaintained | ||
Type-level natural and proofs of their properties |
1.3.0.2 |
0 | 18 | 5 | 9 | unmaintained | ||
High performance type driven html generation |
1.6.2.0 |
0 | 9 | 1 | 1 | unmaintained | ||
Optimize static parts of type-of-html |
0.1.0.2 |
0 | 7 | 0 | 0 | unmaintained broken | ||
Various type-level operators |
0.2.0.0 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Type-level comparison operator |
0.3 |
0 | 8 | 2 | 2 | unmaintained | ||
Generic type-level comparison of types |
0.2 |
0 | 9 | 1 | 1 | unmaintained | ||
Partial port of prelude to the type level. Requires GHC 7.6.1. |
0.1 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Support functions to work with type representations |
1.0 |
0 | 10 | 1 | 1 | unmaintained broken | ||
Classes for the rig (sums and products) of types |
0.1 |
0 | 7 | 1 | 1 | unmaintained | ||
Type safe BST and AVL trees |
1.0.0.1 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Type set |
0.1.0.0 |
0 | 7 | 5 | 7 | unmaintained | ||
Type-level sets |
0.1.1.0 |
0 | 7 | 0 | 0 | unmaintained | ||
Sets and functions-as-relations in the type system |
0.1.3.1 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Type Level Specification by Example |
0.4.0.0 |
0 | 6 | 13 | 32 | unmaintained | ||
A spine-view on types |
0.2.20120924 |
0 | 6 | 6 | 6 | unmaintained broken | ||
Type structure analysis |
0.1.1 |
0 | 17 | 0 | 0 | unmaintained | ||
Substitute types for other types with Template Haskell |
0.1.0.6 |
0 | 16 | 1 | 1 | unmaintained | ||
Tree representations of datatypes |
0.2.0.1 |
0 | 10 | 0 | 0 | unmaintained broken | ||
Type-level and typed unary natural numbers, inequality proofs, vectors |
0.3.2 |
0 | 11 | 4 | 10 | unmaintained broken | ||
Mock functions and expressions anywhere |
0.1.0.1 |
0 | 9 | 0 | 0 | unmaintained | ||
Automatic deriving of TypeableN instances with Template Haskell |
0.1.5 |
0 | 6 | 0 | 0 | unmaintained broken | ||
DerivingVia Typeable counterpart to Generically |
0.1.0 |
0 | 6 | 0 | 0 | unmaintained | ||
An implementation of LangChain in Haskell |
0.2.0.0 |
0 | 11 | 0 | 0 | unmaintained broken | ||
Simple type check plugin which calculate addition, subtraction and less-or-equal-than |
0.1.0.11 |
0 | 7 | 1 | 9 | unmaintained | ||
Simple type check plugin which calculate addition, subtraction and less-or-equal-than |
0.1.0.12 |
0 | 7 | 0 | 0 | unmaintained | ||
Admin console framework |
0.1.0.0 |
0 | 28 | 0 | 0 | unmaintained broken | ||
Digits, indexed by their base at the type level |
0.1.0.0 |
0 | 13 | 0 | 0 | unmaintained broken | ||
Thread delay and timeout functions with typed arguments |
0.1.1.0 |
0 | 9 | 0 | 0 | unmaintained | ||
Type safe string transformations |
0.5.2.3 |
0 | 13 | 1 | 1 | unmaintained broken | ||
Bridge between encoding and typed-encoding packages |
0.1.0.0 |
0 | 13 | 0 | 0 | unmaintained | ||
A framework for strongly typed FSM |
0.3.0.1 |
0 | 9 | 1 | 1 | unmaintained | ||
GUI framework based on typed-fsm |
0.1.0.0 |
0 | 9 | 0 | 0 | unmaintained broken | ||
Run external processes, with strong typing of streams |
0.2.13.0 |
0 | 12 | 103 | 15,621 | unmaintained | ||
A binding of the typed-process library for the effectful effect system |
1.0.0.4 → 1.0.0.5 |
0 | 10 | 0 | 0 | unmaintained broken outdated | ||
A framework for strongly typed protocols |
1.2.1.0 → 1.2.2.0 |
0 | 15 | 1 | 1 | unmaintained broken outdated | ||
Derive documentation from typed-protocols source code |
0.2.0.0 |
0 | 20 | 0 | 0 | unmaintained broken | ||
An efficient and versatile typed range library |
0.1.0.1 |
0 | 12 | 0 | 0 | unmaintained | ||
typed session framework |
0.3.0.1 |
0 | 12 | 0 | 0 | unmaintained broken | ||
Automatically generate status for typed-session |
0.5.0.0 |
0 | 11 | 1 | 1 | unmaintained broken | ||
A stream based replacement for lists |
0.1.0.1 |
0 | 12 | 0 | 0 | unmaintained | ||
A strongly typed way to handle time and date formats |
0.1.0.0 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Phantom-Typed version of UUID |
0.2.0.0 |
0 | 14 | 1 | 1 | unmaintained | ||
Language-independent type-safe communication |
0.3.1.1 |
0 | 12 | 0 | 0 | unmaintained broken | ||
Haskell utility library required for code generated by typed-wire compiler |
0.2.0.0 |
0 | 8 | 0 | 0 | unmaintained | ||
Typed frontend to TensorFlow and higher-order deep learning |
0.9 |
0 | 8 | 0 | 0 | unmaintained | ||
Parser for SQL augmented with types |
0.1.1.2 |
0 | 8 | 3 | 3 | unmaintained broken | ||
Create a unique hash value for a type |
1.4.0.4 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Plugin to faciliate type-level let |
0.1.6 → 0.1.7 |
0 | 10 | 1 | 1 | unmaintained broken outdated | ||
Useful type level operations (type families and related operators) |
1.2.3 |
0 | 11 | 3 | 8 | unmaintained | ||
Solve type equalities using custom type-level rewrite rules |
1.0.0.1 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Tensors whose ranks and dimensions type-inferred and type-checked |
0.2.1 |
0 | 12 | 1 | 1 | unmaintained broken | ||
type level tools |
0.1.0.9 |
0 | 6 | 13 | 16 | unmaintained | ||
Type-safe printf from parsing GHC TypeLits Symbol |
0.3.0.0 |
0 | 7 | 1 | 1 | unmaintained | ||
Existential witnesses, singletons, and classes for operations on GHC TypeLits |
0.4.1.0 |
0 | 7 | 5 | 12 | unmaintained | ||
Type level numbers using existing Nat functionality |
0.1.4 |
0 | 9 | 0 | 0 | unmaintained | ||
Small script for inferring types |
0.1.2 |
0 | 6 | 0 | 0 | unmaintained | ||
Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation |
0.0.6 |
0 | 11 | 0 | 0 | unmaintained broken | ||
ghc-7.6/7.8 compatible GHC.TypeLits, Data.Typeable and Data.Proxy. |
0.1.1 |
0 | 6 | 5 | 5 | unmaintained broken | ||
Enforce endianness with types |
0.1.0.1 |
0 | 6 | 2 | 4 | unmaintained | ||
Type-safe transformations and purifications of PreCures (Japanese Battle Heroine) |
0.12.2.1 |
0 | 15 | 0 | 0 | unmaintained | ||
A documentation generator for TypeScript Definition files |
0.0.3 |
0 | 13 | 0 | 0 | unmaintained |