| packages/nixpkgs/haskellPackages.sum-type-boilerplate | Library for reducing the boilerplate involved with sum types |
| packages/nixpkgs/haskellPackages.x-sum-type-boilerplate | (Forked) Library for reducing the boilerplate involved with sum types |
| packages/nixpkgs/haskellPackages.iconv-typed | Type safe iconv wrapper |
| packages/nixpkgs/haskellPackages.criu-rpc-types | Criu RPC protocol buffer types |
| packages/nixpkgs/haskellPackages.type-combinators-quote | Quasiquoters for the 'type-combinators' package |
| packages/nixpkgs/haskellPackages.type-level-bytestrings | Tools for manipulating type-level bytes and bytestrings |
| packages/nixpkgs/haskellPackages.hls-change-type-signature-plugin | Change a declarations type signature with a Code Action |
| packages/nixpkgs/haskellPackages.typed-admin | Admin console framework |
| packages/nixpkgs/haskellPackages.typed-range | An efficient and versatile typed range library |
| packages/nixpkgs/haskellPackages.typelet | Plugin to faciliate type-level let |
| packages/nixpkgs/haskellPackages.ixset-typed | Efficient relational queries on Haskell sets |
| packages/nixpkgs/haskellPackages.vflow-types | types for ingesting vflow data with aeson |
| packages/nixpkgs/haskellPackages.nixos-types | this package is obsolete; see cabal2nix instead |
| packages/nixpkgs/haskellPackages.delta-types | Delta types, also known as change actions |
| packages/nixpkgs/haskellPackages.tdlib-types | Types and Functions generated from tdlib api spec |
| packages/nixpkgs/haskellPackages.sized-types | Sized types in Haskell using the GHC Nat kind |
| packages/nixpkgs/haskellPackages.json2-types | Defined JSON data types and function for renders JSON to string |
| packages/nixpkgs/haskellPackages.numtype-tf | Type-level (low cardinality) integers, implemented using type families |
| packages/nixpkgs/haskellPackages.numtype-dk | Type-level integers, using TypeNats, Data Kinds, and Closed Type Families |
| packages/nixpkgs/haskellPackages.numtype | Type-level (low cardinality) integers |
| packages/nixpkgs/haskellPackages.mmzk-typeid | A TypeID and UUIDv7 implementation for Haskell |
| packages/nixpkgs/haskellPackages.wai-middleware-content-type | Route to different middlewares based on the incoming Accept header |
| packages/nixpkgs/haskellPackages.visualize-type-inference | Simulate simple constraint-based type inference |
| packages/nixpkgs/haskellPackages.llvm-base-types | The base types for a mostly pure Haskell LLVM analysis library |
| packages/nixpkgs/haskellPackages.cmptype | Compare types of any kinds |
| packages/nixpkgs/haskellPackages.newtype | A typeclass and set of functions for working with newtypes |
| packages/nixpkgs/haskellPackages.reg-alloc-types | Types used in register allocation API |
| packages/nixpkgs/haskellPackages.row-types-aeson | aeson instances for Open Records and Variants |
| packages/nixpkgs/haskellPackages.mixed-types-num | Alternative Prelude with numeric and logic expressions typed bottom-up |
| packages/nixpkgs/haskellPackages.typed-digits | Digits, indexed by their base at the type level |
| packages/nixpkgs/haskellPackages.binary-typed | Type-safe binary serialization |
| packages/nixpkgs/haskellPackages.strict-types | A type level predicate ranging over strict types |
| packages/nixpkgs/haskellPackages.time-units-types | Type-level representations of time durations |
| packages/nixpkgs/haskellPackages.github-types | Type definitions for objects used by the GitHub v3 API |
| packages/nixpkgs/haskellPackages.newtype-th | A template haskell deriver to create Control |
| packages/nixpkgs/haskellPackages.typerep-map | Efficient implementation of a dependent map with types as keys |
| packages/nixpkgs/haskellPackages.open-typerep | Open type representations and dynamic types |
| packages/nixpkgs/haskellPackages.types-compat | ghc-7.6/7.8 compatible GHC |
| packages/nixpkgs/haskellPackages.pandoc-types | Types for representing a structured document |
| packages/nixpkgs/haskellPackages.type-level-natural-number-induction | High-level combinators for performing inductive operations |
| packages/nixpkgs/haskellPackages.newtype-zoo | Newtype Wrapper Zoo |
| packages/nixpkgs/haskellPackages.typed-wire-utils | Haskell utility library required for code generated by typed-wire compiler |
| packages/nixpkgs/haskellPackages.gitrev-typed | Compile git revision info into Haskell projects |
| packages/nixpkgs/haskellPackages.libjwt-typed | A Haskell implementation of JSON Web Token (JWT) |
| packages/nixpkgs/haskellPackages.pretty-types | A small pretty printing DSL for complex types |
| packages/nixpkgs/haskellPackages.ideas-math-types | Common types for mathematical domain reasoners |
| packages/nixpkgs/haskellPackages.hoodle-types | Data types for programs for hoodle file format |
| packages/nixpkgs/haskellPackages.http2-grpc-types | Types for gRPC over HTTP2 common for client and servers |
| packages/nixpkgs/haskellPackages.xml-query-xml-types | An interpreter of "xml-query" queries for the "xml-types" documents |
| packages/nixpkgs/haskellPackages.typehash | Create a unique hash value for a type |
| packages/nixpkgs/haskellPackages.typenums | Type level numbers using existing Nat functionality |
| packages/nixpkgs/haskellPackages.pathtype | Type-safe replacement for System |
| packages/nixpkgs/haskellPackages.type-level-natural-number-operations | Basic operations on type-level natural numbers |
| packages/nixpkgs/haskellPackages.typeably | DerivingVia Typeable counterpart to Generically |
| packages/nixpkgs/haskellPackages.discord-types | Type information for discord-hs |
| packages/nixpkgs/haskellPackages.typeable-th | Automatic deriving of TypeableN instances with Template Haskell |
| packages/nixpkgs/haskellPackages.newtyper | Extra functions for the Control |
| packages/nixpkgs/haskellPackages.hpqtypes | Haskell bindings to libpqtypes |
| packages/nixpkgs/haskellPackages.opentype | Opentype loading and writing |
| packages/nixpkgs/haskellPackages.strict-base-types | Strict variants of the types provided in base |
| packages/nixpkgs/haskellPackages.typed-session | typed session framework |
| packages/nixpkgs/haskellPackages.typed-streams | A stream based replacement for lists |
| packages/nixpkgs/haskellPackages.openapi-typed | Types for OpenAPI |
| packages/nixpkgs/haskellPackages.typed-process | Run external processes, with strong typing of streams |
| packages/nixpkgs/haskellPackages.corenlp-types | Types for interaction with CoreNLP |
| packages/nixpkgs/haskellPackages.inferno-types | Core types for Inferno |
| packages/nixpkgs/haskellPackages.integer-types | Integer, Natural, and Positive |
| packages/nixpkgs/haskellPackages.msgpack-types | A Haskell implementation of MessagePack |
| packages/nixpkgs/haskellPackages.twitter-types | Twitter JSON parser and types |
| packages/nixpkgs/haskellPackages.rfc1413-types | An rfc1413 parser and response renderer |
| packages/nixpkgs/haskellPackages.collada-types | Data exchange between graphics applications |
| packages/nixpkgs/haskellPackages.stratux-types | A library for reading JSON output from stratux |
| packages/nixpkgs/haskellPackages.xournal-types | Data types for programs for xournal file format |
| packages/nixpkgs/haskellPackages.geojson-types | GeoJSON data types including JSON/BSON conversion |
| packages/nixpkgs/haskellPackages.typelevel | Useful type level operations (type families and related operators) |
| packages/nixpkgs/haskellPackages.bitcoin-types | Provides consistent low-level types used commonly among Bitcoin implementations |
| packages/nixpkgs/haskellPackages.json-autotype | Automatic type declaration for JSON input data |
| packages/nixpkgs/haskellPackages.stb-truetype | A wrapper around Sean Barrett's TrueType rasterizer library |
| packages/nixpkgs/haskellPackages.typeable-mock | Mock functions and expressions anywhere |
| packages/nixpkgs/haskellPackages.mysql-simple-typed | Typed extension to mysql simple |
| packages/nixpkgs/haskellPackages.haskus-utils-types | Haskus types utility modules |
| packages/nixpkgs/haskellPackages.row-types-barbies | barbies instances for Open Records and Variants |
| packages/nixpkgs/haskellPackages.xml-types-content | Utilities for dealing with Content-values of "xml-types" |
| packages/nixpkgs/haskellPackages.haskell-lsp-types | Haskell library for the Microsoft Language Server Protocol, data types |
| packages/nixpkgs/haskellPackages.type-combinators-singletons | Interop between /type-combinators/ and /singletons/ |
| packages/nixpkgs/haskellPackages.typed-encoding | Type safe string transformations |
| packages/nixpkgs/haskellPackages.polytyped | Alternative to `Dynamic` with type guarantees |
| packages/nixpkgs/haskellPackages.unittyped | An extendable library for type-safe computations including units |
| packages/nixpkgs/haskellPackages.indextype | A series of type families and constraints for "indexable" types |
| packages/nixpkgs/haskellPackages.typechain | An implementation of LangChain in Haskell |
| packages/nixpkgs/haskellPackages.crypton-asn1-types | ASN.1 types |
| packages/nixpkgs/haskellPackages.data-msgpack-types | A Haskell implementation of MessagePack |
| packages/nixpkgs/haskellPackages.twitter-types-lens | Twitter JSON types (lens powered) |
| packages/nixpkgs/haskellPackages.network-types-icmp | Types for representing ICMP and ICMPv6 messages |
| packages/nixpkgs/haskellPackages.casr-logbook-types | CASR 61.345 Pilot Personal Logbook |
| packages/nixpkgs/haskellPackages.ucam-webauth-types | Types for the Ucam-Webauth protocol, as used by Raven |
| packages/nixpkgs/haskellPackages.beam-newtype-field | A newtype for wrapping newtypes into beam schemas |
| packages/nixpkgs/haskellPackages.typedflow | Typed frontend to TensorFlow and higher-order deep learning |
| packages/nixpkgs/haskellPackages.finite-typelits | A type inhabited by finitely many values, indexed by type-level naturals |
| packages/nixpkgs/haskellPackages.ghc-typelits-extra | Additional type-level operations on GHC |