| 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.refined-with | Refinement types with an "refinement applied" switch |
| packages/nixpkgs/haskellPackages.servant-gdp | Use Servant and GDP together to create expressive web API types |
| 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.compdata | Compositional Data Types |
| packages/nixpkgs/haskellPackages.fixpoint | Data types as fixpoints |
| 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.sessions | Session Types for Haskell |
| packages/nixpkgs/kubectl-validate | Tool for local validation of resources for native Kubernetes types and CRDs |
| packages/nixpkgs/haskellPackages.BiobaseTypes | Collection of types for bioinformatics |
| packages/nixpkgs/haskellPackages.fastmemo | Memoize functions on Generic types |
| packages/nixpkgs/haskellPackages.servant-mock | Derive a mock server for free from your servant API types |
| packages/nixpkgs/haskellPackages.unlifted | Unlifted and levity-polymorphic types |
| packages/nixpkgs/perl5Packages.ClassMakeMethods | Generate common types of methods |
| packages/nixpkgs/perl5Packages.GooCanvas2CairoTypes | Bridge between GooCanvas2 and Cairo types |
| packages/nixpkgs/haskellPackages.linear-opengl | Isomorphisms between linear and OpenGL types |
| packages/nixpkgs/haskellPackages.cereal-vector | Serialize instances for Data |
| 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.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.strict-optics | Optics for types in strict package |
| packages/nixpkgs/texlivePackages.mparrows | MetaPost module with different types of arrow heads |
| packages/nixpkgs/haskellPackages.hashable_1_5_0_0 | A class for types that can be converted to a hash value |
| packages/nixpkgs/haskellPackages.haskell-conll | Core Types for NLP |
| packages/nixpkgs/haskellPackages.hashable | A class for types that can be converted to a hash value |
| packages/nixpkgs/haskellPackages.iCalendar | iCalendar data types, parser, and printer |
| 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.currency | Types representing standard and non-standard currencies |
| packages/nixpkgs/haskellPackages.vector-binary | Binary instances for vector types (deprecated) |
| packages/nixpkgs/haskellPackages.refined1 | Refinement types with static and runtime checking (+ Refined1) |
| packages/nixpkgs/haskellPackages.proxy-mapping | Mapping of Proxy Types |
| 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.hschema-aeson | Describe schemas for your Haskell data types |
| packages/nixpkgs/haskellPackages.artifact | Basic types and instances for Valve's Artifact Card-set API |
| 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/rofi-screenshot | Use rofi to perform various types of screenshots and screen captures |
| 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.spirv-headers | Types and generator for SPIR-V JSON spec |
| packages/nixpkgs/haskellPackages.string-fromto | Conversions between common string types, as well as Base16/Base32/Base64 |
| packages/nixpkgs/haskellPackages.regex-wrapper | Types that can only be constructed if they match a regular expression |
| packages/nixpkgs/haskellPackages.unfix-binders | Unfixing and recursion schemes for data types with binders |
| 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.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.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.compdata-dags | Compositional Data Types on DAGs |
| packages/nixpkgs/haskellPackages.xml-picklers | XML picklers based on xml-types, ported from hexpat-pickle |
| packages/nixpkgs/haskellPackages.scan-metadata | Metadata types for Albedo Scanners |
| 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.universe-base | A class for finite and recursively enumerable types |
| packages/nixpkgs/haskellPackages.yesod-media-simple | Simple display of media types, served by yesod |
| packages/nixpkgs/haskellPackages.irc-fun-messages | Types and functions for working with the IRC protocol |
| packages/nixpkgs/haskellPackages.amazonka-core | Core data types and functionality for Amazonka libraries |
| packages/nixpkgs/haskellPackages.aeson-value-parser | API for parsing "aeson" JSON tree into Haskell types |
| packages/nixpkgs/haskellPackages.layered-state | Control structure similar to Control |
| packages/nixpkgs/haskellPackages.free-category | efficient data types for free categories and arrows |
| packages/nixpkgs/haskellPackages.openai-servant | Unofficial OpenAI servant types |
| packages/nixpkgs/haskellPackages.stripe-servant | Unofficial Stripe servant types |
| packages/nixpkgs/haskellPackages.riak-protobuf | Haskell types for the Riak protocol buffer API |
| packages/nixpkgs/haskellPackages.data-default-extra | A class for types with a default value |
| packages/nixpkgs/haskellPackages.generic-monoid | Derive monoid instances for product types |
| packages/nixpkgs/haskellPackages.servant-stache | Content-Types for rendering Mustache in servant |
| packages/nixpkgs/haskellPackages.rerefined | Refinement types, again |
| packages/nixpkgs/haskellPackages.ClassyPrelude | Prelude replacement using classes instead of concrete types where reasonable |
| packages/nixpkgs/haskellPackages.hmatrix-static | hmatrix with vector and matrix sizes encoded in types |
| packages/nixpkgs/haskellPackages.free-vector-spaces | Instantiate the classes from the vector-space package with types from linear |
| packages/nixpkgs/haskellPackages.exinst-deepseq | Derive instances for the `deepseq` library for your existential types |
| packages/nixpkgs/haskellPackages.refined-http-api-data | http-api-data instances for refined types |
| packages/nixpkgs/haskellPackages.servant-reason | Derive Reason types to interact with a Haskell backend |
| packages/nixpkgs/haskellPackages.parsec-numeric | Parsec combinators for parsing Haskell numeric types |
| packages/nixpkgs/haskellPackages.FixedPoint-simple | Fixed point, large word, and large int numerical representations (types and common class instances) |
| packages/nixpkgs/haskellPackages.barecheck | QuickCheck implementations for common types |
| packages/nixpkgs/haskellPackages.free-alacarte | Free monads based on intuitions from the Data types à la Carte |
| packages/nixpkgs/haskellPackages.data-default-class | A class for types with a default value (compatibility shim) |
| packages/nixpkgs/haskellPackages.generics-sop-lens | Lenses for types in generics-sop |
| packages/nixpkgs/haskellPackages.idiomatic | Deriving Applicative for sum types. |
| packages/nixpkgs/haskellPackages.adaptive-tuple | Self-optimizing tuple types |
| packages/nixpkgs/haskellPackages.greskell-core | Haskell binding for Gremlin graph query language - core data types and tools |
| packages/nixpkgs/haskellPackages.compdata-param | Parametric Compositional Data Types |
| packages/nixpkgs/haskellPackages.foldable1 | Foldable types with at least 1 element |
| packages/nixpkgs/haskellPackages.compstrat | Strategy combinators for compositional data types |
| packages/nixpkgs/haskellPackages.temporal-media | data types for temporal media |
| packages/nixpkgs/texlivePackages.arraycols | New column types for array and tabular environments |