| packages/nixpkgs/haskellPackages.register-machine-typelevel | A computationally universal register machine implementation at the type-level |
| packages/nixpkgs/haskellPackages.ixset-typed-conversions | Conversions from ixset-typed to other containers |
| packages/nixpkgs/haskellPackages.polytypeable-utils | Utilities for polytypeable |
| packages/nixpkgs/haskellPackages.aeson-generics-typescript | Generates TypeScript definitions that match Generic Aeson encodings |
| packages/nixpkgs/haskellPackages.hpqtypes_1_14_0_0 | Haskell bindings to libpqtypes |
| packages/nixpkgs/haskellPackages.proto-lens-protobuf-types_0_7_2_2 | Basic protocol buffer message types |
| packages/nixpkgs/haskellPackages.hasktorch-signatures-types | Core types for Hasktorch backpack signatures |
| packages/nixpkgs/haskellPackages.microformats2-types | Microformats 2 types (with Aeson instances) |
| packages/nixpkgs/haskellPackages.hetero-parameter-list-with-typelevel-tools | Hetero parameter list with type level tools |
| packages/nixpkgs/haskellPackages.ghc-typelits-natnormalise | GHC typechecker plugin for types of kind GHC |
| packages/nixpkgs/haskellPackages.servant-aeson-generics-typescript | Generates a TypeScript client for Servant APIs |
| packages/nixpkgs/haskellPackages.hpqtypes-extras_1_17_0_1 | Extra utilities for hpqtypes library |
| packages/nixpkgs/haskellPackages.hpqtypes-extras_1_19_0_0 | Extra utilities for hpqtypes library |
| packages/nixpkgs/haskellPackages.ghc-typelits-knownnat_0_8_2 | Derive KnownNat constraints from other KnownNat constraints |
| packages/nixpkgs/haskellPackages.coercible-subtypes-profunctor | Combine profunctors with coercible-subtypes |
| packages/nixpkgs/haskellPackages.phladiprelio-general-datatype | Extended functionality of PhLADiPreLiO |
| packages/nixpkgs/haskellPackages.typecheck-plugin-nat-simple_0_1_0_11 | Simple type check plugin which calculate addition, subtraction and less-or-equal-than |
| packages/nixpkgs/haskellPackages.typecheck-plugin-nat-simple_0_1_0_12 | Simple type check plugin which calculate addition, subtraction and less-or-equal-than |
| packages/nixpkgs/haskellPackages.sessiontypes-distributed | Session types distributed |
| packages/nixpkgs/haskellPackages.ghc-typelits-natnormalise_0_9_3 | GHC typechecker plugin for types of kind GHC |
| packages/nixpkgs/haskellPackages.ghc-typelits-natnormalise_0_9_1 | GHC typechecker plugin for types of kind GHC |
| packages/nixpkgs/haskellPackages.ghc-typelits-natnormalise_0_7_11 | GHC typechecker plugin for types of kind GHC |
| packages/nixpkgs/haskellPackages.ghc-typelits-natnormalise_0_7_12 | GHC typechecker plugin for types of kind GHC |
| packages/nixpkgs/haskellPackages.impossible | Set of data and type definitions of impossible types |
| packages/nixpkgs/haskellPackages.hoq | A language based on homotopy type theory with an interval type |
| packages/nixpkgs/haskellPackages.tfp | Type-level integers, booleans, lists using type families |
| packages/nixpkgs/haskellPackages.Sit | Prototypical type checker for Type Theory with Sized Natural Numbers |
| packages/nixpkgs/haskellPackages.ref-tf | A type class for monads with references using type families |
| packages/nixpkgs/haskellPackages.pear | Pear Trees: An indexed type using type-level binary numbers |
| packages/nixpkgs/haskellPackages.say-my-name | Require explicit type application for some type variables |
| packages/nixpkgs/haskellPackages.ghc-plugs-out | Type checker plugins without the type checking |
| packages/nixpkgs/haskellPackages.accuerr | Data type like Either but with accumulating error type |
| packages/nixpkgs/haskellPackages.comfort-array | Arrays where the index type is a function of the shape type |
| packages/nixpkgs/haskellPackages.vector-heterogenous | A type-safe library for vectors whose elements can be of any type, or any type satisfying some constraints |
| packages/nixpkgs/haskellPackages.literally | Type-safe conversion of type literals into runtime values |
| packages/nixpkgs/haskellPackages.luminance | Type-safe, type-level and stateless graphics framework |
| packages/nixpkgs/haskellPackages.extend-record-data-th | TH to define a new record data type that extends the existing record data type |
| packages/nixpkgs/haskellPackages.singletons-default | An optional type with type level default |
| packages/nixpkgs/haskellPackages.trivial-constraint | Constraints that any type, resp. no type fulfills |
| packages/nixpkgs/haskellPackages.id | Id (f a) data type |
| packages/nixpkgs/haskellPackages.ty | Typed type representations and equality proofs |
| packages/nixpkgs/haskellPackages.to | Simple, safe, boring type conversions |
| packages/nixpkgs/haskellPackages.ttc | Textual Type Classes |
| packages/nixpkgs/haskellPackages.op2 | Functions of the type `a -> a -> b` |
| packages/nixpkgs/haskellPackages.asn | asn type and encoding/decoding |
| packages/nixpkgs/haskellPackages.tao | Type-level assertion operators |
| packages/nixpkgs/haskellPackages.srt | The data type for SRT files |
| packages/nixpkgs/haskellPackages.key | Type-safe unconstrained dynamic typing |
| packages/nixpkgs/haskellPackages.ess | The type-level S combinator in Haskell |
| packages/nixpkgs/haskellPackages.eio | IO with Exceptions tracked on the type-level |
| packages/nixpkgs/haskellPackages.nf | NF data type to statically enforce normal form |
| packages/nixpkgs/haskellPackages.oneOfN | Anonymous coproduct type |
| packages/nixpkgs/haskellPackages.mod | Fast type-safe modular arithmetic |
| packages/nixpkgs/haskellPackages.DrIFT | Program to derive type class instances |
| packages/nixpkgs/haskellPackages.VecN | a simple peano-indexed vector type |
| packages/nixpkgs/haskellPackages.cfg | Type directed application configuration parsing and accessors |
| packages/nixpkgs/haskellPackages.some | Existential type: Some |
| packages/nixpkgs/haskellPackages.rle | A data type of run-length-encoded lists |
| packages/nixpkgs/haskellPackages.qd | double-double and quad-double number type via libqd |
| packages/nixpkgs/haskellPackages.str | A type class to abstract between many different string types |
| packages/nixpkgs/haskellPackages.CTRex | Open records using closed type families |
| packages/nixpkgs/haskellPackages.flag | A simple flag type |
| packages/nixpkgs/haskellPackages.dag | Compile-time, type-safe directed acyclic graphs |
| packages/nixpkgs/haskellPackages.ten | Functors et al. over arity-1 type constructors |
| packages/nixpkgs/haskellPackages.rpc | type safe rpcs provided as basic IO actions |
| packages/nixpkgs/haskellPackages.from | Typeclasses for type conversion mappings |
| packages/nixpkgs/haskellPackages.OptDir | The OptDir type for representing optimization directions |
| packages/nixpkgs/haskellPackages.hole | Higher kinded type removal |
| packages/nixpkgs/haskellPackages.df1 | Type, render and parse the df1 hierarchical structured log format |
| packages/nixpkgs/haskellPackages.mtl-tf | Monad Transformer Library with Type Families |
| packages/nixpkgs/haskellPackages.inch | A type-checker for Haskell with integer constraints |
| packages/nixpkgs/haskellPackages.clif | A Clifford algebra number type for Haskell |
| packages/nixpkgs/haskellPackages.ml-w | Minimal ML language to to demonstrate the W type infererence algorithm |
| packages/nixpkgs/haskellPackages.raaz | Fast and type safe cryptography |
| packages/nixpkgs/haskellPackages.slug | Type-safe slugs for Yesod ecosystem |
| packages/nixpkgs/haskellPackages.Only | The 1-tuple type or single-value "collection" |
| packages/nixpkgs/haskellPackages._with | Simple open product type |
| packages/nixpkgs/haskellPackages.rio-app | Generic App type for rio |
| packages/nixpkgs/haskellPackages.ref-fd | A type class for monads with references using functional dependencies |
| packages/nixpkgs/haskellPackages.void | A Haskell 98 logically uninhabited data type |
| packages/nixpkgs/haskellPackages.tyro | Type derived JSON parsing using Aeson |
| packages/nixpkgs/haskellPackages.ivor | Theorem proving library based on dependent type theory |
| packages/nixpkgs/haskellPackages.tpdb | Data Type for Rewriting Systems |
| packages/nixpkgs/haskellPackages.sext | Lists, Texts, ByteStrings and Vectors with type-encoded length |
| packages/nixpkgs/haskellPackages.beam | A type-safe SQL mapper for Haskell that doesn't use Template Haskell |
| packages/nixpkgs/haskellPackages.data-or | A data type for non-exclusive disjunction |
| packages/nixpkgs/haskellPackages.apis | A Template Haskell library for generating type safe API calls |
| packages/nixpkgs/haskellPackages.ref-mtl | A type class for monads with references compatible with the mtl2 library |
| packages/nixpkgs/haskellPackages.mtlx | Monad transformer library with type indexes, providing 'free' copies |
| packages/nixpkgs/haskellPackages.c-enum | To make a type corresponding to an enum of C language |
| packages/nixpkgs/haskellPackages.exist | Dependent sum type |
| packages/nixpkgs/haskellPackages.error | The canonical error type |
| packages/nixpkgs/haskellPackages.web-view | Type-safe HTML and CSS |
| packages/nixpkgs/haskellPackages.names | Type level names |
| packages/nixpkgs/haskellPackages.these | An either-or-both data type |
| packages/nixpkgs/haskellPackages.Empty | A type class for empty containers |
| packages/nixpkgs/haskellPackages.TrieMap | Automatic type inference of generalized tries with Template Haskell |
| packages/nixpkgs/haskellPackages.llvm-tf | Bindings to the LLVM compiler toolkit using type families |
| packages/nixpkgs/haskellPackages.ggtsTC | A type checker and runtime system of rCOS/g (impl. of ggts-FCS). |
| packages/nixpkgs/haskellPackages.cluss | simple alternative to type classes |