| packages/nixpkgs/haskellPackages.http-kinder | Generic kinds and types for working with HTTP |
| packages/nixpkgs/haskellPackages.binary-enum | Simple wrappers around enum types |
| packages/nixpkgs/haskellPackages.hnix-store-json | JSON serialization for core types |
| packages/nixpkgs/haskellPackages.strict-base | Strict versions of base data types |
| packages/nixpkgs/haskellPackages.present | Make presentations for data types |
| packages/nixpkgs/haskellPackages.gendocs | Library for generating interface documentation from types |
| packages/nixpkgs/haskellPackages.benri-hspec | Simplify tests where Either or Maybe types are returned from monadic code |
| packages/nixpkgs/haskellPackages.hschema | Describe schemas for your Haskell data types |
| packages/nixpkgs/haskellPackages.refined | Refinement types with static and runtime checking |
| packages/nixpkgs/haskellPackages.pure-sum-aeson | Derive fromString/toString-like for pure sum types (aeson instances) |
| packages/nixpkgs/haskellPackages.stringz | Optics for string-like data types |
| packages/nixpkgs/haskellPackages.mutable | Automatic piecewise-mutable references for your types |
| packages/nixpkgs/haskellPackages.MissingK | Useful types and definitions missing from other libraries |
| packages/nixpkgs/haskellPackages.barbies | Classes for working with types that can change clothes |
| packages/nixpkgs/haskellPackages.unboxed | All the standard sum types but strict and unboxed as possible |
| packages/nixpkgs/haskellPackages.valida-base | Simple applicative validation for product types, batteries included! |
| packages/nixpkgs/haskellPackages.hw-streams | Primitive functions and data types |
| packages/nixpkgs/haskellPackages.chatty-text | Provides some classes and types for dealing with text, using the fundaments of Chatty |
| packages/nixpkgs/haskellPackages.rgb-color-model | Haskell types for working with RGB colors |
| packages/nixpkgs/haskellPackages.string-like | A package that aims to provide a uniform interface to string-like types |
| packages/nixpkgs/haskellPackages.rollbar-hs | Core Rollbar data types and APIs |
| packages/nixpkgs/haskellPackages.rounded-hw | Directed rounding for built-in floating types |
| packages/nixpkgs/haskellPackages.servant-db | Servant types for defining API with relational DBs |
| packages/nixpkgs/haskellPackages.colour-space | Instances of the manifold-classes for colour types |
| packages/nixpkgs/haskellPackages.finite-table | Types isomorphic to Fin, and Tables indexed by them |
| packages/nixpkgs/haskellPackages.clash-finite | A class for types with only finitely many inhabitants |
| packages/nixpkgs/haskellPackages.sized-vector | Size-parameterized vector types and functions |
| packages/nixpkgs/haskellPackages.record-aeson | Instances of "aeson" classes for the "record" types |
| packages/nixpkgs/haskellPackages.evm-opcodes | Opcode types for Ethereum Virtual Machine (EVM) |
| packages/nixpkgs/haskellPackages.parsec-class | Class of types that can be constructed from their text representation |
| packages/nixpkgs/haskellPackages.tedious-web | Easily define multiple interrelated data types |
| packages/nixpkgs/haskellPackages.time-parsers | Parsers for types in `time` |
| packages/nixpkgs/haskellPackages.easy-bitcoin | types and functions for bitcoin applications |
| packages/nixpkgs/haskellPackages.data-default | A class for types with a default value |
| packages/nixpkgs/haskellPackages.testing-feat | Functional Enumeration of Algebraic Types |
| packages/nixpkgs/haskellPackages.special-keys | Simple data types that help me here and there |
| packages/nixpkgs/haskellPackages.to-string-class | Converting string-like types to Strings |
| packages/nixpkgs/haskellPackages.fields-and-cases | Codegen Haskell types to other languages |
| packages/nixpkgs/haskellPackages.bson-mapping | Mapping between BSON and algebraic data types |
| packages/nixpkgs/haskellPackages.sample-frame-np | Orphan instances for types from sample-frame and numericprelude |
| packages/nixpkgs/haskellPackages.url-generic | Parse/format generic key/value URLs from record data types |
| packages/nixpkgs/haskellPackages.servant-gdp | Use Servant and GDP together to create expressive web API types |
| packages/nixpkgs/haskellPackages.refined-with | Refinement types with an "refinement applied" switch |
| packages/nixpkgs/haskellPackages.compdata | Compositional Data Types |
| packages/nixpkgs/haskellPackages.fixpoint | Data types as fixpoints |
| packages/nixpkgs/haskellPackages.category | Categorical types and classes |
| packages/nixpkgs/haskellPackages.acme-default | A class for types with a distinguished aesthetically pleasing value |
| packages/nixpkgs/haskellPackages.sessions | Session Types for Haskell |
| packages/nixpkgs/haskellPackages.options-time | Command-line option types for dates and times |
| packages/nixpkgs/haskellPackages.star-to-star-contra | contravariant instances for * -> * types and operators |
| packages/nixpkgs/haskellPackages.BiobaseTypes | Collection of types for bioinformatics |
| packages/nixpkgs/haskellPackages.fastmemo | Memoize functions on Generic types |
| packages/nixpkgs/haskellPackages.unlifted | Unlifted and levity-polymorphic types |
| packages/nixpkgs/haskellPackages.servant-mock | Derive a mock server for free from your servant API types |
| packages/nixpkgs/haskellPackages.cereal-vector | Serialize instances for Data |
| packages/nixpkgs/haskellPackages.linear-opengl | Isomorphisms between linear and OpenGL types |
| packages/nixpkgs/haskellPackages.static-bytes | A Haskell library providing types representing 8, 16, 32, 64 or 128 bytes of data |
| packages/nixpkgs/haskellPackages.reason-export | Generate Reason types from Haskell |
| packages/nixpkgs/haskellPackages.versions | Types and parsers for software version numbers |
| packages/nixpkgs/haskellPackages.universe | A class for finite and recursively enumerable types |
| packages/nixpkgs/haskellPackages.strict-optics | Optics for types in strict package |
| packages/nixpkgs/haskellPackages.iCalendar | iCalendar data types, parser, and printer |
| packages/nixpkgs/haskellPackages.currency | Types representing standard and non-standard currencies |
| packages/nixpkgs/haskellPackages.haskell-conll | Core Types for NLP |
| packages/nixpkgs/haskellPackages.mappings | Types which represent functions k -> v |
| packages/nixpkgs/haskellPackages.crypto-random | Simple cryptographic random related types |
| packages/nixpkgs/haskellPackages.expresso | A simple expressions language based on row types |
| packages/nixpkgs/haskellPackages.hashable | A class for types that can be converted to a hash value |
| packages/nixpkgs/haskellPackages.refined1 | Refinement types with static and runtime checking (+ Refined1) |
| packages/nixpkgs/haskellPackages.proxy-mapping | Mapping of Proxy Types |
| packages/nixpkgs/haskellPackages.vector-binary | Binary instances for vector types (deprecated) |
| packages/nixpkgs/haskellPackages.aeson-iproute | Aeson instances for iproute types |
| packages/nixpkgs/haskellPackages.through-text | Convert textual types through Text without needing O(n^2) instances |
| packages/nixpkgs/haskellPackages.artifact | Basic types and instances for Valve's Artifact Card-set API |
| packages/nixpkgs/haskellPackages.hschema-aeson | Describe schemas for your Haskell data types |
| packages/nixpkgs/haskellPackages.pretty-simple | pretty printer for data types with a 'Show' instance |
| packages/nixpkgs/haskellPackages.symantic-lib | Symantics for common types |
| packages/nixpkgs/haskellPackages.ats-storable | Marshal ATS types into Haskell |
| packages/nixpkgs/haskellPackages.fixplate | Uniplate-style generic traversals for optionally annotated fixed-point types |
| packages/nixpkgs/haskellPackages.xml2html | blaze-html instances for xml-conduit types (deprecated) |
| packages/nixpkgs/haskellPackages.unfix-binders | Unfixing and recursion schemes for data types with binders |
| packages/nixpkgs/haskellPackages.regex-wrapper | Types that can only be constructed if they match a regular expression |
| packages/nixpkgs/haskellPackages.string-fromto | Conversions between common string types, as well as Base16/Base32/Base64 |
| packages/nixpkgs/haskellPackages.spirv-headers | Types and generator for SPIR-V JSON spec |
| packages/nixpkgs/haskellPackages.language-nix | Data types and functions to represent the Nix language |
| packages/nixpkgs/haskellPackages.web-routes-quasi | Define data types and parse/build functions for web-routes via a quasi-quoted DSL (deprecated) |
| packages/nixpkgs/haskellPackages.lens-datetime | Lenses for Data |
| packages/nixpkgs/haskellPackages.util-universe | Utilities for universal types |
| packages/nixpkgs/haskellPackages.deptrack-core | DepTrack Core types and model |
| packages/nixpkgs/haskellPackages.instance-map | Template haskell utilities for helping with deserialization etc. of existential types |
| packages/nixpkgs/haskellPackages.inf-interval | Non-contiguous interval data types with potentially infinite ranges |
| packages/nixpkgs/haskellPackages.bitcoind-rpc | A streamlined interface to bitcoin core using Haskoin types and Servant |
| packages/nixpkgs/haskellPackages.compdata-dags | Compositional Data Types on DAGs |
| packages/nixpkgs/haskellPackages.scan-metadata | Metadata types for Albedo Scanners |
| packages/nixpkgs/haskellPackages.xml-picklers | XML picklers based on xml-types, ported from hexpat-pickle |
| packages/nixpkgs/haskellPackages.circular-enum | Make bounded enum types circular |
| packages/nixpkgs/haskellPackages.data-elevator | Coerce between unlifted boxed and lifted types |
| packages/nixpkgs/haskellPackages.acme-smuggler | Smuggle arbitrary values in arbitrary types |
| packages/nixpkgs/haskellPackages.strict-wrapper | Lightweight strict types |
| packages/nixpkgs/haskellPackages.yesod-media-simple | Simple display of media types, served by yesod |