| packages/nixpkgs/haskellPackages.gotyno-hs | A type definition compiler supporting multiple output languages |
| packages/nixpkgs/haskellPackages.roundRobin | A simple round-robin data type |
| packages/nixpkgs/haskellPackages.non-empty-text | Non empty Data |
| packages/nixpkgs/haskellPackages.web-routes | portable, type-safe URL routing |
| packages/nixpkgs/haskellPackages.Cabal-hooks | API for the Hooks build-type |
| packages/nixpkgs/haskellPackages.data-basic | A database library with a focus on ease of use, type safety and useful error messages |
| packages/nixpkgs/haskellPackages.uom-plugin | Units of measure as a GHC type-checker plugin |
| packages/nixpkgs/haskellPackages.range-space | A Range type with vector-space instances |
| packages/nixpkgs/haskellPackages.dynamic | A dynamic type for Haskell |
| packages/nixpkgs/haskellPackages.aztecs-sdl | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.amqp-worker | Type-safe AMQP workers |
| packages/nixpkgs/haskellPackages.safe-money | Type-safe and lossless encoding and manipulation of money, fiat currencies, crypto currencies and precious metals |
| packages/nixpkgs/haskellPackages.printf-safe | Type safe interface for Text |
| packages/nixpkgs/haskellPackages.simple-form | Forms that configure themselves based on type |
| packages/nixpkgs/haskellPackages.country | Country data type and functions |
| packages/nixpkgs/haskellPackages.builder | bounded ByteArray builder type |
| packages/nixpkgs/haskellPackages.Tainted | Tainted type, and associated operations |
| packages/nixpkgs/haskellPackages.ptrdiff | Type-checked pointer diffs |
| packages/nixpkgs/haskellPackages.safeint | overflow-checked Int type |
| packages/nixpkgs/haskellPackages.modular | Type-safe modular arithmetic |
| packages/nixpkgs/haskellPackages.typson-core | Type-safe PostgreSQL JSON Querying |
| packages/nixpkgs/haskellPackages.union-angle | Union type that include radian angle and degree angle |
| packages/nixpkgs/haskellPackages.json-schema | Types and type classes for defining JSON schemas |
| packages/nixpkgs/haskellPackages.dedukti | A type-checker for the λΠ-modulo calculus |
| packages/nixpkgs/haskellPackages.hreq-client | A Type dependent Highlevel HTTP client library |
| packages/nixpkgs/haskellPackages.coerce-role | Having trouble deriving instances because of type roles? Solve it here! |
| packages/nixpkgs/haskellPackages.inflist | An infinite list type and operations thereon |
| packages/nixpkgs/haskellPackages.infernu | Type inference and checker for JavaScript (experimental) |
| packages/nixpkgs/haskellPackages.kleene-list | A list type based on the Kleene star and plus |
| packages/nixpkgs/haskellPackages.atomic-css | Type-safe, composable CSS utility functions |
| packages/nixpkgs/haskellPackages.nullary | A package for working with nullary type classes |
| packages/nixpkgs/haskellPackages.sorted-list | Type-enforced sorted lists and related functions |
| packages/nixpkgs/haskellPackages.partial | A nullary type class for partial functions |
| packages/nixpkgs/haskellPackages.show-please | A wrapper type V with improved Show instances |
| packages/nixpkgs/haskellPackages.AERN-Basics | foundational type classes for approximating exact real numbers |
| packages/nixpkgs/haskellPackages.json-tracer | A polymorphic, type-safe, json-structured tracing library |
| packages/nixpkgs/haskellPackages.th-bang-compat | Compatibility for bang-type template |
| packages/nixpkgs/haskellPackages.textual | Textual type class for data that represent text |
| packages/nixpkgs/haskellPackages.subhask | Type safe interface for programming in subcategories of Hask |
| packages/nixpkgs/haskellPackages.smtlib2 | A type-safe interface to communicate with an SMT solver |
| packages/nixpkgs/haskellPackages.libcspm | A library providing a parser, type checker and evaluator for CSPM |
| packages/nixpkgs/haskellPackages.cfuture | A Future type that is easy to represent and handle in C/C++ |
| packages/nixpkgs/haskellPackages.failure | A simple type class for success/failure computations. (deprecated) |
| packages/nixpkgs/haskellPackages.tagged-list | Lists tagged with a type-level natural number representing their length |
| packages/nixpkgs/haskellPackages.notzero | A data type for representing numeric values, except zero |
| packages/nixpkgs/haskellPackages.text-render | A type class for rendering objects as text, pretty-printing, etc |
| packages/nixpkgs/haskellPackages.control-iso | A typeclass for type isomorphisms |
| packages/nixpkgs/haskellPackages.FontyFruity | A true type file format loader |
| packages/nixpkgs/haskellPackages.fastsum | A fast open-union type suitable for 100+ contained alternatives |
| packages/nixpkgs/haskellPackages.attempt | Concrete data type for handling extensible exceptions as failures. (deprecated) |
| packages/nixpkgs/haskellPackages.capped-list | A list-like type for lazy sequences, with a user-defined termination value |
| packages/nixpkgs/haskellPackages.hslua-typing | Type specifiers for Lua |
| packages/nixpkgs/haskellPackages.ghost-buster | Existential type utilites |
| packages/nixpkgs/haskellPackages.xformat | Extensible, type-safe formatting with scanf- and printf-like functions |
| packages/nixpkgs/haskellPackages.snap-web-routes | Type safe URLs for Snap |
| packages/nixpkgs/haskellPackages.typical | Type level numbers, vectors, list |
| packages/nixpkgs/haskellPackages.th-expand-syns | Expands type synonyms in Template Haskell ASTs |
| packages/nixpkgs/haskellPackages.varargs | Utilities for working with variadic functions using type-level lists |
| packages/nixpkgs/haskellPackages.io-classes | Type classes for concurrency with STM, ST and timing |
| packages/nixpkgs/haskellPackages.servant-nix | Servant Nix content-type |
| packages/nixpkgs/haskellPackages.trasa-reflex | Reactive Type Safe Routing |
| packages/nixpkgs/haskellPackages.trasa-client | Type safe http requests |
| packages/nixpkgs/haskellPackages.monoid | Monoid type classes, designed in modular way, distinguish Monoid from Mempty and Semigroup |
| packages/nixpkgs/haskellPackages.trasa-server | Type safe web server |
| packages/nixpkgs/haskellPackages.to-haskell | A type class and some utilities for generating Haskell code |
| packages/nixpkgs/haskellPackages.warlock | Automatic type-safe conversion between Haskell data types using Template Haskell |
| packages/nixpkgs/haskellPackages.convert | Safe and unsafe data conversion utilities with strong type-level operation. checking. |
| packages/nixpkgs/haskellPackages.setters | Small (TH) library to declare setters for typical `record' data type fields |
| packages/nixpkgs/haskellPackages.servant-xml | Servant support for the XML Content-Type |
| packages/nixpkgs/haskellPackages.rhine_1_6 | Functional Reactive Programming with type-level clocks |
| packages/nixpkgs/haskellPackages.simple-index | Allows simple indexation on any data type |
| packages/nixpkgs/haskellPackages.DataVersion | Type safe data migrations |
| packages/nixpkgs/haskellPackages.magic-tyfams | Write plugins for magic type families with ease |
| packages/nixpkgs/haskellPackages.intmap-graph | A graph library that allows to explore edges after their type |
| packages/nixpkgs/haskellPackages.data-layer | Data layering utilities |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-th | A type class for cast functions of Gtk2hs: TH package |
| packages/nixpkgs/haskellPackages.rio-orphans | Orphan instances for the RIO type in the rio package |
| packages/nixpkgs/haskellPackages.aztecs-sdl-text | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.simple-c-value | A simple C value type |
| packages/nixpkgs/haskellPackages.text_2_0_2 | An efficient packed Unicode text type |
| packages/nixpkgs/haskellPackages.text_2_1_2 | An efficient packed Unicode text type |
| packages/nixpkgs/haskellPackages.codet-plugin | GHC type-checker plugin for solving LiftT instances from codet |
| packages/nixpkgs/haskellPackages.aztecs-asset | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-gtk | A type class for cast functions of Gtk2hs: gtk package |
| packages/nixpkgs/haskellPackages.generic-tree | Generic Tree data type |
| packages/nixpkgs/haskellPackages.th-reify-compat | Compatibility for the result type of TH reify |
| packages/nixpkgs/haskellPackages.servant-avro | Avro content type for Servant |
| packages/nixpkgs/haskellPackages.AC-HalfInteger | Efficient half-integer type |
| packages/nixpkgs/haskellPackages.AC-Vector-Fancy | Fancy type-system stuff for AC-Vector |
| packages/nixpkgs/haskellPackages.Delta-Lambda | A demonstration interpreter for type system delta-lambda (of N |
| packages/nixpkgs/haskellPackages.data-checked | Type-indexed runtime-checked properties |
| packages/nixpkgs/haskellPackages.data-flagset | An efficient data type for sets of flags |
| packages/nixpkgs/haskellPackages.text_2_1_3 | An efficient packed Unicode text type |
| packages/nixpkgs/haskellPackages.simple-units | Simple arithmetic with SI units using type-checked dimensional analysis |
| packages/nixpkgs/haskellPackages.haskell-docs | A program to find and display the docs and type of a name |
| packages/nixpkgs/haskellPackages.f-algebra-gen | Generate a special f-algebra combinator from any data type |
| packages/nixpkgs/haskellPackages.horizon-spec | Horizon Stable Package Set Type Definitions |
| packages/nixpkgs/haskellPackages.kind-integer | Type-level integers |
| packages/nixpkgs/haskellPackages.smtlib2-pipe | A type-safe interface to communicate with an SMT solver |
| packages/nixpkgs/haskellPackages.multiset | The Data |