| packages/nixpkgs/haskellPackages.type-eq | Type equality evidence you can carry around |
| packages/nixpkgs/haskellPackages.type-set | Type set |
| packages/nixpkgs/haskellPackages.type-map | Type-indexed maps |
| packages/nixpkgs/haskellPackages.type-ord | Type-level comparison operator |
| packages/nixpkgs/haskellPackages.type-fun | Collection of widely reimplemented type families |
| packages/nixpkgs/haskellPackages.type-int | Type Level 2s- and 16s- Complement Integers |
| packages/nixpkgs/haskellPackages.type-iso | Typeclasses for injective relations and isomorphisms between types |
| packages/nixpkgs/haskellPackages.type-rig | Classes for the rig (sums and products) of types |
| packages/nixpkgs/haskellPackages.type-sub-th | Substitute types for other types with Template Haskell |
| packages/nixpkgs/haskellPackages.lift-type | Lift a type from a Typeable constraint to a Template Haskell type |
| packages/nixpkgs/haskellPackages.type-sets | Type-level sets |
| packages/nixpkgs/haskellPackages.type-spec | Type Level Specification by Example |
| packages/nixpkgs/haskellPackages.type-hint | Guide type inference with proxy values |
| packages/nixpkgs/haskellPackages.type-list | Operations on type-level lists and tuples |
| packages/nixpkgs/haskellPackages.data-type | Basic type wrangling types and classes |
| packages/nixpkgs/haskellPackages.type-flip | |
| packages/nixpkgs/haskellPackages.type-tree | Tree representations of datatypes |
| packages/nixpkgs/haskellPackages.show-type | convert types into string values in haskell |
| packages/nixpkgs/haskellPackages.fake-type | A crossplatform library to simulate keyboard input |
| packages/nixpkgs/haskellPackages.type-of-html | High performance type driven html generation |
| packages/nixpkgs/haskellPackages.json-to-type | Automatic type declaration for JSON input data |
| packages/nixpkgs/haskellPackages._type | Dynamic casting library with support for arbitrary rank type kinds |
| packages/nixpkgs/haskellPackages.type-safe-avl | Type safe BST and AVL trees |
| packages/nixpkgs/haskellPackages.type-cache | Utilities for caching type families results |
| packages/nixpkgs/haskellPackages.type-level | Type-level programming library |
| packages/nixpkgs/haskellPackages.stack-type | The basic stack type |
| packages/nixpkgs/haskellPackages.regex-type | Type-level regular expressions |
| packages/nixpkgs/haskellPackages.image-type | Determine the type of an image by reading the first bytes |
| packages/nixpkgs/haskellPackages.type-unary | Type-level and typed unary natural numbers, inequality proofs, vectors |
| packages/nixpkgs/haskellPackages.type-level-tf | Type-level programming library (type families) |
| packages/nixpkgs/haskellPackages.type-spine | A spine-view on types |
| packages/nixpkgs/haskellPackages.type-level-bst | type-level binary search trees in haskell |
| packages/nixpkgs/haskellPackages.type-cereal | Type-level serialization of type constructors |
| packages/nixpkgs/haskellPackages.type-digits | Arbitrary-base type-level digits |
| packages/nixpkgs/haskellPackages.type-errors | Tools for writing better type errors |
| packages/nixpkgs/haskellPackages.primes-type | Type-safe prime numbers |
| packages/nixpkgs/haskellPackages.type-level-prng | Type level pseudorandom number generators |
| packages/nixpkgs/haskellPackages.type-level-show | Utilities for writing Show-like type families |
| packages/nixpkgs/haskellPackages.type-level-sets | Type-level sets and finite maps (with value-level counterparts) |
| packages/nixpkgs/haskellPackages.type-level-kv-list | Type level Key-Value list |
| packages/nixpkgs/haskellPackages.type-compare | Type-level Ord compatibility layer |
| packages/nixpkgs/haskellPackages.type-natural | Type-level natural and proofs of their properties |
| packages/nixpkgs/haskellPackages.type-machine | Type-level functions for record types |
| packages/nixpkgs/haskellPackages.type-aligned | Various type-aligned sequence data structures |
| packages/nixpkgs/haskellPackages.type-of-html-static | Optimize static parts of type-of-html |
| packages/nixpkgs/haskellPackages.type-prelude | Partial port of prelude to the type level |
| packages/nixpkgs/haskellPackages.compare-type | compare types of any kinds in haskell |
| packages/nixpkgs/haskellPackages.type-ord-spine-cereal | Generic type-level comparison of types |
| packages/nixpkgs/haskellPackages.haskell-type-exts | A type checker for Haskell/haskell-src-exts |
| packages/nixpkgs/haskellPackages.font-awesome-type | A Font Awesome data type enumerating all icon classes |
| packages/nixpkgs/haskellPackages.type-booleans | Type-level booleans via type-families |
| packages/nixpkgs/haskellPackages.type-level-numbers | Type level numbers implemented using type families |
| packages/nixpkgs/haskellPackages.type-errors-pretty | Combinators for writing pretty type errors easily |
| packages/nixpkgs/haskellPackages.type-equality | Data |
| packages/nixpkgs/haskellPackages.type-indexed-queues | Queues with verified and unverified versions |
| packages/nixpkgs/haskellPackages.type-structure | Type structure analysis |
| packages/nixpkgs/haskellPackages.type-functions | Emulation of type-level functions |
| packages/nixpkgs/haskellPackages.type-equality-check | Type equality check |
| packages/nixpkgs/haskellPackages.type-operators | Various type-level operators |
| packages/nixpkgs/haskellPackages.type-settheory | Sets and functions-as-relations in the type system |
| packages/nixpkgs/haskellPackages.type-level-integers | Provides integers lifted to the type level |
| packages/nixpkgs/haskellPackages.generic-type-asserts | Structural assertions on generic type representations |
| packages/nixpkgs/haskellPackages.type-level-natural-number | Simple type level natural numbers |
| packages/nixpkgs/haskellPackages.hindley-milner-type-check | Type inference for Hindley-Milner based languages |
| packages/nixpkgs/haskellPackages.ntype | N-ary sum/product types |
| packages/nixpkgs/haskellPackages.type-assertions | Runtime type assertions for testing |
| packages/nixpkgs/haskellPackages.type-reflection | Support functions to work with type representations |
| packages/nixpkgs/haskellPackages.clr-typed | A strongly typed Haskell interface to the CLR type system |
| packages/nixpkgs/haskellPackages.type-level-kv-list-esqueleto | Make Esqueleto handy with type-level-kv-list |
| packages/nixpkgs/haskellPackages.typed-fsm | A framework for strongly typed FSM |
| packages/nixpkgs/haskellPackages.typed-gui | GUI framework based on typed-fsm |
| packages/nixpkgs/haskellPackages.row-types | Open Records and Variants |
| packages/nixpkgs/haskellPackages.xml-types | Basic types for representing XML |
| packages/nixpkgs/haskellPackages.wkt-types | A library for working with .wkt files. |
| packages/nixpkgs/haskellPackages.dtd-types | Basic types for representing XML DTDs |
| packages/nixpkgs/haskellPackages.xcb-types | Parses XML files used by the XCB project |
| packages/nixpkgs/haskellPackages.lsp-types | Haskell library for the Microsoft Language Server Protocol, data types |
| packages/nixpkgs/haskellPackages.typed-wire | Language-independent type-safe communication |
| packages/nixpkgs/haskellPackages.uuid-types | Type definitions for Universally Unique Identifiers |
| packages/nixpkgs/haskellPackages.mime-types | Basic mime-type handling types and functions |
| packages/nixpkgs/haskellPackages.testing-type-modifiers | Data type modifiers for property based testing |
| packages/nixpkgs/haskellPackages.generic-type-functions | Familiar functions lifted to type-level functions on generic types |
| packages/nixpkgs/haskellPackages.type-combinators | A collection of data types for type-level programming |
| packages/nixpkgs/haskellPackages.typeof | Small script for inferring types |
| packages/nixpkgs/haskellPackages.typed-uuid | Phantom-Typed version of UUID |
| packages/nixpkgs/haskellPackages.typed-time | A strongly typed way to handle time and date formats |
| packages/nixpkgs/haskellPackages.casa-types | Types for Casa |
| packages/nixpkgs/haskellPackages.enum-types | small enum types |
| packages/nixpkgs/haskellPackages.asn1-types | ASN.1 types |
| packages/nixpkgs/haskellPackages.mcmc-types | Common types for sampling |
| packages/nixpkgs/haskellPackages.json-types | Basic types for representing JSON |
| packages/nixpkgs/haskellPackages.rest-types | Silk Rest Framework Types |
| packages/nixpkgs/haskellPackages.ldtk-types | Datatypes and Aeson instances for parsing LDtk |
| packages/nixpkgs/haskellPackages.irc-fun-types | Common types for IRC related packages |
| packages/nixpkgs/haskellPackages.cqrs-types | Command-Query Responsibility Segregation |
| packages/nixpkgs/haskellPackages.http-types | Generic HTTP types for Haskell (for both client and server code) |
| packages/nixpkgs/haskellPackages.type-interpreter | Interpreter for Template Haskell types |
| packages/nixpkgs/haskellPackages.type-level-kv-list-persistent | Make Persistent Raw SQL handy with type-level-kv-list |
| packages/nixpkgs/haskellPackages.base64-bytestring-type | A newtype around ByteString, for base64 encoding |
| packages/nixpkgs/haskellPackages.hist-pl-types | Types in the historical dictionary of Polish |
| 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 |
| packages/nixpkgs/haskellPackages.th-typegraph | Graph of the subtype relation |
| packages/nixpkgs/haskellPackages.lens-typelevel | Type-level lenses using singletons |
| packages/nixpkgs/haskellPackages.lsp-types_2_1_1_0 | Haskell library for the Microsoft Language Server Protocol, data types |
| packages/nixpkgs/haskellPackages.typed-duration | Thread delay and timeout functions with typed arguments |
| packages/nixpkgs/haskellPackages.freetype2 | Haskell bindings for FreeType 2 library |
| packages/nixpkgs/haskellPackages.geodetic-types | Types for geodetic operations |
| packages/nixpkgs/haskellPackages.password-types | Types for handling passwords |
| packages/nixpkgs/haskellPackages.compound-types | Sum and Product types and such |
| packages/nixpkgs/haskellPackages.typelits-printf | Type-safe printf from parsing GHC TypeLits Symbol |
| packages/nixpkgs/haskellPackages.sqlite-simple-typed | Typed extension to sqlite simple |
| packages/nixpkgs/haskellPackages.scholdoc-types | Scholdoc fork of pandoc-types |
| packages/nixpkgs/haskellPackages.prototype | prototype-based programming on Haskell |
| packages/nixpkgs/haskellPackages.fusion-plugin-types | Types for the fusion-plugin package |
| packages/nixpkgs/haskellPackages.cruncher-types | Request and Response types for Eval.so's API |
| packages/nixpkgs/haskellPackages.crypto-cipher-types | Generic cryptography cipher types |
| packages/nixpkgs/haskellPackages.telegram-types | Types used in Telegram bot API |
| packages/nixpkgs/haskellPackages.stackage-types | Shared data types between various Stackage packages |
| packages/nixpkgs/haskellPackages.workflow-types | Automate keyboard\/mouse\/clipboard\/application interaction |
| packages/nixpkgs/haskellPackages.graphtype | A simple tool to illustrate dependencies between Haskell types |
| packages/nixpkgs/haskellPackages.crypto-pubkey-types | Generic cryptography Public keys algorithm types |
| packages/nixpkgs/haskellPackages.string-typelits | Type-level Chars and Strings, with decidable equality |
| packages/nixpkgs/haskellPackages.gi-freetype2 | freetype2 bindings |
| packages/nixpkgs/haskellPackages.servant-typed-error | Typed error wrapper for Servant |
| packages/nixpkgs/haskellPackages.ixset-typed-cassava | cassava encoding and decoding via ixset-typed |
| packages/nixpkgs/haskellPackages.spirv-reflect-types | Data types from spirv-reflect tool |
| packages/nixpkgs/haskellPackages.typeparams | Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation |
| packages/nixpkgs/haskellPackages.typesafe-endian | Enforce endianness with types |
| packages/nixpkgs/haskellPackages.typelevel-tools-yj | type level tools |
| packages/nixpkgs/haskellPackages.typelevel-tensor | Tensors whose ranks and dimensions type-inferred and type-checked |
| packages/nixpkgs/haskellPackages.acme-stringly-typed | Stringly Typed Programming |
| packages/nixpkgs/haskellPackages.validated-types | Type-level constraints on strings and other input |
| packages/nixpkgs/haskellPackages.aeson-flowtyped | Create Flow or TypeScript type definitions from Haskell data types |
| packages/nixpkgs/haskellPackages.hpqtypes-extras | Extra utilities for hpqtypes library |
| packages/nixpkgs/haskellPackages.bootstrap-types | Bootstrap CSS Framework type-safe interface |
| packages/nixpkgs/haskellPackages.ansi-terminal-types | Types and functions used to represent SGR aspects |
| packages/nixpkgs/haskellPackages.freetype-simple | Single line text rendering for OpenGL ES |
| packages/nixpkgs/haskellPackages.word-notes-datatype | General datatypes for music creation for one instrument |
| packages/nixpkgs/haskellPackages.typesafe-precure | Type-safe transformations and purifications of PreCures (Japanese Battle Heroine) |
| packages/nixpkgs/haskellPackages.typedquery | Parser for SQL augmented with types |
| packages/nixpkgs/haskellPackages.lawful-classes-types | Types for lawful-classes |
| packages/nixpkgs/haskellPackages.tahoe-great-black-swamp-types | Types related to implementation of a Tahoe-LAFS Great Black Swamp server |
| packages/nixpkgs/haskellPackages.typed-protocols | A framework for strongly typed protocols |
| packages/nixpkgs/haskellPackages.predicate-typed | Predicates, Refinement types and Dsl |
| packages/nixpkgs/haskellPackages.cryptoids-types | Shared types for encrypting internal object identifiers before exposure |
| packages/nixpkgs/haskellPackages.hypertypes | Typed ASTs |
| packages/nixpkgs/haskellPackages.hasktorch-types-th | C-types for Torch |
| packages/nixpkgs/haskellPackages.concrete-typerep | Binary and Hashable instances for TypeRep |
| packages/nixpkgs/haskellPackages.typed-protocols-doc | Derive documentation from typed-protocols source code |
| packages/nixpkgs/haskellPackages.hasktorch-types-thc | C-types for Cutorch |
| packages/nixpkgs/haskellPackages.oo-prototypes | Support for OO-like prototypes |
| packages/nixpkgs/haskellPackages.newtype-deriving | Instance derivers for newtype wrappers |
| packages/nixpkgs/haskellPackages.newtype-generics | A typeclass and set of functions for working with newtypes |
| packages/nixpkgs/haskellPackages.typescript-docs | A documentation generator for TypeScript Definition files |
| packages/nixpkgs/haskellPackages.sydtest-typed-process | A typed-process companion library for sydtest |
| packages/nixpkgs/haskellPackages.should-not-typecheck | A HUnit/hspec assertion library to verify that an expression does not typecheck |
| packages/nixpkgs/haskellPackages.proto-lens-protobuf-types | Basic protocol buffer message types |
| packages/nixpkgs/haskellPackages.postgresql-typed | PostgreSQL interface with compile-time SQL type checking, optional HDBC backend |
| packages/nixpkgs/haskellPackages.persistent-typed-db | Type safe access to multiple database schemata |
| packages/nixpkgs/haskellPackages.aeson-typescript | Generate TypeScript definition files from your ADTs |
| packages/nixpkgs/haskellPackages.typelevel-rewrite-rules | Solve type equalities using custom type-level rewrite rules |
| packages/nixpkgs/haskellPackages.pushbullet-types | Datatypes used by the Pushbullet APIs |
| packages/nixpkgs/haskellPackages.linear-core-prototype | Linear core validates optimizations wrt linearity |
| packages/nixpkgs/haskellPackages.ghc-typelits-knownnat | Derive KnownNat constraints from other KnownNat constraints |
| packages/nixpkgs/haskellPackages.gelatin-freetype2 | FreeType2 based text rendering for the gelatin realtime rendering system |
| packages/nixpkgs/haskellPackages.snaplet-typed-sessions | Typed session snaplets and continuation-based programming for the Snap web framework |
| packages/nixpkgs/haskellPackages.hakyll-typescript | Typescript and javascript hakyll compilers |
| packages/nixpkgs/haskellPackages.hackertyper | "Hack" like a programmer in movies and games! |
| packages/nixpkgs/haskellPackages.pokemon-go-protobuf-types | Haskell types for the Pokemon Go protobuf protocol |
| packages/nixpkgs/haskellPackages.typecheck-plugin-nat-simple | Simple type check plugin which calculate addition, subtraction and less-or-equal-than |
| packages/nixpkgs/haskellPackages.ixset-typed-binary-instance | Binary instance for ixset-typed |
| packages/nixpkgs/haskellPackages.pandoc-types_1_23_1_1 | Types for representing a structured document |
| packages/nixpkgs/haskellPackages.typelits-witnesses | Existential witnesses, singletons, and classes for operations on GHC TypeLits |
| packages/nixpkgs/haskellPackages.ghc-typelits-extra_0_5_1 | Additional type-level operations on GHC |
| packages/nixpkgs/haskellPackages.ghc-typelits-extra_0_5_2 | Additional type-level operations on GHC |
| packages/nixpkgs/haskellPackages.singleton-typelits | Singletons and induction over GHC TypeLits |
| packages/nixpkgs/haskellPackages.tree-sitter-typescript | Tree-sitter grammar/parser for TypeScript |
| packages/nixpkgs/haskellPackages.haskell-typescript | Simple TypeScript API |
| packages/nixpkgs/haskellPackages.servant-typescript | TypeScript client generation for Servant |
| packages/nixpkgs/haskellPackages.typed-encoding-encoding | Bridge between encoding and typed-encoding packages |
| packages/nixpkgs/haskellPackages.coercible-subtypes | Coercible but only in one direction |
| packages/nixpkgs/haskellPackages.hpqtypes-effectful | Adaptation of the hpqtypes library for the effectful ecosystem |
| packages/nixpkgs/haskellPackages.typed-process-effectful | A binding of the typed-process library for the effectful effect system |
| packages/nixpkgs/haskellPackages.yesod-routes-typescript | generate TypeScript routes for Yesod |
| packages/nixpkgs/haskellPackages.typed-spreadsheet | Typed and composable spreadsheets |
| packages/nixpkgs/haskellPackages.scuttlebutt-types | generic types for Secure Scuttlebutt |
| packages/nixpkgs/haskellPackages.polytypeable | Typeable for polymorphic types |
| packages/nixpkgs/haskellPackages.postgresql-simple-typed | Typed extension for PostgreSQL simple |
| packages/nixpkgs/haskellPackages.csound-expression-typed | typed core for the library csound-expression |
| packages/nixpkgs/haskellPackages.postgresql-typed-lifted | postgresql-typed operations lifted to any instance of MonadBase or MonadBaseControl |
| packages/nixpkgs/haskellPackages.ghc-typelits-presburger | Presburger Arithmetic Solver for GHC Type-level natural numbers |
| packages/nixpkgs/haskellPackages.sessiontypes | Session types library |
| packages/nixpkgs/haskellPackages.minitypeset-opengl | Layout and render text with TrueType fonts using OpenGL |
| packages/nixpkgs/haskellPackages.language-typescript | A library for working with TypeScript Definition files |
| packages/nixpkgs/haskellPackages.bytestring-typenats | Bytestrings with typenat lengths |
| packages/nixpkgs/haskellPackages.genvalidity-typed-uuid | Generators for Phantom-Typed version of UUID |
| packages/nixpkgs/haskellPackages.accelerate-typelits | a typesafe way encode accelerate matrices and vectors |
| packages/nixpkgs/haskellPackages.ixset-typed-hashable-instance | Hashable instance for ixset-typed |
| packages/nixpkgs/haskellPackages.persistable-types-HDBC-pg | HDBC and Relational-Record instances of PostgreSQL extended types |
| packages/nixpkgs/haskellPackages.ansi-terminal-types_0_11_5 | Types and functions used to represent SGR aspects |
| packages/nixpkgs/haskellPackages.typed-session-state-algorithm | Automatically generate status for typed-session |
| 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 |
| packages/nixpkgs/haskellPackages.cased | Track string casing in its type |
| packages/nixpkgs/haskellPackages.trasa | Type Safe Web Routing |
| packages/nixpkgs/haskellPackages.prim-ref | Primitive byte array with type variable |
| packages/nixpkgs/haskellPackages.union | Extensible type-safe unions |
| packages/nixpkgs/haskellPackages.usb-safe | Type-safe communication with USB devices |
| packages/nixpkgs/haskellPackages.ifcxt | put if statements within type constraints |
| packages/nixpkgs/haskellPackages.fay-text | Fay Text type represented as JavaScript strings |
| packages/nixpkgs/haskellPackages.deep-map | Deeply-nested, multiple key type maps |
| packages/nixpkgs/haskellPackages.bool8 | Alternative Bool type stored as byte |
| packages/nixpkgs/haskellPackages.ioctl | Type-safe I/O control package |
| packages/nixpkgs/haskellPackages.duet | A tiny language, a subset of Haskell (with type classes) aimed at aiding teachers to teach Haskell |
| packages/nixpkgs/haskellPackages.effet | An Effect System based on Type Classes |
| packages/nixpkgs/haskellPackages.djinn | Generate Haskell code from a type |
| packages/nixpkgs/haskellPackages.sqlc-hs | Generate type-safe Haskell code from SQL via https://github.com/sqlc-dev/sqlc. |
| packages/nixpkgs/haskellPackages.witch | Convert values from one type into another |
| packages/nixpkgs/haskellPackages.set-with | Set of elements sorted by a different data type |
| packages/nixpkgs/haskellPackages.Digit | A data-type representing digits 0-9 |
| packages/nixpkgs/haskellPackages.c2hs | C->Haskell FFI tool that gives some cross-language type safety |
| packages/nixpkgs/haskellPackages.ddc-core | Disciplined Disciple Compiler core language and type checker |
| packages/nixpkgs/haskellPackages.units | A domain-specific type system for dimensional analysis |
| packages/nixpkgs/haskellPackages.mmzk-env | Read environment variables into a user-defined data type |
| packages/nixpkgs/haskellPackages.sieve | Sieve is an implementation of the Sieve abstract data type |
| packages/nixpkgs/haskellPackages.rhine | Functional Reactive Programming with type-level clocks |
| packages/nixpkgs/haskellPackages.model | Derive a model of a data type using Generics |
| packages/nixpkgs/haskellPackages.yesod | Creation of type-safe, RESTful web applications |
| packages/nixpkgs/haskellPackages.padic | Fast, type-safe p-adic arithmetic |
| packages/nixpkgs/haskellPackages.motor | Type-safe effectful state machines in Haskell |
| packages/nixpkgs/haskellPackages.laika | Minimalistic type-checked compile-time template engine |
| packages/nixpkgs/haskellPackages.digit | A data-type representing digits 0-9 and other combinations |
| packages/nixpkgs/haskellPackages.json-spec | Type-level JSON specification |
| packages/nixpkgs/haskellPackages.http-pony | A type unsafe http library |
| packages/nixpkgs/haskellPackages.mmtl-base | MonadBase type-class for mmtl |
| packages/nixpkgs/haskellPackages.o-clock | Type-safe time library |
| packages/nixpkgs/haskellPackages.paths | Library for representing and manipulating type-safe file paths |
| packages/nixpkgs/haskellPackages.valid | Type isomorphic to `Either` with `Applicative` instance which combines errors |
| packages/nixpkgs/haskellPackages.scanf | Easy and type-safe format strings for parsing and printing |
| packages/nixpkgs/haskellPackages.djinn-th | Generate executable Haskell code from a type |
| packages/nixpkgs/haskellPackages.ditto | ditto is a type-safe HTML form generation and validation library |
| packages/nixpkgs/haskellPackages.fast-mult | Numeric type with asymptotically faster multiplications |
| packages/nixpkgs/haskellPackages.uxadt | Cross-language extensible representation for algebraic data type instances |
| packages/nixpkgs/haskellPackages.MiniAgda | A toy dependently typed programming language with type-based termination |
| packages/nixpkgs/haskellPackages.EsounD | Type-safe bindings to EsounD (ESD; Enlightened Sound Daemon) |
| packages/nixpkgs/haskellPackages.i3ipc | A type-safe wrapper around i3's IPC |
| packages/nixpkgs/haskellPackages.htree | a library to build and work with heterogeneous, type level indexed rose trees |
| packages/nixpkgs/haskellPackages.no-value | A type class for choosing sentinel-like values |
| packages/nixpkgs/haskellPackages.zippo | A simple lens-based, generic, heterogenous, type-checked zipper library |
| packages/nixpkgs/haskellPackages.make-monofoldable-foldable | Make a MonoFoldable type into an ordinary Foldable type |
| packages/nixpkgs/haskellPackages.colors | A type for colors |
| packages/nixpkgs/haskellPackages.url-bytes | Memory efficient url type and parser |
| packages/nixpkgs/haskellPackages.path-like | PathLike, FileLike and DirLike type classes for the Path library |
| packages/nixpkgs/haskellPackages.haste-app | Framework for type-safe, distributed web applications |
| packages/nixpkgs/haskellPackages.core-text | A rope type based on a finger tree over UTF-8 fragments |
| packages/nixpkgs/haskellPackages.thrist | Type-threaded list |
| packages/nixpkgs/haskellPackages.text-utf8 | An efficient packed UTF-8 backed Unicode text type |
| packages/nixpkgs/haskellPackages.sheets | Spreadsheet type for composite |
| packages/nixpkgs/haskellPackages.free-foil | Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads) |
| packages/nixpkgs/haskellPackages.beam-core | Type-safe, feature-complete SQL query and manipulation interface for Haskell |
| packages/nixpkgs/haskellPackages.reader | A reader data type with all the bits |
| packages/nixpkgs/haskellPackages.HappyTree | Type Safe and End to End Decision Tree |
| packages/nixpkgs/haskellPackages.ClassLaws | Stating and checking laws for type class methods |
| packages/nixpkgs/haskellPackages.djinn-lib | Generate Haskell code from a type |
| packages/nixpkgs/haskellPackages.djinn-ghc | Generate Haskell code from a type |
| packages/nixpkgs/haskellPackages.fixed-list | A fixed length list type |
| packages/nixpkgs/haskellPackages.hdbc-tuple | Type save tuples for HDBC |
| packages/nixpkgs/haskellPackages.basic-lens | Basic lens type and functions |
| packages/nixpkgs/haskellPackages.data-clist | Simple functional ring type |
| packages/nixpkgs/haskellPackages.hybrid | A implementation of a type-checker for Lambda-H |
| packages/nixpkgs/haskellPackages.sorted | Efficient, type-safe sorted sequences |
| packages/nixpkgs/haskellPackages.symbol | A 'Symbol' type for fast symbol comparison |
| packages/nixpkgs/haskellPackages.minlen | Express the minimum length of a container in its type |
| packages/nixpkgs/haskellPackages.MultiChor | Type-safe and efficient choreographies with location-set polymorphism |
| packages/nixpkgs/haskellPackages.ascii-char | A Char type representing an ASCII character |
| packages/nixpkgs/haskellPackages.hslua-list | Opinionated, but extensible Lua list type |
| packages/nixpkgs/haskellPackages.mangle | Convert C++ type signatures to their mangled form |
| packages/nixpkgs/haskellPackages.error-list | A useful type for collecting error messages |
| packages/nixpkgs/haskellPackages.tensor | A completely type-safe library for linear algebra |
| packages/nixpkgs/haskellPackages.ribbit | [Unmaintained] Type-level Relational DB combinators |
| packages/nixpkgs/haskellPackages.prim-array | Primitive byte array with type variable |
| packages/nixpkgs/haskellPackages.unitym | A monad type class shared between web services |
| packages/nixpkgs/haskellPackages.static | Type-safe and interoperable static values and closures |
| packages/nixpkgs/haskellPackages.open-union | Extensible, type-safe unions |
| packages/nixpkgs/haskellPackages.userid | The UserId type and useful instances for web development |
| packages/nixpkgs/haskellPackages.spooky | Unified API for phantom typed newtypes and type aliases |
| packages/nixpkgs/haskellPackages.hspec-laws | Document and test laws for standard type classes |
| packages/nixpkgs/haskellPackages.data-store | Type safe, in-memory dictionary with multidimensional keys |
| packages/nixpkgs/haskellPackages.http-media | Processing HTTP Content-Type and Accept headers |
| packages/nixpkgs/haskellPackages.data-ascii | Type-safe, bytestring-based ASCII values |
| packages/nixpkgs/haskellPackages.layers | Modular type class machinery for monad transformer stacks |
| packages/nixpkgs/haskellPackages.ghc-dump-tree | Dump GHC's parsed, renamed, and type checked ASTs |
| packages/nixpkgs/haskellPackages.monad-fork | Type class for monads which support a fork operation |
| packages/nixpkgs/haskellPackages.named-text | A parameterized named text type and associated functionality |
| packages/nixpkgs/haskellPackages.yesod-core | Creation of type-safe, RESTful web applications |
| packages/nixpkgs/haskellPackages.hw-vector | Vector type with convenient typeclass instances |
| packages/nixpkgs/haskellPackages.reform | reform is a type-safe HTML form generation and validation library |
| packages/nixpkgs/haskellPackages.monad-time | Type class for monads which carry the notion of the current time |
| packages/nixpkgs/haskellPackages.monads-tf | Monad classes, using type families |
| packages/nixpkgs/haskellPackages.apiary | Simple and type safe web framework that generate web API documentation |
| packages/nixpkgs/haskellPackages.AspectAG | First-class Attribute Grammars implemented using type-level programming |
| packages/nixpkgs/haskellPackages.fcf-graphs | Type-level version of algebraic-graphs |
| packages/nixpkgs/haskellPackages.lol-typing | Type inferencer for LOL (λω language) |
| 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 |
| packages/nixpkgs/haskellPackages.higgledy | Partial types as a type constructor |
| packages/nixpkgs/haskellPackages.byteable | Type class for sequence of bytes |
| packages/nixpkgs/haskellPackages.finitary | A better, more type-safe Enum |
| packages/nixpkgs/haskellPackages.data-rtuple | Recursive tuple data structure |
| packages/nixpkgs/haskellPackages.hssqlppp | SQL parser and type checker |
| packages/nixpkgs/haskellPackages.membrain | Type-safe memory units |
| packages/nixpkgs/haskellPackages.possibly | type Possibly a = Either String a |
| packages/nixpkgs/haskellPackages.webgear-core | Composable, type-safe library to build HTTP APIs |
| packages/nixpkgs/haskellPackages.recover-rtti | Recover run-time type information from the GHC heap |
| packages/nixpkgs/haskellPackages.timelike | Type classes for types representing time |
| packages/nixpkgs/haskellPackages.joinlist | Join list - symmetric list type |
| packages/nixpkgs/haskellPackages.matrix-static | Type-safe matrix operations |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-glib | A type class for cast functions of Gtk2hs: glib package |
| packages/nixpkgs/haskellPackages.suitable | Abstract over the constraints on the parameters to type constructors |
| packages/nixpkgs/haskellPackages.data-variant | A variant data type, useful for modeling dynamically-typed programming languages |
| packages/nixpkgs/haskellPackages.ttc_1_5_0_0 | Textual Type Classes |
| packages/nixpkgs/haskellPackages.hslua-classes | Type classes for HsLua |
| packages/nixpkgs/haskellPackages.bind-marshal | Data marshaling library that uses type level equations to optimize buffering |
| packages/nixpkgs/haskellPackages.aztecs-sdl-image | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.language-tl | A Parser for the Type Language |
| packages/nixpkgs/haskellPackages.optional | Using type-classes for optional function arguments |
| packages/nixpkgs/haskellPackages.storable | Storable type class for variable-sized data |
| packages/nixpkgs/haskellPackages.symbol-parser | Type level string parser combinators |
| packages/nixpkgs/haskellPackages.COrdering | An algebraic data type similar to Prelude Ordering |
| packages/nixpkgs/haskellPackages.monoid-record | Support for modifying record fields of monoidal type |
| packages/nixpkgs/haskellPackages.servant-dhall | Servant Dhall content-type |
| packages/nixpkgs/haskellPackages.sequence | A type class for sequences and various sequence data structures |
| packages/nixpkgs/haskellPackages.timeline | Data type representing a piecewise-constant function over time |
| packages/nixpkgs/haskellPackages.red-black-record | Extensible records and variants indexed by a type-level Red-Black tree |
| packages/nixpkgs/haskellPackages.numeric-kinds | Type-level numeric types and classes |
| packages/nixpkgs/haskellPackages.envelope | Defines generic 'Envelope' type to wrap reponses from a JSON API |
| packages/nixpkgs/haskellPackages.convert-units | Arithmetic and type checked conversions between units |
| packages/nixpkgs/haskellPackages.fluffy-parser | The parser for fluffy to parsec the question bank in .docx type |
| packages/nixpkgs/haskellPackages.protocol | Model distributed system as type-level multi-party protocol |
| packages/nixpkgs/haskellPackages.tagged-binary | Provides tools for serializing data tagged with type information |
| packages/nixpkgs/haskellPackages.musicxml | MusicXML format encoded as Haskell type and functions of reading and writting |
| packages/nixpkgs/haskellPackages.dynamic-state | Optionally serializable dynamic state keyed by type |
| packages/nixpkgs/haskellPackages.ban-instance | For when a type should never be an instance of a class |
| packages/nixpkgs/haskellPackages.comfort-graph | Graph structure with type parameters for nodes and edges |
| packages/nixpkgs/haskellPackages.intelli-monad | Type level prompt with LLMs via louter |
| packages/nixpkgs/haskellPackages.aeson-schemas | Easily consume JSON data on-demand with type-safety |
| packages/nixpkgs/haskellPackages.web-view_0_7_1 | Type-safe HTML and CSS with intuitive layouts and composable styles |
| packages/nixpkgs/haskellPackages.haskell-holes-th | Infer haskell code by given type |
| packages/nixpkgs/haskellPackages.dormouse-uri | Library for type-safe representations of Uri/Urls |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-glade | A type class for cast functions of Gtk2hs: glade package |
| packages/nixpkgs/haskellPackages.union_0_1_3 | Extensible type-safe unions |
| packages/nixpkgs/haskellPackages.abstract-par | Type classes generalizing the functionality of the 'monad-par' library |
| packages/nixpkgs/haskellPackages.barrier-monad | Implementation of barrier monad, can use custom front/back type |
| packages/nixpkgs/haskellPackages.freer-indexed | Freer indexed monad for type-level resource-aware effectual operations |
| packages/nixpkgs/haskellPackages.yesod-content-pdf | PDF Content Type for Yesod |
| packages/nixpkgs/haskellPackages.Control-Monad-ST2 | A variation on the ST monad with two type parameters |
| packages/nixpkgs/haskellPackages.amazonka-mtl | MTL-style type-class and deriving-via newtypes for Amazonka |
| packages/nixpkgs/haskellPackages.goal-geometry | The basic geometric type system of Goal |
| packages/nixpkgs/haskellPackages.ghc-tcplugin-api | An API for type-checker plugins |
| packages/nixpkgs/haskellPackages.nat-sized-numbers | Variable-sized numbers from type-level nats |
| packages/nixpkgs/haskellPackages.storable-enum | Wrapper that makes any Enum type Storable |
| packages/nixpkgs/haskellPackages.derive-topdown | Derive type class instances |
| packages/nixpkgs/haskellPackages.kind-rational | Type-level rationals |
| packages/nixpkgs/haskellPackages.data-filepath | A type safe file path data structure |
| packages/nixpkgs/haskellPackages.closed-classes | Closed type class declarations |
| packages/nixpkgs/haskellPackages.NestedFunctor | Nested composition of functors with a type index tracking nesting |
| packages/nixpkgs/haskellPackages.language-spir-v | Data type for SPIR-V |
| packages/nixpkgs/haskellPackages.safer-file-handles | Type-safe file handling |
| packages/nixpkgs/haskellPackages.failable-list | A list-like type for lazy streams, which might terminate with an error |
| packages/nixpkgs/haskellPackages.time-interval | Use a time unit class, but hold a concrete time type |
| packages/nixpkgs/haskellPackages.monoidmap | Monoidal map type |
| packages/nixpkgs/haskellPackages.matchable | A type class for Matchable Functors |
| packages/nixpkgs/haskellPackages.homotuple | Homotuple, all whose elements are the same type |
| packages/nixpkgs/haskellPackages.lambdatex | Type-Safe LaTeX EDSL |
| packages/nixpkgs/haskellPackages.oneormore | A never-empty list type |
| packages/nixpkgs/haskellPackages.unlifted-list | GHC Haskell lists of non-thunks (things of kind TYPE 'UnliftedRep) |
| packages/nixpkgs/haskellPackages.natural-number | Natural numbers tagged with a type-level representation of the number |
| packages/nixpkgs/haskellPackages.unpacked-these | An unpacked these data type |
| packages/nixpkgs/haskellPackages.javelin-frames | Type-safe data frames based on higher-kinded types |
| packages/nixpkgs/haskellPackages.multi-instance | Typeclasses augmented with a phantom type parameter |
| packages/nixpkgs/haskellPackages.fixedprec | A fixed-precision real number type |
| packages/nixpkgs/haskellPackages.lambda-options | Declarative command-line parser with type-driven pattern matching |
| packages/nixpkgs/haskellPackages.libffi-dynamic | LibFFI interface with dynamic bidirectional type-driven binding generation |
| packages/nixpkgs/haskellPackages.enumerate | enumerate all the values in a finite type (automatically) |
| packages/nixpkgs/haskellPackages.symparsec | Type level string parser combinators |
| packages/nixpkgs/haskellPackages.saferoute | A simple type-safe routing library |
| packages/nixpkgs/haskellPackages.webgear-server | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/haskellPackages.servant-proto-lens | Servant Content-Type for proto-lens protobuf modules |
| packages/nixpkgs/haskellPackages.separated | A data type with elements separated by values |
| packages/nixpkgs/haskellPackages.open-adt-tutorial | Open algebraic data type examples |
| packages/nixpkgs/haskellPackages.unpacked-maybe | An unpacked maybe data type |
| packages/nixpkgs/haskellPackages.groundhog | Type-safe datatype-database mapping library |
| packages/nixpkgs/haskellPackages.functora-witch | Convert values from one type into another |
| packages/nixpkgs/haskellPackages.streaming | an elementary streaming prelude and general stream type |
| packages/nixpkgs/haskellPackages.vector-space-points | A type for points, as distinct from vectors |
| packages/nixpkgs/haskellPackages.numbering | Combinators for creating bijections from some type to the natural numbers |
| packages/nixpkgs/haskellPackages.Coroutine | Type-safe coroutines using lightweight session types |
| packages/nixpkgs/haskellPackages.aeson-deriving | data types for compositional, type-directed serialization |
| packages/nixpkgs/haskellPackages.composite-xml | RecXML Type |
| packages/nixpkgs/haskellPackages.esqueleto | Type-safe EDSL for SQL queries on persistent backends |
| packages/nixpkgs/haskellPackages.deriving-aeson | Type driven generic aeson instance customisation |
| packages/nixpkgs/haskellPackages.happs-tutorial | A Happstack Tutorial that is its own web 2.0-type demo. |
| packages/nixpkgs/haskellPackages.exference | Tool to search/generate (haskell) expressions with a given type |
| packages/nixpkgs/haskellPackages.web-routes-regular | portable, type-safe URL routing |
| packages/nixpkgs/haskellPackages.semialign | Align and Zip type-classes from the common Semialign ancestor |
| packages/nixpkgs/haskellPackages.dependent-sum | Dependent sum type |
| packages/nixpkgs/haskellPackages.hyperbole | Interactive HTML apps using type-safe serverside Haskell |
| packages/nixpkgs/haskellPackages.AlgorithmW | Example implementation of Algorithm W for Hindley-Milner type inference |
| packages/nixpkgs/haskellPackages.groundhog-th | Type-safe datatype-database mapping library |
| packages/nixpkgs/haskellPackages.network-uri-static | A small utility to declare type-safe static URIs |
| packages/nixpkgs/haskellPackages.version-natural | A simple version type |
| packages/nixpkgs/haskellPackages.DrIFT-cabalized | Program to derive type class instances |
| packages/nixpkgs/haskellPackages.cassava-records | Auto-generation of records data type |
| packages/nixpkgs/haskellPackages.TrivialMonadWithUnitType | Trivial monad with Unit type |
| packages/nixpkgs/haskellPackages.network-service | Provide a service at the data type level |
| packages/nixpkgs/haskellPackages.twentefp-trees | Tree type and show functions for lab assignment of University of Twente |
| packages/nixpkgs/haskellPackages.servant-cassava | Servant CSV content-type for cassava |
| packages/nixpkgs/haskellPackages.singleton-bool | Type level booleans |
| packages/nixpkgs/haskellPackages.LambdaDesigner | A type-safe EDSL for TouchDesigner written in Haskell |
| packages/nixpkgs/haskellPackages.fcf-composite | Type-level computation for composite using first-class-families |
| packages/nixpkgs/haskellPackages.growable-vector | A contiguous growable array type |
| packages/nixpkgs/haskellPackages.numeric-prelude | An experimental alternative hierarchy of numeric type classes |
| packages/nixpkgs/haskellPackages.unpacked-either | An unpacked either data type |
| packages/nixpkgs/haskellPackages.list-witnesses | Witnesses for working with type-level lists |
| packages/nixpkgs/haskellPackages.general-prelude | Prelude replacement using generalized type classes where possible |
| packages/nixpkgs/haskellPackages.dormouse-client | Simple, type-safe and testable HTTP client |
| packages/nixpkgs/haskellPackages.webgear-openapi | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/haskellPackages.webgear-swagger | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/haskellPackages.finitary-derive | Flexible and easy deriving of type classes for finitary types |
| packages/nixpkgs/haskellPackages.category-printf | Highbrow approach to type-safe printf format specifications |
| packages/nixpkgs/haskellPackages.mime-directory | A library for parsing/printing the text/directory mime type |
| packages/nixpkgs/haskellPackages.convex-schema-parser | A type-safe client generator for Convex for both Rust and Python |
| packages/nixpkgs/haskellPackages.terminal-text | Text data type for styled terminal output, including all standard ANSI effects (bold, italic, blinking) and ANSI / 256 / truecolor colors support for Unix and Windows (whenever possible) |
| packages/nixpkgs/haskellPackages.enumerable | A typeclass for enumerating all values a type |
| packages/nixpkgs/haskellPackages.heterolist | A heterogeneous list type |
| packages/nixpkgs/haskellPackages.servant-xml-conduit | Servant XML content-type with support for xml-conduit |
| packages/nixpkgs/haskellPackages.web-routes-generics | portable, type-safe URL routing |
| packages/nixpkgs/haskellPackages.witch_1_3_0_1 | Convert values from one type into another |
| packages/nixpkgs/haskellPackages.PeanoWitnesses | GADT type witnesses for Peano-style natural numbers |
| packages/nixpkgs/haskellPackages.broadcast-chan | Closable, fair, single-wakeup channel type that avoids 0 reader space leaks |
| packages/nixpkgs/haskellPackages.membership | Indices for type level lists |
| packages/nixpkgs/haskellPackages.first-class-families | First-class type families |
| packages/nixpkgs/haskellPackages.versioning | Type-safe data versioning |
| packages/nixpkgs/haskellPackages.lambdacube | A simple lambda cube type checker |
| packages/nixpkgs/haskellPackages.increments | type classes for incremental updates to data |
| packages/nixpkgs/haskellPackages.apply-unordered | Apply a function to an argument specified by a type level Nat |
| packages/nixpkgs/haskellPackages.dimensions | Safe type-level dimensionality for multidimensional data |
| packages/nixpkgs/haskellPackages.Validation | A data-type like Either but with an accumulating Applicative |
| packages/nixpkgs/haskellPackages.hydrogen-version | Hydrogen Version Type |
| packages/nixpkgs/haskellPackages.validation | A data-type like Either but with an accumulating Applicative |
| packages/nixpkgs/haskellPackages.persistent | Type-safe, multi-backend data serialization |
| packages/nixpkgs/haskellPackages.positive-integer | Type of positive integers |
| packages/nixpkgs/haskellPackages.stringable | A Stringable type class, in the spirit of Foldable and Traversable |
| packages/nixpkgs/haskellPackages.tyfam-witnesses | Provide proof witnesses for closed type family evaluation |
| packages/nixpkgs/haskellPackages.variable-media-field | Simple type for representing one of several media types |
| packages/nixpkgs/haskellPackages.polysemy-keyed-state | Effect for a set of stateful values indexed by a type of keys |
| packages/nixpkgs/haskellPackages.webgear-core_1_5_0 | Composable, type-safe library to build HTTP APIs |
| packages/nixpkgs/haskellPackages.monad-primitive | Type class for monad transformers stack with pirimitive base monad |
| packages/nixpkgs/haskellPackages.htree_0_2_0_0 | a library to build and work with heterogeneous, type level indexed rose trees |
| packages/nixpkgs/haskellPackages.formatting | Combinator-based type-safe formatting (like printf() or FORMAT) |
| packages/nixpkgs/haskellPackages.first-class-patterns | First class patterns and pattern matching, using type families |
| packages/nixpkgs/haskellPackages.easytensor | Pure, type-indexed haskell vector, matrix, and tensor library |
| packages/nixpkgs/haskellPackages.templatepg | A PostgreSQL access library with compile-time SQL type inference |
| packages/nixpkgs/haskellPackages.multistate | like mtl's ReaderT / WriterT / StateT, but more than one contained value/type |
| packages/nixpkgs/haskellPackages.postgres-options | An Options type representing options for postgres connections |
| packages/nixpkgs/haskellPackages.fingertree-tf | Generic finger-tree structure using type families |
| packages/nixpkgs/haskellPackages.instance-control | Controls how the compiler searches for instances using type families |
| packages/nixpkgs/haskellPackages.ghc-tcplugins-extra | Utilities for writing GHC type-checker plugins |
| packages/nixpkgs/haskellPackages.jsonschema-gen | JSON Schema generator from Algebraic data type |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-gnomevfs | A type class for cast functions of Gtk2hs: gnomevfs package |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-gtkglext | A type class for cast functions of Gtk2hs: gtkglext package |
| packages/nixpkgs/haskellPackages.dynamic-pipeline | Library Type Safe implementation of Dynamic Pipeline Paradigm (DPP) |
| packages/nixpkgs/haskellPackages.purescript-iso | Isomorphic trivial data type definitions over JSON |
| packages/nixpkgs/haskellPackages.memory-hexstring | Hex-string type for Haskell Web3 library |
| packages/nixpkgs/haskellPackages.bytestring-from | A type-class to convert values from ByteString |
| packages/nixpkgs/haskellPackages.collection-json | Collection+JSON—Hypermedia Type Tools |
| packages/nixpkgs/haskellPackages.data-validation | A library for creating type safe validations |
| packages/nixpkgs/haskellPackages.aeson-generic-default | Type-level default fields for aeson Generic FromJSON parser |
| packages/nixpkgs/haskellPackages.JSON-Combinator | A combinator library on top of a generalised JSON type |
| packages/nixpkgs/haskellPackages.data-accessor-monads-tf | Use Accessor to access state in monads-tf State monad type family |
| packages/nixpkgs/haskellPackages.apply-unordered-mono | Apply functions to arguments in an unordered type-directed fashion |
| packages/nixpkgs/haskellPackages.aztecs-transform | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.aztecs-hierarchy | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.sorted-list_0_3_1_0 | Type-enforced sorted lists and related functions |
| packages/nixpkgs/haskellPackages.ziptastic-client | A type-safe client for the Ziptastic API for doing forward and reverse geocoding |
| packages/nixpkgs/haskellPackages.Agda-executable | Command-line program for type-checking and compiling Agda programs |
| packages/nixpkgs/haskellPackages.indexed-list-literals | Type safe indexed list literals |
| packages/nixpkgs/haskellPackages.ConstraintKinds | Repackages standard type classes with the ConstraintKinds extension |
| packages/nixpkgs/haskellPackages.data-combinator-gen | Generate a special combinator from any data type |
| packages/nixpkgs/haskellPackages.web-routes-boomerang | Use boomerang for type-safe URL parsers/printers |
| packages/nixpkgs/haskellPackages.japanese-calendar | Data type of Japanese Calendar (Wareki) |
| packages/nixpkgs/haskellPackages.constraint-manip | Some conviencience type functions for manipulating constraints |
| packages/nixpkgs/haskellPackages.guess-combinator | Generate simple combinators given their type |
| packages/nixpkgs/haskellPackages.network-socket-options | Type-safe, portable alternative to getSocketOption/setSocketOption |
| packages/nixpkgs/haskellPackages.flexible-defaults | Generate default function implementations for complex type classes |
| packages/nixpkgs/haskellPackages.Strafunski-ATermLib | An abstract data type designed for the exchange of tree-like data structures |
| packages/nixpkgs/haskellPackages.funspection | Type-level function utilities |
| packages/nixpkgs/haskellPackages.exceptional | Essentially the Maybe type with error messages |
| packages/nixpkgs/haskellPackages.classyplate | Fuseable type-class based generics |
| packages/nixpkgs/haskellPackages.twentefp-rosetree | RoseTree type and show functions for lab assignment of University of Twente |
| packages/nixpkgs/haskellPackages.cspmchecker | A command line type checker for CSPM files |
| packages/nixpkgs/haskellPackages.axiomatic-classes | Specify axioms for type classes and quickCheck all available instances |
| packages/nixpkgs/haskellPackages.matchable_0_2 | A type class for Matchable Functors |
| packages/nixpkgs/haskellPackages.smallstring | A Unicode text type, optimized for low memory overhead |
| packages/nixpkgs/haskellPackages.simple-media-timestamp | A very simple timestamp type |
| packages/nixpkgs/haskellPackages.dimensional-tf | Statically checked physical dimensions, implemented using type families |
| packages/nixpkgs/haskellPackages.vector-bytestring | ByteStrings as type synonyms of Storable Vectors of Word8s |
| packages/nixpkgs/haskellPackages.th-constraint-compat | Compatibility for type constraint template |
| packages/nixpkgs/haskellPackages.constrained-some | Existential type that can be constrained |
| packages/nixpkgs/haskellPackages.ghc-tcplugins-extra_0_5 | Utilities for writing GHC type-checker plugins |
| packages/nixpkgs/haskellPackages.explicit-exception | Exceptions which are explicit in the type signature |
| packages/nixpkgs/haskellPackages.dynamic-linker-template | Automatically derive dynamic linking methods from a data type |
| packages/nixpkgs/haskellPackages.mono-traversable | Type classes for mapping, folding, and traversing monomorphic containers |
| packages/nixpkgs/haskellPackages.shakespeare-i18n | A type-based approach to internationalization. (deprecated) |
| packages/nixpkgs/haskellPackages.webgear-server_1_5_0 | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/haskellPackages.canonical-filepath | Abstract data type for canonical file paths |
| packages/nixpkgs/haskellPackages.aligned-foreignptr | An aligned ForeignPtr type |
| packages/nixpkgs/haskellPackages.modular-arithmetic | A type for integers modulo some constant |
| packages/nixpkgs/haskellPackages.servant-pagination | Type-safe pagination for Servant APIs |
| packages/nixpkgs/haskellPackages.engineering-units | A numeric type for managing and automating engineering units |
| packages/nixpkgs/haskellPackages.persistent-spatial | Database agnostic, spatially indexed type for geographic points |
| packages/nixpkgs/haskellPackages.refined-containers | Type-checked proof that a key exists in a container and can be safely indexed |
| packages/nixpkgs/haskellPackages.mono-traversable-keys | Type-classes for interacting with monomorphic containers with a key |
| packages/nixpkgs/haskellPackages.PartialTypeSignatures | emulate partial type signatures with template haskell |
| packages/nixpkgs/haskellPackages.requirements | Abstraction to manage user defined Type Errors |
| packages/nixpkgs/haskellPackages.foldable1-classes-compat | Compatibility package for the Foldable1 and Bifoldable1 type classes |
| packages/nixpkgs/haskellPackages.exception-hierarchy | Exception type hierarchy with TemplateHaskell |
| packages/nixpkgs/haskellPackages.distributed-static | Compositional, type-safe, polymorphic static values and closures |
| packages/nixpkgs/haskellPackages.constrained-normal | Normalised Deep Embeddings for Constrained Type-Class Instances |
| packages/nixpkgs/haskellPackages.emailaddress | Wrapper around email-validate library adding instances for common type classes |
| packages/nixpkgs/haskellPackages.tagged-transformer | Monad transformer carrying an extra phantom type tag |
| packages/nixpkgs/haskellPackages.rank2classes | standard type constructor class hierarchy, only with methods of rank 2 types |
| packages/nixpkgs/haskellPackages.groundhog-inspector | Type-safe datatype-database mapping library |
| packages/nixpkgs/haskellPackages.unpacked-validation | An unpacked validation data type |
| packages/nixpkgs/haskellPackages.webgear-swagger_1_5_0 | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/haskellPackages.webgear-openapi_1_5_0 | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/haskellPackages.simplistic-generics | Generic programming without too many type classes |
| packages/nixpkgs/haskellPackages.http-pony-transformer-http | Transform raw TCP stream to a basic HTTP type |
| packages/nixpkgs/haskellPackages.symparsec_2_0_0 | Type level string parser combinators |
| packages/nixpkgs/haskellPackages.transformers-lift | Ad-hoc type classes for lifting |
| packages/nixpkgs/haskellPackages.persistent-template | Type-safe, non-relational, multi-backend persistence |
| packages/nixpkgs/haskellPackages.hyperbole_0_5_0 | Interactive HTML apps using type-safe serverside Haskell |
| packages/nixpkgs/haskellPackages.twentefp-eventloop-trees | Tree type and show functions for lab assignment of University of Twente |
| packages/nixpkgs/haskellPackages.monad-metrics-extensible | An extensible and type-safe wrapper around EKG metrics |
| packages/nixpkgs/haskellPackages.linux-capabilities | Linux capabilities Haskell data type |
| packages/nixpkgs/haskellPackages.unsatisfiable | Unsatisfiable type class |
| packages/nixpkgs/haskellPackages.configuration | Simple data type for application configuration |
| packages/nixpkgs/haskellPackages.justified-containers | Keyed container types with type-checked proofs of key presence |
| packages/nixpkgs/haskellPackages.standalone-derive-topdown | This package will derive class instance along the data type declaration tree. (Deprecated) |
| packages/nixpkgs/haskellPackages.parameterized | Parameterized/indexed monoids and monads using only a single parameter type variable |
| packages/nixpkgs/haskellPackages.postgresql-simple-interval | A simple interval type for PostgreSQL |
| packages/nixpkgs/haskellPackages.coerce-with-substitution | Coercions with improved type inference |
| packages/nixpkgs/haskellPackages.monoidmap_0_0_4_4 | Monoidal map type |
| packages/nixpkgs/haskellPackages.monoidmap_0_0_5_0 | Monoidal map type |
| packages/nixpkgs/haskellPackages.bytestring-conversion | Type-classes to convert values to and from ByteString |
| packages/nixpkgs/haskellPackages.quickcheck-properties | QuickCheck properties for standard type classes |
| packages/nixpkgs/haskellPackages.esqueleto_3_6_0_0 | Type-safe EDSL for SQL queries on persistent backends |
| packages/nixpkgs/haskellPackages.singletons-presburger | Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package |
| packages/nixpkgs/haskellPackages.system-canonicalpath | Abstract data type for canonical paths with some utilities |
| packages/nixpkgs/haskellPackages.transformers-continue | Control flow data type and monad transformer |
| packages/nixpkgs/haskellPackages.monadtransform | A type-class for transforming monads (homomorphism) in a transformer |
| packages/nixpkgs/haskellPackages.heterocephalus | A type-safe template engine for working with front end development tools |
| packages/nixpkgs/haskellPackages.quickcheck-combinators | Simple type-level combinators for augmenting QuickCheck instances |
| packages/nixpkgs/haskellPackages.constrained-categories | Constrained clones of the category-theory type classes, using ConstraintKinds |
| packages/nixpkgs/haskellPackages.exception-transformers | Type classes and monads for unchecked extensible exceptions |
| packages/nixpkgs/haskellPackages.postgresql-connection-string | PostgreSQL connection string type, parser and builder |
| packages/nixpkgs/haskellPackages.interchangeable | A type class for interchangeable data |
| packages/nixpkgs/haskellPackages.composable-associations | Types and helpers for composing types into a single larger key-value type |
| packages/nixpkgs/haskellPackages.persistent_2_15_1_0 | Type-safe, multi-backend data serialization |
| packages/nixpkgs/haskellPackages.persistent_2_18_0_0 | Type-safe, multi-backend data serialization |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-gtksourceview2 | A type class for cast functions of Gtk2hs: gtksourceview2 package |
| packages/nixpkgs/haskellPackages.data-default-instances-case-insensitive | Default instance for CI type from case-insensitive package |
| packages/nixpkgs/haskellPackages.TypeCompose | Type composition classes & instances |
| packages/nixpkgs/haskellPackages.TypeIlluminator | TypeIlluminator is a prototype tool exploring debugging of type errors/ |
| packages/nixpkgs/haskellPackages.pi-forall | Demo implementation of typechecker for dependently-typed language |
| packages/nixpkgs/haskellPackages.var-monad | The VarMonad typeclass, generalizing types of references |
| packages/nixpkgs/haskellPackages.confide | derive typeclass instances for decoding types from HOCON conf |
| packages/nixpkgs/haskellPackages.convertible | Typeclasses and instances for converting between types |
| packages/nixpkgs/haskellPackages.concurrency | Typeclasses, functions, and data types for concurrency and STM |
| packages/nixpkgs/haskellPackages.convertible-text | Typeclasses and instances for converting between types (deprecated) |
| packages/nixpkgs/haskellPackages.partial-order | Provides typeclass suitable for types admitting a partial order |
| packages/nixpkgs/haskellPackages.base-generics | This library provides some instances for extra GHC |
| packages/nixpkgs/haskellPackages.lawful-conversions | Lawful typeclasses for bidirectional conversion between types |
| packages/nixpkgs/haskellPackages.edis | Statically typechecked client for Redis |
| packages/nixpkgs/haskellPackages.lawful-conversions_0_3_0_1 | Lawful typeclasses for bidirectional conversion between types |
| packages/nixpkgs/haskellPackages.hocon | Small library for typesafe's configuration specification |
| packages/nixpkgs/haskellPackages.th-tc | Typechecking in Template Haskell |
| packages/nixpkgs/haskellPackages.contracheck-applicative | Validation types/typeclass based on the contravariance |
| packages/nixpkgs/haskellPackages.helf | Typechecking terms of the Edinburgh Logical Framework (LF) |
| packages/nixpkgs/haskellPackages.di | Typeful hierarchical structured logging using di, mtl and df1 |
| packages/nixpkgs/haskellPackages.rex | A quasi-quoter for typeful results of regex captures |
| packages/nixpkgs/haskellPackages.di-core | Typeful hierarchical structured logging without monad towers |
| packages/nixpkgs/haskellPackages.di-monad | mtl flavoured typeful hierarchical structured logging for di-core |
| packages/nixpkgs/haskellPackages.HMap | Fast heterogeneous maps and unconstrained typeable-like functionality |
| packages/nixpkgs/haskellPackages.ghc-syb | Data and Typeable instances for the GHC API |
| packages/nixpkgs/haskellPackages.effin | A Typeable-free implementation of extensible effects |
| packages/nixpkgs/haskellPackages.typist | Typelevel printf |
| packages/nixpkgs/haskellPackages.clean-unions | Open unions without need for Typeable |
| packages/nixpkgs/haskellPackages.set-of | Sets of fixed size, with typelits |
| packages/nixpkgs/haskellPackages.relational-query | Typeful, Modular, Relational, algebraic query engine |
| packages/nixpkgs/haskellPackages.GPipe | Typesafe functional GPU graphics programming |
| packages/nixpkgs/haskellPackages.mezzo | Typesafe music composition |
| packages/nixpkgs/haskellPackages.solga | Simple typesafe web routing |
| packages/nixpkgs/haskellPackages.ccast | typesafe c-style casts; useful for FFI |
| packages/nixpkgs/haskellPackages.helix | Web development micro framework for haskell with typesafe URLs |
| packages/nixpkgs/haskellPackages.GPipe-Core | Typesafe functional GPU graphics programming |
| packages/nixpkgs/haskellPackages.singleton-dict | Typelevel balanced search trees via a singletonized Data |
| packages/nixpkgs/haskellPackages.wai-routes | Typesafe URLs for Wai applications |
| packages/nixpkgs/haskellPackages.snap-routes | Typesafe URLs for Snap applications |
| packages/nixpkgs/haskellPackages.queue | Abstraction typeclasses for queue-like things |
| packages/nixpkgs/haskellPackages.qlinear | Typesafe library for linear algebra |
| packages/nixpkgs/haskellPackages.deiko-config | Small and typesafe configuration library |
| packages/nixpkgs/haskellPackages.ungadtagger | Abstract GADTs from typelevel tags |
| packages/nixpkgs/haskellPackages.aeson-via | Wrappers to derive-via Aeson ToJSON/FromJSON typeclasses |
| packages/nixpkgs/haskellPackages.chatty | Some monad transformers and typeclasses for text in- and output abstraction |
| packages/nixpkgs/haskellPackages.Object | Object oriented programming for haskell using multiparameter typeclasses |
| packages/nixpkgs/haskellPackages.monad-mock | A monad transformer for mocking mtl-style typeclasses |
| packages/nixpkgs/haskellPackages.sparse-tensor | typesafe tensor algebra library |
| packages/nixpkgs/haskellPackages.data-tensor | Tensor and Group typeclasses |
| packages/nixpkgs/haskellPackages.Munkres-simple | Simple and typesafe layer over the Munkres package |
| packages/nixpkgs/haskellPackages.monad-unlift | Typeclasses for representing monad transformer unlifting |
| packages/nixpkgs/haskellPackages.chunked-data | Typeclasses for dealing with various chunked data representations |
| packages/nixpkgs/haskellPackages.monad-unlift-ref | Typeclasses for representing monad transformer unlifting |
| packages/nixpkgs/haskellPackages.ghc-corroborate | An flatter API for GHC typechecker plugins |
| packages/nixpkgs/haskellPackages.dynamodb-simple | Typesafe library for working with DynamoDB database |
| packages/nixpkgs/haskellPackages.currency-convert | Typesafe currency conversion |
| packages/nixpkgs/haskellPackages.haskell-generate | Typesafe generation of haskell source code |
| packages/nixpkgs/haskellPackages.motor-diagrams | Generate state diagrams from Motor FSM typeclasses |
| packages/nixpkgs/haskellPackages.woe | Convenient typeclass for defining arbitrary-index enums |
| packages/nixpkgs/haskellPackages.IsNull | A typeclass to determine if a given value is null |
| packages/nixpkgs/haskellPackages.l10n | Enables providing localization as typeclass instances in separate files |
| packages/nixpkgs/haskellPackages.data-rev | A typeclass for reversing order of contents |
| packages/nixpkgs/haskellPackages.homoiconic | Constructs FAlgebras from typeclasses, making Haskell functions homoiconic |
| packages/nixpkgs/haskellPackages.one-liner-instances | Generics-based implementations for common typeclasses |
| packages/nixpkgs/haskellPackages.torsor | Torsor Typeclass |
| packages/nixpkgs/haskellPackages.TTTAS | Typed Transformations of Typed Abstract Syntax |
| packages/nixpkgs/haskellPackages.always | provides a typeclass that is always satisfied |
| packages/nixpkgs/haskellPackages.lawful | Assert the lawfulness of your typeclass instances |
| packages/nixpkgs/haskellPackages.unlift | Typeclass for monads that can be unlifted to arbitrary base monads |
| packages/nixpkgs/haskellPackages.human-text | A lawless typeclass for converting values to human-friendly text |
| packages/nixpkgs/haskellPackages.combinators | Collection of combinators over standard typeclasses |
| packages/nixpkgs/haskellPackages.motor-reflection | Reflect on Motor FSM typeclasses to obtain runtime representations |
| packages/nixpkgs/haskellPackages.math-metric | Typeclass for metric spaces |
| packages/nixpkgs/haskellPackages.human-parse | A lawless typeclass for parsing text entered by humans |
| packages/nixpkgs/haskellPackages.yesod-links | A typeclass which simplifies creating link widgets throughout your site |
| packages/nixpkgs/haskellPackages.tuple-append-instances | Extra instances for the typeclasses in the tuple-append package |
| packages/nixpkgs/haskellPackages.profunctor-optics | A compact optics library compatible with the typeclasses in profunctors |
| packages/nixpkgs/haskellPackages.dequeue | A typeclass and an implementation for double-ended queues |
| packages/nixpkgs/haskellPackages.classy-miso | Typeclass based support for Miso, the Tasty Web Framework for Haskell |
| packages/nixpkgs/haskellPackages.linear-vect | A low-dimensional linear algebra library, operating on the Num typeclass |
| packages/nixpkgs/haskellPackages.quickcheck-classes | QuickCheck common typeclasses |
| packages/nixpkgs/haskellPackages.constraint-classes | Various typeclasses using ConstraintKinds |
| packages/nixpkgs/haskellPackages.monad-choice | Monad, monad transformer, and typeclass representing choices |
| packages/nixpkgs/haskellPackages.text-display | A typeclass for user-facing output |
| packages/nixpkgs/haskellPackages.ffunctor | FFunctor typeclass |
| packages/nixpkgs/haskellPackages.validity | Validity typeclass |
| packages/nixpkgs/haskellPackages.truthful | Typeclass for truthfulness of values |
| packages/nixpkgs/haskellPackages.constrained-monads | Typeclasses and instances for monads with constraints |
| packages/nixpkgs/haskellPackages.quickcheck-classes-base | QuickCheck common typeclasses from `base` |
| packages/nixpkgs/haskellPackages.atomic-modify | A typeclass for mutable references that have an atomic modify operation |
| packages/nixpkgs/haskellPackages.unliftio | The MonadUnliftIO typeclass for unlifting monads to IO (batteries included) |
| packages/nixpkgs/haskellPackages.catalyst | A Category typeclass hierarchy powerful enough to encode full programs |
| packages/nixpkgs/haskellPackages.ghc-justdoit | A magic typeclass that just does it |
| packages/nixpkgs/haskellPackages.monad-journal | Pure logger typeclass and monad transformer |
| packages/nixpkgs/haskellPackages.monad-persist | An mtl-style typeclass and transformer for persistent |
| packages/nixpkgs/haskellPackages.FirstOrderTheory | Grammar and typeclass for first order theories |
| packages/nixpkgs/haskellPackages.stateful-mtl | Typeclass instances for monad transformer stacks with an ST thread at the bottom |
| packages/nixpkgs/haskellPackages.classy-prelude | A typeclass-based Prelude |
| packages/nixpkgs/haskellPackages.unliftio-core | The MonadUnliftIO typeclass for unlifting monads to IO |
| packages/nixpkgs/haskellPackages.special-values | Typeclass providing special values |
| packages/nixpkgs/haskellPackages.pretty-display | Typeclass for human-readable display |
| packages/nixpkgs/haskellPackages.vect-floating | A low-dimensional linear algebra library, operating on the Floating typeclass |
| packages/nixpkgs/haskellPackages.classy-effects | An interface for a handler-independent, typeclass-based effect system |
| packages/nixpkgs/haskellPackages.buildable | Typeclass for builders of linear data structures |
| packages/nixpkgs/haskellPackages.quickcheck-arbitrary-adt | Generic typeclasses for generating arbitrary ADTs |
| packages/nixpkgs/haskellPackages.fieldwise | Provides Fieldwise typeclass for operations of fields of records treated as independent components |
| packages/nixpkgs/haskellPackages.prim-instances | Prim typeclass instances |
| packages/nixpkgs/haskellPackages.classy-effects-base | An interface for a handler-independent, typeclass-based effect system |
| packages/nixpkgs/haskellPackages.kindly-functors | A category polymorphic `Functor` typeclass |
| packages/nixpkgs/haskellPackages.cryptoids-class | Typeclass-based interface to cryptoids |
| packages/nixpkgs/haskellPackages.hedgehog-classes | Hedgehog will eat your typeclass bugs |
| packages/nixpkgs/haskellPackages.unit-constraint | Extremely simple typeclass |
| packages/nixpkgs/haskellPackages.monad-classes-logging | monad-classes based typeclass for Ollie's logging-effect LoggingT |
| packages/nixpkgs/haskellPackages.template-haskell-lift | The 'Lift' typeclass |
| packages/nixpkgs/haskellPackages.first-class-instances | First-class typeclass instances |
| packages/nixpkgs/haskellPackages.compactable | A typeclass for structures which can be catMaybed, filtered, and partitioned |
| packages/nixpkgs/haskellPackages.purescript-tsd-gen | TypeScript Declaration File (.d.ts) generator for PureScript |
| packages/nixpkgs/haskellPackages.password-instances | typeclass instances for password package |
| packages/nixpkgs/haskellPackages.parametric-functor | A known-parametric Functor typeclass |
| packages/nixpkgs/haskellPackages.operational-class | MonadProgram typeclass for the operational package |
| packages/nixpkgs/haskellPackages.isomorphism-class | Isomorphism typeclass as a lawful solution to the conversion problem |
| packages/nixpkgs/haskellPackages.hts | Haskell Music Typesetting |
| packages/nixpkgs/haskellPackages.xtc | eXtended & Typed Controls for wxHaskell |
| packages/nixpkgs/haskellPackages.yak | A strongly typed IRC library |
| packages/nixpkgs/haskellPackages.unfoldable-restricted | An alternative to the Unfoldable typeclass |
| packages/nixpkgs/haskellPackages.top | Top (typed oriented protocol) API |
| packages/nixpkgs/haskellPackages.distributed-process-lifted | monad-control style typeclass and transformer instances for Process monad |
| packages/nixpkgs/haskellPackages.TeX-my-math | Render general Haskell math to LaTeX |
| packages/nixpkgs/haskellPackages.LATS | Linear Algebra on Typed Spaces |
| packages/nixpkgs/haskellPackages.path | Support for well-typed paths |
| packages/nixpkgs/haskellPackages.serv | Dependently typed API framework |
| packages/nixpkgs/haskellPackages.tal | An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew) |
| packages/nixpkgs/haskellPackages.ntha | A tiny statically typed functional programming language |
| packages/nixpkgs/haskellPackages.uAgda | A simplistic dependently-typed language with parametricity |
| packages/nixpkgs/haskellPackages.mono-traversable-instances | Extra typeclass instances for mono-traversable |
| packages/nixpkgs/haskellPackages.tdoc | TDoc is a typed document builder with support for (X)HTML |
| packages/nixpkgs/haskellPackages.Agda | A dependently typed functional programming language and proof assistant |
| packages/nixpkgs/haskellPackages.hpath | Support for well-typed paths |
| packages/nixpkgs/haskellPackages.serv-wai | Dependently typed API servers with Serv |
| packages/nixpkgs/haskellPackages.haiji | A typed template engine, subset of jinja2 |
| packages/nixpkgs/haskellPackages.bpath | A minimal typed unix path library |
| packages/nixpkgs/haskellPackages.forml | A statically typed, functional programming language |
| packages/nixpkgs/haskellPackages.nanoAgda | A toy dependently-typed language |
| packages/nixpkgs/haskellPackages.zinza | Typed templates with jinja like syntax |
| packages/nixpkgs/haskellPackages.Frank | An experimental programming language with typed algebraic effects |
| packages/nixpkgs/haskellPackages.ftree | Depth-typed functor-based trees, both top-down and bottom-up |
| packages/nixpkgs/haskellPackages.lhs2tex | Preprocessor for typesetting Haskell sources with LaTeX |
| packages/nixpkgs/haskellPackages.named-sop | Dependently-typed sums and products, tagged by field name |
| packages/nixpkgs/haskellPackages.units-list | Extensible typed Dimensions |
| packages/nixpkgs/haskellPackages.formal | A statically typed, functional programming language |
| packages/nixpkgs/haskellPackages.morloc | A multi-lingual, typed, workflow language |
| packages/nixpkgs/haskellPackages.winery | A compact, well-typed seralisation format for Haskell values |
| packages/nixpkgs/haskellPackages.shake-plus | Re-export of Shake using well-typed paths and ReaderT |
| packages/nixpkgs/haskellPackages.bv-sized-lens | Well-typed lenses for bv-sized bitvectors |
| packages/nixpkgs/haskellPackages.xml-tydom-core | Typed XML encoding (core library) |
| packages/nixpkgs/haskellPackages.prompt-hs | A user-friendly, dependently-typed library for asking your users questions |
| packages/nixpkgs/haskellPackages.binary-ext | An alternate with strong-typed errors for `Data |
| packages/nixpkgs/haskellPackages.safe-tensor | Dependently typed tensor algebra |
| packages/nixpkgs/haskellPackages.strong-path | Strongly typed paths in Haskell |
| packages/nixpkgs/haskellPackages.HJavaScript | HJavaScript is an abstract syntax for a typed subset of JavaScript |
| packages/nixpkgs/haskellPackages.pisigma | A dependently typed core language |
| packages/nixpkgs/haskellPackages.longboi | Dependently-typed linked list implementation |
| packages/nixpkgs/haskellPackages.safe-printf | Well-typed, flexible and variadic printf for Haskell |
| packages/nixpkgs/haskellPackages.reroute | abstract implementation of typed and untyped web routing |
| packages/nixpkgs/haskellPackages.express | Dynamically-typed expressions involving function application and variables |
| packages/nixpkgs/haskellPackages.glambda | A simply typed lambda calculus interpreter, written with GADTs |
| packages/nixpkgs/haskellPackages.provide | Lightweight dependency injection / namespaced+typed implicit-ish arguments |
| packages/nixpkgs/haskellPackages.parsley | A fast parser combinator library backed by Typed Template Haskell |
| packages/nixpkgs/haskellPackages.redis-schema | Typed, schema-based, composable Redis library |
| packages/nixpkgs/haskellPackages.path_0_9_6 | Support for well-typed paths |
| packages/nixpkgs/haskellPackages.path_0_9_5 | Support for well-typed paths |
| packages/nixpkgs/haskellPackages.inferno-core | A statically-typed functional scripting language |
| packages/nixpkgs/haskellPackages.linear-socket | Typed sockets |
| packages/nixpkgs/haskellPackages.monopati | Well-typed paths |
| packages/nixpkgs/haskellPackages.Contract | Practical typed lazy contracts |
| packages/nixpkgs/haskellPackages.mathflow | Dependently typed tensorflow modeler |
| packages/nixpkgs/haskellPackages.zeolite-lang | Zeolite is a statically-typed, general-purpose programming language |
| packages/nixpkgs/haskellPackages.shapely-data | Generics using @(,)@ and @Either@, with algebraic operations and typed conversions |
| packages/nixpkgs/haskellPackages.parsley-core | A fast parser combinator library backed by Typed Template Haskell |
| packages/nixpkgs/haskellPackages.symantic | Library for Typed Tagless-Final Higher-Order Composable DSL |
| packages/nixpkgs/haskellPackages.clr-bindings | Glue between clr-host and clr-typed |
| packages/nixpkgs/haskellPackages.full-sessions | a monad for protocol-typed network programming |
| packages/nixpkgs/haskellPackages.unliftio-path | UnliftIO using well-typed Paths |
| packages/nixpkgs/haskellPackages.xml-tydom-conduit | Typed XML encoding for an xml-conduit backend |
| packages/nixpkgs/haskellPackages.dirforest | Typed directory forest |
| packages/nixpkgs/haskellPackages.decidable | Combinators for manipulating dependently-typed predicates |
| packages/nixpkgs/haskellPackages.hasktorch | Haskell bindings to libtorch, supporting both typed and untyped tensors |
| packages/nixpkgs/haskellPackages.prompt-hs_1_1_0_1 | A user-friendly, dependently-typed library for asking your users questions |
| packages/nixpkgs/haskellPackages.ollama-holes-plugin | A typed-hole plugin that uses LLMs to generate valid hole-fits |
| packages/nixpkgs/haskellPackages.prompt-hs_1_1_0_2 | A user-friendly, dependently-typed library for asking your users questions |
| packages/nixpkgs/haskellPackages.sydtest-process | A typed-process companion library for sydtest |
| packages/nixpkgs/haskellPackages.polysemy-scoped-fs | Well-typed filesystem operation effects |
| packages/nixpkgs/haskellPackages.symantic-parser | Parser combinators statically optimized and staged via typed meta-programming |
| packages/nixpkgs/haskellPackages.derivation-trees | Typeset Derivation Trees via MetaPost |
| packages/nixpkgs/haskellPackages.encryptable | Typed encryption with persistent support |
| packages/nixpkgs/haskellPackages.eliminators | Dependently typed elimination functions using singletons |
| packages/nixpkgs/haskellPackages.webdriver-precore | A typed wrapper for W3C WebDriver protocol |
| packages/nixpkgs/haskellPackages.relational-query-HDBC | HDBC instance of relational-query and typed query interface for HDBC |
| packages/nixpkgs/haskellPackages.Shpadoinkle-html | A typed, template generated Html DSL, and helpers |
| packages/nixpkgs/haskellPackages.control-monad-exception | Explicitly typed, checked exceptions with stack traces |
| packages/nixpkgs/haskellPackages.WeakSets | Simple set types |
| packages/nixpkgs/haskellPackages.genvalidity-dirforest | Generators for typed directory forests |
| packages/nixpkgs/haskellPackages.hs2ats | Create ATS types from Haskell types |
| packages/nixpkgs/haskellPackages.word-array | treat integral types as arrays of smaller integral types |
| packages/nixpkgs/haskellPackages.eliminators_0_9_6 | Dependently typed elimination functions using singletons |
| packages/nixpkgs/haskellPackages.elm-bridge | Derive Elm types and Json code from Haskell types, using aeson's options |
| packages/nixpkgs/haskellPackages.data-result | Data types for returning results distinguishable by types |
| packages/nixpkgs/haskellPackages.shwifty | Generate swift types from haskell types |
| packages/nixpkgs/haskellPackages.ocaml-export | Convert Haskell types in OCaml types |
| packages/nixpkgs/haskellPackages.haskell-to-elm | Generate Elm types and JSON encoders and decoders from Haskell types |
| packages/nixpkgs/haskellPackages.heterogeneous-comparison | Comparison of distinctly typed values with evidence capture |
| packages/nixpkgs/haskellPackages.elminator | Generate ELM types/encoders/decoders from Haskell types |
| packages/nixpkgs/haskellPackages.multiwalk | Traverse data types via generics, acting on multiple types simultaneously |
| packages/nixpkgs/haskellPackages.purescript-bridge | Generate PureScript data types from Haskell data types |
| packages/nixpkgs/haskellPackages.util-primitive-control | Utilities for stateful primitive types and types based on them |
| packages/nixpkgs/haskellPackages.primitive-unlifted | Primitive GHC types with unlifted types inside |
| packages/nixpkgs/haskellPackages.row | Row types |
| packages/nixpkgs/haskellPackages.i | Haskell interval types |
| packages/nixpkgs/haskellPackages.tax | Types and combinators for taxes |
| packages/nixpkgs/haskellPackages.zm | Language independent, reproducible, absolute types |
| packages/nixpkgs/haskellPackages.hkt | A library for higher kinded types |
| packages/nixpkgs/haskellPackages.ttn | Things Tracker Network JSON Types |
| packages/nixpkgs/haskellPackages.qbe | Types and prettyprinter for the IL of the QBE compiler backend |
| packages/nixpkgs/haskellPackages.Docs | Documentation types library |
| packages/nixpkgs/haskellPackages.qd-vec | 'Vec' instances for 'qd' types |
| packages/nixpkgs/haskellPackages.mime | Working with MIME types |
| packages/nixpkgs/haskellPackages.RepLib | Generic programming library with representation types |
| packages/nixpkgs/haskellPackages.appc | app container types and tools |
| packages/nixpkgs/haskellPackages.ABList | An alternating list of two types |
| packages/nixpkgs/haskellPackages.flay | Generic programming for higher-kinded types |
| packages/nixpkgs/haskellPackages.kdt | Fast and flexible k-d trees for various types of point queries |
| packages/nixpkgs/haskellPackages.hset | Primitive list with elements of unique types |
| packages/nixpkgs/haskellPackages.crdt | Conflict-free replicated data types |
| packages/nixpkgs/haskellPackages.yoko | Generic Programming with Disbanded Data Types |
| packages/nixpkgs/haskellPackages.tax-ato | Tax types and computations for Australia |
| packages/nixpkgs/haskellPackages.ron-rdt | Replicated Data Types (RON-RDT) |
| packages/nixpkgs/haskellPackages.wkt | Parsec parsers and types for geographic data in well-known text (WKT) format |
| packages/nixpkgs/haskellPackages.hw-prim | Primitive functions and data types |
| packages/nixpkgs/haskellPackages.oops | Combinators for handling errors of many types in a composable way |
| packages/nixpkgs/haskellPackages.data-fix | Fixpoint data types |
| packages/nixpkgs/haskellPackages.aws-arn | Types and optics for manipulating Amazon Resource Names (ARNs) |
| packages/nixpkgs/haskellPackages.curry | Curry types |
| packages/nixpkgs/haskellPackages.facts | Refined types |
| packages/nixpkgs/haskellPackages.rpm-nvr | RPM package name-version-release data types |
| packages/nixpkgs/haskellPackages.int-cast | Checked conversions between integral types |
| packages/nixpkgs/haskellPackages.teeth | Dental data types |
| packages/nixpkgs/haskellPackages.smash | Combinators for Maybe types |
| packages/nixpkgs/haskellPackages.open-adt | Open algebraic data types |
| packages/nixpkgs/haskellPackages.ten-lens | Lenses for the types in the ten package |
| packages/nixpkgs/haskellPackages.OddWord | Provides a wrapper for deriving word types with fewer bits |
| packages/nixpkgs/haskellPackages.aws-easy | Helper function and types for working with amazonka |
| packages/nixpkgs/haskellPackages.basic | Lifting values from base types |
| packages/nixpkgs/haskellPackages.ddate | Discordian Date Types for Haskell |
| packages/nixpkgs/haskellPackages.sized | Sized sequence data-types |
| packages/nixpkgs/haskellPackages.bimap | Bidirectional mapping between two key types |
| packages/nixpkgs/haskellPackages.dia-base | An EDSL for teaching Haskell with diagrams - data types |
| packages/nixpkgs/haskellPackages.vault | a persistent store for values of arbitrary types |
| packages/nixpkgs/haskellPackages.braid | Types and functions to work with braids and Khovanov homology |
| packages/nixpkgs/haskellPackages.hs2ps | Translate Haskell types to PureScript |
| packages/nixpkgs/haskellPackages.hdiff | Pattern-Expression-based differencing of arbitrary types |
| packages/nixpkgs/haskellPackages.pure-sum | Derive fromString/toString-like for pure sum types |
| packages/nixpkgs/haskellPackages.shade | A control structure used to combine heterogenous types with delayed effects |
| packages/nixpkgs/haskellPackages.idris | Functional Programming Language with Dependent Types |
| packages/nixpkgs/haskellPackages.enum-text | A text rendering and parsing toolkit for enumerated types |
| packages/nixpkgs/haskellPackages.data-fix-cse | Common subexpression elimination for the fixploint types |
| packages/nixpkgs/haskellPackages.key-vault | Store of values of arbitrary types |
| packages/nixpkgs/haskellPackages.ema-extra | Useful route types for Ema |
| packages/nixpkgs/haskellPackages.enum-utf8 | An experimental Utf8 parsing toolkit for enumerated types |
| packages/nixpkgs/haskellPackages.stm-chans | Additional types of channels for STM |
| packages/nixpkgs/haskellPackages.snap-core | Snap: A Haskell Web Framework (core interfaces and types) |
| packages/nixpkgs/haskellPackages.star-to-star | the * -> * types, operators, and covariant instances |
| packages/nixpkgs/haskellPackages.Tensor | Tensor data types |
| packages/nixpkgs/haskellPackages.basics | Modules for primitive types |
| packages/nixpkgs/haskellPackages.avers-api | Types describing the core and extended Avers APIs |
| packages/nixpkgs/haskellPackages.forest | Tree and Forest types |
| packages/nixpkgs/haskellPackages.index-core | Indexed Types |
| packages/nixpkgs/haskellPackages.boring | Boring and Absurd types |
| packages/nixpkgs/haskellPackages.wide-word | Data types for large but fixed width signed and unsigned integers |
| packages/nixpkgs/haskellPackages.finite | Finite ranges via types |
| packages/nixpkgs/haskellPackages.orbits | Types and functions for Kepler orbits |
| packages/nixpkgs/haskellPackages.wiring | Wiring, promotion and demotion of types |
| packages/nixpkgs/haskellPackages.kind-apply | Utilities to work with lists of types |
| packages/nixpkgs/haskellPackages.circus | Types and a small DSL for working with netlistsvg |
| packages/nixpkgs/haskellPackages.data-base | Utilities for accessing and comparing types based on so called bases - representations with limited polymorphism |
| packages/nixpkgs/haskellPackages.data-named | Data types for named entities |
| packages/nixpkgs/haskellPackages.target | Generate test-suites from refinement types |
| packages/nixpkgs/haskellPackages.uuid-aeson | Aeson types for UUID instances |
| packages/nixpkgs/haskellPackages.poker-base | A library for core poker types |
| packages/nixpkgs/haskellPackages.strict | Strict data types and String IO |
| packages/nixpkgs/haskellPackages.dep-t-value | Pair resources files with types within your program |
| packages/nixpkgs/haskellPackages.binrep | Encode precise binary representations directly in types |
| packages/nixpkgs/haskellPackages.intern | Efficient hash-consing for arbitrary data types |
| packages/nixpkgs/haskellPackages.derive | A program and library to derive instances for data types |
| packages/nixpkgs/haskellPackages.tracer | Tracing utilities for Functor/Applicative/Monad types |
| packages/nixpkgs/haskellPackages.schema | Encoding-independent schemas for Haskell data types |
| packages/nixpkgs/haskellPackages.word24 | 24-bit word and int types for GHC |
| packages/nixpkgs/haskellPackages.srcloc | Data types for managing source code locations |
| packages/nixpkgs/haskellPackages.AC-Colour | Efficient RGB colour types |
| packages/nixpkgs/haskellPackages.extra-data-yj | Additional data types |
| packages/nixpkgs/haskellPackages.bit-array | A bit array (aka bitset, bitmap, bit vector) API for numeric types |
| packages/nixpkgs/haskellPackages.gogol-core | Core data types and functionality for Gogol libraries |
| packages/nixpkgs/haskellPackages.asn1-parse | Simple monadic parser for ASN1 stream types |
| packages/nixpkgs/haskellPackages.vinyl-json | Provide json instances automagically to vinyl types |
| packages/nixpkgs/haskellPackages.time-units | A basic library for defining units of time as types |
| packages/nixpkgs/haskellPackages.valida | Simple applicative validation for product types, batteries included! |
| packages/nixpkgs/haskellPackages.SciBaseTypes | Base types and classes for statistics, sciences and humanities |
| packages/nixpkgs/haskellPackages.http-api-data-qq | Quasiquoter for building URLs with ToHttpApiData types |
| packages/nixpkgs/haskellPackages.c2hs-extra | Convenient marshallers for complicate C types |
| packages/nixpkgs/haskellPackages.sugar-data | Convert sugar to common data types for code generation |
| packages/nixpkgs/haskellPackages.binary-io | Read and write values of types that implement Binary |
| packages/nixpkgs/haskellPackages.xml-isogen | Generate XML-isomorphic types |
| packages/nixpkgs/haskellPackages.th-compat | Backward- (and forward-)compatible Quote and Code types |
| packages/nixpkgs/haskellPackages.tagged | Haskell 98 phantom types to avoid unsafely passing dummy arguments |
| packages/nixpkgs/haskellPackages.dom-events | DOM Events expressed as Haskell types |
| packages/nixpkgs/haskellPackages.generic-lexicographic-order | Derive Bounded and Enum for sum types and Enum for product types |
| packages/nixpkgs/haskellPackages.linear-smc | Build SMC morphisms using linear types |
| packages/nixpkgs/haskellPackages.elm-export | A library to generate Elm types from Haskell source |
| packages/nixpkgs/haskellPackages.nat-optics | Refinement types for natural numbers with an optics interface |
| packages/nixpkgs/haskellPackages.primitive-unlifted_2_2_0_0 | Primitive GHC types with unlifted types inside |
| packages/nixpkgs/haskellPackages.primitive-unlifted_0_1_3_1 | Primitive GHC types with unlifted types inside |
| packages/nixpkgs/haskellPackages.world-peace | Open Union and Open Product Types |
| packages/nixpkgs/haskellPackages.from-string | Instances of 'From' for common string types |
| packages/nixpkgs/haskellPackages.hslua-aeson | Allow aeson data types to be used with Lua |
| packages/nixpkgs/haskellPackages.linear-base | Standard library for linear types |
| packages/nixpkgs/haskellPackages.text-binary | Binary instances for text types |
| packages/nixpkgs/haskellPackages.numbers | Various number types |
| packages/nixpkgs/haskellPackages.repa-scalar | Scalar data types and conversions |
| packages/nixpkgs/haskellPackages.witness | values that witness types |
| packages/nixpkgs/haskellPackages.string-conv | Standardized conversion between string types |
| packages/nixpkgs/haskellPackages.strict-lens | Lenses for types in strict package |
| packages/nixpkgs/haskellPackages.polynom | Polynomial types and operations |
| packages/nixpkgs/haskellPackages.hnix-store-json | JSON serialization for core types |
| packages/nixpkgs/haskellPackages.http-common | Common types for HTTP clients and servers |
| packages/nixpkgs/haskellPackages.binary-enum | Simple wrappers around enum types |
| packages/nixpkgs/haskellPackages.delta-store | Facilities for storing a Haskell value, using delta types |
| packages/nixpkgs/haskellPackages.cereal-time | Serialize instances for types from `time` package |
| packages/nixpkgs/haskellPackages.checked | Bounds-checking integer types |
| packages/nixpkgs/haskellPackages.http-kinder | Generic kinds and types for working with HTTP |
| packages/nixpkgs/haskellPackages.strict-base | Strict versions of base data types |
| packages/nixpkgs/haskellPackages.present | Make presentations for data 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.gendocs | Library for generating interface documentation from types |
| packages/nixpkgs/haskellPackages.refined | Refinement types with static and runtime checking |
| packages/nixpkgs/haskellPackages.stringz | Optics for string-like data types |
| packages/nixpkgs/haskellPackages.pure-sum-aeson | Derive fromString/toString-like for pure sum types (aeson instances) |
| 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.valida-base | Simple applicative validation for product types, batteries included! |
| packages/nixpkgs/haskellPackages.unboxed | All the standard sum types but strict and unboxed as possible |
| packages/nixpkgs/haskellPackages.chatty-text | Provides some classes and types for dealing with text, using the fundaments of Chatty |
| packages/nixpkgs/haskellPackages.hw-streams | Primitive functions and data types |
| packages/nixpkgs/haskellPackages.string-like | A package that aims to provide a uniform interface to string-like types |
| packages/nixpkgs/haskellPackages.rgb-color-model | Haskell types for working with RGB colors |
| packages/nixpkgs/haskellPackages.rounded-hw | Directed rounding for built-in floating types |
| packages/nixpkgs/haskellPackages.rollbar-hs | Core Rollbar data types and APIs |
| 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.clash-finite | A class for types with only finitely many inhabitants |
| packages/nixpkgs/haskellPackages.finite-table | Types isomorphic to Fin, and Tables indexed by them |
| 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.tedious-web | Easily define multiple interrelated data types |
| packages/nixpkgs/haskellPackages.parsec-class | Class of types that can be constructed from their text representation |
| packages/nixpkgs/haskellPackages.time-parsers | Parsers for types in `time` |
| packages/nixpkgs/haskellPackages.data-default | A class for types with a default value |
| packages/nixpkgs/haskellPackages.easy-bitcoin | types and functions for bitcoin applications |
| 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.testing-feat | Functional Enumeration of Algebraic Types |
| packages/nixpkgs/haskellPackages.bson-mapping | Mapping between BSON and algebraic data types |
| packages/nixpkgs/haskellPackages.fields-and-cases | Codegen Haskell types to other languages |
| packages/nixpkgs/haskellPackages.refined-with | Refinement types with an "refinement applied" switch |
| packages/nixpkgs/haskellPackages.url-generic | Parse/format generic key/value URLs from record data types |
| packages/nixpkgs/haskellPackages.sample-frame-np | Orphan instances for types from sample-frame and numericprelude |
| packages/nixpkgs/haskellPackages.servant-gdp | Use Servant and GDP together to create expressive web API types |
| packages/nixpkgs/haskellPackages.compdata | Compositional Data Types |
| packages/nixpkgs/haskellPackages.acme-default | A class for types with a distinguished aesthetically pleasing value |
| packages/nixpkgs/haskellPackages.fixpoint | Data types as fixpoints |
| packages/nixpkgs/haskellPackages.category | Categorical types and classes |
| 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/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/haskellPackages.cereal-vector | Serialize instances for Data |
| packages/nixpkgs/haskellPackages.linear-opengl | Isomorphisms between linear and OpenGL types |
| packages/nixpkgs/haskellPackages.versions | Types and parsers for software version numbers |
| packages/nixpkgs/haskellPackages.reason-export | Generate Reason types from Haskell |
| packages/nixpkgs/haskellPackages.strict-optics | Optics for types in strict package |
| packages/nixpkgs/haskellPackages.static-bytes | A Haskell library providing types representing 8, 16, 32, 64 or 128 bytes of data |
| packages/nixpkgs/haskellPackages.universe | A class for finite and recursively enumerable types |
| packages/nixpkgs/haskellPackages.expresso | A simple expressions language based on row types |
| packages/nixpkgs/haskellPackages.haskell-conll | Core Types for NLP |
| packages/nixpkgs/haskellPackages.mappings | Types which represent functions k -> v |
| packages/nixpkgs/haskellPackages.iCalendar | iCalendar data types, parser, and printer |
| packages/nixpkgs/haskellPackages.crypto-random | Simple cryptographic random related types |
| packages/nixpkgs/haskellPackages.currency | Types representing standard and non-standard currencies |
| packages/nixpkgs/haskellPackages.hashable | A class for types that can be converted to a hash value |
| 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.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.symantic-lib | Symantics for common types |
| packages/nixpkgs/haskellPackages.pretty-simple | pretty printer for data types with a 'Show' instance |
| 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.string-fromto | Conversions between common string types, as well as Base16/Base32/Base64 |
| 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.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.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.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.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.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.acme-smuggler | Smuggle arbitrary values in arbitrary types |
| 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.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.strict-wrapper | Lightweight strict types |
| packages/nixpkgs/haskellPackages.amazonka-core | Core data types and functionality for Amazonka libraries |
| packages/nixpkgs/haskellPackages.irc-fun-messages | Types and functions for working with the IRC protocol |
| packages/nixpkgs/haskellPackages.free-category | efficient data types for free categories and arrows |
| packages/nixpkgs/haskellPackages.layered-state | Control structure similar to Control |
| packages/nixpkgs/haskellPackages.aeson-value-parser | API for parsing "aeson" JSON tree into Haskell types |
| packages/nixpkgs/haskellPackages.stripe-servant | Unofficial Stripe servant types |
| packages/nixpkgs/haskellPackages.openai-servant | Unofficial OpenAI 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.free-vector-spaces | Instantiate the classes from the vector-space package with types from linear |
| packages/nixpkgs/haskellPackages.hmatrix-static | hmatrix with vector and matrix sizes encoded in types |
| packages/nixpkgs/haskellPackages.exinst-deepseq | Derive instances for the `deepseq` library for your existential types |
| packages/nixpkgs/haskellPackages.parsec-numeric | Parsec combinators for parsing Haskell numeric types |
| packages/nixpkgs/haskellPackages.servant-reason | Derive Reason types to interact with a Haskell backend |
| packages/nixpkgs/haskellPackages.refined-http-api-data | http-api-data instances for refined types |
| packages/nixpkgs/haskellPackages.FixedPoint-simple | Fixed point, large word, and large int numerical representations (types and common class instances) |
| packages/nixpkgs/haskellPackages.generics-sop-lens | Lenses for types in generics-sop |
| 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.compdata-param | Parametric Compositional Data Types |
| packages/nixpkgs/haskellPackages.greskell-core | Haskell binding for Gremlin graph query language - core data types and tools |
| packages/nixpkgs/haskellPackages.foldable1 | Foldable types with at least 1 element |
| packages/nixpkgs/haskellPackages.idiomatic | Deriving Applicative for sum types. |
| packages/nixpkgs/haskellPackages.adaptive-tuple | Self-optimizing tuple types |
| packages/nixpkgs/haskellPackages.compstrat | Strategy combinators for compositional data types |
| packages/nixpkgs/haskellPackages.temporal-media | data types for temporal media |
| packages/nixpkgs/haskellPackages.witness_0_7 | values that witness types |
| packages/nixpkgs/haskellPackages.arbor-postgres | Convenience types and functions for postgresql-simple |
| packages/nixpkgs/haskellPackages.ihaskell-basic | IHaskell display instances for basic types |
| packages/nixpkgs/haskellPackages.comptrans | Automatically converting ASTs into compositional data types |
| packages/nixpkgs/haskellPackages.ihaskell-hvega | IHaskell display instance for hvega types |
| packages/nixpkgs/haskellPackages.colonnade | Generic types and functions for columnar encoding and decoding |
| packages/nixpkgs/haskellPackages.hgeometry | Geometric Algorithms, Data structures, and Data types |
| packages/nixpkgs/haskellPackages.pandoc-lua-marshal | Use pandoc types in Lua |
| packages/nixpkgs/haskellPackages.fixed-vector-hetero | Library for working with product types generically |
| packages/nixpkgs/haskellPackages.ihaskell-blaze | IHaskell display instances for blaze-html types |
| packages/nixpkgs/haskellPackages.iterm-show-JuicyPixels | Orphan Show instances for JuciyPixels image types |
| packages/nixpkgs/haskellPackages.nri-test-encoding | A library to simplify writing golden tests for encoding types |
| packages/nixpkgs/haskellPackages.purebred-email | types and parser for email messages (including MIME) |
| packages/nixpkgs/haskellPackages.database-id-class | Class for types with a database id |
| packages/nixpkgs/haskellPackages.vector-space-opengl | Instances of vector-space classes for OpenGL types |
| packages/nixpkgs/haskellPackages.yesod-newsfeed | Helper functions and data types for producing News feeds |
| packages/nixpkgs/haskellPackages.linear-base_0_5_0 | Standard library for linear types |
| packages/nixpkgs/haskellPackages.lua-arbitrary | Arbitrary instances for Lua types |
| packages/nixpkgs/haskellPackages.language-mixal | Parser, pretty-printer, and AST types for the MIXAL assembly language |
| packages/nixpkgs/haskellPackages.linear-base_0_6_0 | Standard library for linear types |
| packages/nixpkgs/haskellPackages.haskell-reflect | Reflect Haskell types |
| packages/nixpkgs/haskellPackages.comfort-array-shape | Additional shape types for the comfort-array package |
| packages/nixpkgs/haskellPackages.floatshow | Alternative faster String representations for Double and Float, String representations for more general numeric types |
| packages/nixpkgs/haskellPackages.hercules-ci-api-core | Types and convenience modules use across Hercules CI API packages |
| packages/nixpkgs/haskellPackages.haskell-postgis | A haskell library for PostGIS geometry types |
| packages/nixpkgs/haskellPackages.hashabler | Principled, portable & extensible hashing of data and types, including an implementation of the FNV-1a and SipHash algorithms |
| packages/nixpkgs/haskellPackages.anonymous-sums | Anonymous sum types |
| packages/nixpkgs/haskellPackages.stripe-concepts | Types for the Stripe API |
| packages/nixpkgs/haskellPackages.simpleirc-lens | Lenses for simpleirc types |
| packages/nixpkgs/haskellPackages.strict-mutable-base | Strict variants of mutable data types from base |
| packages/nixpkgs/haskellPackages.text-builder-linear | Builder for Text and ByteString based on linear types |
| packages/nixpkgs/haskellPackages.servant-flatten | Utilities for flattening servant API types |
| packages/nixpkgs/haskellPackages.finitary-optics | Prisms and Isos between finitary types |
| packages/nixpkgs/haskellPackages.primitive-simd | SIMD data types and functions |
| packages/nixpkgs/haskellPackages.simple-sessions | A simple implementation of session types |
| packages/nixpkgs/haskellPackages.ihaskell-charts | IHaskell display instances for charts types |
| packages/nixpkgs/haskellPackages.shorten-strings | Shorten a variety of string-like types adding ellipsis |
| packages/nixpkgs/haskellPackages.semantic-source | Types and functionality for working with source code |
| packages/nixpkgs/haskellPackages.exinst-hashable | Derive instances for the `hashable` library for your existential types |
| packages/nixpkgs/haskellPackages.data-standards | A collection of standards representable by simple data types |
| packages/nixpkgs/haskellPackages.tagged_0_8_9 | Haskell 98 phantom types to avoid unsafely passing dummy arguments |
| packages/nixpkgs/haskellPackages.link-relations | Use web link relation types (RFC 5988) in Haskell |
| packages/nixpkgs/haskellPackages.hmatrix-vector-sized | Conversions between hmatrix and vector-sized types |
| packages/nixpkgs/haskellPackages.network-packet-linux | Types for working with Linux packet sockets |
| packages/nixpkgs/haskellPackages.tagged-identity | Trivial monad transformer that allows identical monad stacks to have different types |
| packages/nixpkgs/haskellPackages.coercible-utils | Utility functions for Coercible types |
| packages/nixpkgs/haskellPackages.th-lift-instances | Lift instances for template-haskell for common data types |
| packages/nixpkgs/haskellPackages.servant-fiat-content | Fiat content types |
| packages/nixpkgs/haskellPackages.serialise-uuid | Encode and decode UUID values in CBOR using uuid-types, cborg and serialise |
| packages/nixpkgs/haskellPackages.aeson-serialize | Simple serialization functions for aeson types |
| packages/nixpkgs/haskellPackages.generic-data-surgery | Surgery for generic data types |
| packages/nixpkgs/haskellPackages.singletons | Basic singleton types and definitions |
| packages/nixpkgs/haskellPackages.webmention | Types and functions for working with Webmentions |
| packages/nixpkgs/haskellPackages.structured | Structure (hash) of your data types |
| packages/nixpkgs/haskellPackages.gloss-rendering | Gloss picture data types and rendering functions |
| packages/nixpkgs/haskellPackages.conversion | Universal converter between values of different types |
| packages/nixpkgs/haskellPackages.character-cases | Exposes subspecies types of Char |
| packages/nixpkgs/haskellPackages.validators | Composable validations for your Haskell data types |
| packages/nixpkgs/haskellPackages.stringlike | Transformations to several string-like types |
| packages/nixpkgs/haskellPackages.strongweak | Convert between strong and weak representations of types |
| packages/nixpkgs/haskellPackages.statistics | A library of statistical types, data, and functions |
| packages/nixpkgs/haskellPackages.hasql-implicits | Implicit definitions for Hasql, such as default codecs for standard types |
| packages/nixpkgs/haskellPackages.leanpub-concepts | Types for the Leanpub API |
| packages/nixpkgs/haskellPackages.enummapmap | Map of maps using Enum types as keys |
| packages/nixpkgs/haskellPackages.monadology | The best ideas in monad-related classes and types |
| packages/nixpkgs/haskellPackages.iso8601-duration | Types and parser for ISO8601 durations |
| packages/nixpkgs/haskellPackages.canteven-listen-http | data types to describe HTTP services |
| packages/nixpkgs/haskellPackages.ghc-stack-profiler-core | Thread sample types and serialisation logic for `ghc-stack-profiler` |
| packages/nixpkgs/haskellPackages.language-nix-unstable | Data types and functions to represent the Nix language |
| packages/nixpkgs/haskellPackages.extensible | Extensible, efficient, optics-friendly data types and effects |
| packages/nixpkgs/haskellPackages.multiplate | Lightweight generic library for mutually recursive data types |
| packages/nixpkgs/haskellPackages.projection | Projection function for arbitrarily nested binary product types |
| packages/nixpkgs/haskellPackages.singletons-th | A framework for generating singleton types |
| packages/nixpkgs/haskellPackages.polysemy-managed | Primitive functions and data types |
| packages/nixpkgs/haskellPackages.atomic-primops-vector | Atomic operations on Data |
| packages/nixpkgs/haskellPackages.attoparsec-ip | Parse IP data types with attoparsec |
| packages/nixpkgs/haskellPackages.ihaskell-display | IHaskell display instances for basic types |
| packages/nixpkgs/haskellPackages.fb-persistent | Provides Persistent instances to Facebook types |
| packages/nixpkgs/haskellPackages.reflection | Reifies arbitrary terms into types that can be reflected back into terms |
| packages/nixpkgs/haskellPackages.servant-zeppelin | Types and definitions of servant-zeppelin combinators |
| packages/nixpkgs/haskellPackages.jordan-servant-client | Servant Client Instances for Jordan Servant Types |
| packages/nixpkgs/haskellPackages.extensible-sp | light-weight, extensible sums and products over types and kinds |
| packages/nixpkgs/haskellPackages.primitive-serial | Serialisation of primitive types |
| packages/nixpkgs/haskellPackages.specialize-th | Create specialized types from polymorphic ones using TH |
| packages/nixpkgs/haskellPackages.hexpat-pickle-generic | Picklers for de/serialising Generic data types to and from XML |
| packages/nixpkgs/haskellPackages.dependent-state | Control structure similar to Control |
| packages/nixpkgs/haskellPackages.vaultaire-common | Common types and instances for Vaultaire |
| packages/nixpkgs/haskellPackages.primitive-offset | Types for offsets into unboxed arrays |
| packages/nixpkgs/haskellPackages.closed-intervals | Closed intervals of totally ordered types |
| packages/nixpkgs/haskellPackages.http-attoparsec | Attoparsec parsers for http-types |
| packages/nixpkgs/haskellPackages.happstack-monad-peel | monad-peel instances for Happstack types |
| packages/nixpkgs/haskellPackages.brillo-rendering | Brillo picture data types and rendering functions |
| packages/nixpkgs/haskellPackages.tagged_0_8_10 | Haskell 98 phantom types to avoid unsafely passing dummy arguments |
| packages/nixpkgs/haskellPackages.persistent-map | A thread-safe (STM) persistency interface for finite map types |
| packages/nixpkgs/haskellPackages.attoparsec-data | Parsers for the standard Haskell data types |
| packages/nixpkgs/haskellPackages.text-postgresql | Parser and Printer of PostgreSQL extended types |
| packages/nixpkgs/haskellPackages.yaya-containers | Pattern functors and instances for types in the containers package |
| packages/nixpkgs/haskellPackages.text-containers | Memory-efficient string-indexed container types |
| packages/nixpkgs/haskellPackages.servant-response | Machinery to express how servant should turn results of database operations into proper JSON-encodable response types |
| packages/nixpkgs/haskellPackages.hnix-store-core_0_8_0_0 | Core types used for interacting with the Nix store |
| packages/nixpkgs/haskellPackages.data-default-generics | A class for types with a default value |
| packages/nixpkgs/haskellPackages.singletons-th_3_5 | A framework for generating singleton types |
| packages/nixpkgs/haskellPackages.compdata-automata | Tree automata on Compositional Data Types |
| packages/nixpkgs/haskellPackages.ihaskell-diagrams | IHaskell display instances for diagram types |
| packages/nixpkgs/haskellPackages.postgresql-ltree | Types and functions for representing PostgreSQL's ltree |
| packages/nixpkgs/haskellPackages.dependent-enummap | A generalisation of EnumMap to dependent types |
| packages/nixpkgs/haskellPackages.network-arbitrary | Arbitrary Instances for Network Types |
| packages/nixpkgs/haskellPackages.tagged-exception-core | Reflect exceptions using phantom types |
| packages/nixpkgs/haskellPackages.deepseq-instances | Candidate NFData Instances for Types in base |
| packages/nixpkgs/haskellPackages.cryptostore | Serialization of cryptographic data types |
| packages/nixpkgs/haskellPackages.container-classes | Generic classes for interacting with different container types |
| packages/nixpkgs/haskellPackages.existential | Existential types with lens-like accessors |
| packages/nixpkgs/haskellPackages.taskwarrior | Types and aeson instances for taskwarrior tasks |
| packages/nixpkgs/haskellPackages.collections | Useful standard collections types and related functions |
| packages/nixpkgs/haskellPackages.reorderable | Define compound types that do not depend on member order |
| packages/nixpkgs/haskellPackages.dobutokO-frequency | Helps to create experimental music |
| packages/nixpkgs/haskellPackages.opentheory-stream | Infinite stream types |
| packages/nixpkgs/haskellPackages.th-abstraction | Nicer interface for reified information about data types |
| packages/nixpkgs/haskellPackages.heroku-persistent | Parse DATABASE_URL into configuration types for Persistent |
| packages/nixpkgs/haskellPackages.statistics-skinny | A library of statistical types, data, and functions |
| packages/nixpkgs/haskellPackages.heavy-logger-instances | Orphan instances for data types in heavy-logger package |
| packages/nixpkgs/haskellPackages.ceilometer-common | Common Haskell types and encoding for OpenStack Ceilometer |
| packages/nixpkgs/haskellPackages.derive-enumerable | Generic instances for enumerating complex data types |
| packages/nixpkgs/haskellPackages.ripple-federation | Utilities and types to work with the Ripple federation protocol |
| packages/nixpkgs/haskellPackages.postgresql-config | Types for easy adding postgresql configuration to your program |
| packages/nixpkgs/haskellPackages.hw-playground-linear | Primitive functions and data types |
| packages/nixpkgs/haskellPackages.http-interchange | Types and serialization for HTTP |
| packages/nixpkgs/haskellPackages.template-haskell-optics | Optics for template-haskell types |
| packages/nixpkgs/haskellPackages.versions_5_0_5 | Types and parsers for software version numbers |
| packages/nixpkgs/haskellPackages.text-conversions | Safe conversions between textual types |
| packages/nixpkgs/haskellPackages.generic-data-functions | Familiar functions lifted to generic data types |
| packages/nixpkgs/haskellPackages.postgresql-common | Library for sharing common PostgreSQL types across Haskell PostgreSQL libraries |
| packages/nixpkgs/haskellPackages.free-operational | Operational Applicative, Alternative, Monad and MonadPlus from free types |
| packages/nixpkgs/haskellPackages.substrate-protocol | Plexus protocol types and client for Substrate |
| packages/nixpkgs/haskellPackages.LinguisticsTypes | Collection of types for natural language |
| packages/nixpkgs/haskellPackages.continued-fraction | Types and functions for working with continued fractions in Haskell |
| packages/nixpkgs/haskellPackages.persistent-iproute | Persistent instances for types in iproute |
| packages/nixpkgs/haskellPackages.hschema-quickcheck | Describe schemas for your Haskell data types |
| packages/nixpkgs/haskellPackages.data-default-instances-base | Default instances for types in base |
| packages/nixpkgs/haskellPackages.universe-dependent-sum | Universe instances for types from dependent-sum |
| packages/nixpkgs/haskellPackages.filesystem-conduit | Use system-filepath data types with conduits. (deprecated) |
| packages/nixpkgs/haskellPackages.ordered-containers | Set- and Map-like types that remember the order elements were inserted |
| packages/nixpkgs/haskellPackages.universe-instances-base | Universe instances for types from the base package |
| packages/nixpkgs/haskellPackages.Configurable | Declare types as Configurable then specialize them all in one place |
| packages/nixpkgs/haskellPackages.publicsuffix | The publicsuffix list exposed as proper Haskell types |
| packages/nixpkgs/haskellPackages.data-default-instances-dlist | Default instances for types in dlist |
| packages/nixpkgs/haskellPackages.data-default_0_8_0_1 | A class for types with a default value |
| packages/nixpkgs/haskellPackages.derivingvia-extras | DerivingVia extras - Miscellaneous /via/ types |
| packages/nixpkgs/haskellPackages.friday-juicypixels | Converts between the Friday and JuicyPixels image types |
| packages/nixpkgs/haskellPackages.containers_0_8 | Assorted concrete container types |
| packages/nixpkgs/haskellPackages.string-conversions | Simplifies dealing with different types for strings |
| packages/nixpkgs/haskellPackages.monadology_0_4 | The best ideas in monad-related classes and types |
| packages/nixpkgs/haskellPackages.data-default-class_0_2_0_0 | A class for types with a default value (compatibility shim) |
| packages/nixpkgs/haskellPackages.dimensional-codata | CODATA Recommended Physical Constants with Dimensional Types |
| packages/nixpkgs/haskellPackages.data-default-instances-new-base | Default instances for types in newer versions of base package |
| packages/nixpkgs/haskellPackages.ihp-postgresql-simple-extra | Extra data types for postgresql-simple |
| packages/nixpkgs/haskellPackages.rank1dynamic | Like Data |
| packages/nixpkgs/haskellPackages.adaptive-containers | Self optimizing container types |
| packages/nixpkgs/haskellPackages.extended-containers | Heap and Vector container types |
| packages/nixpkgs/haskellPackages.querystring-pickle | Picklers for de/serialising Generic data types to and from query strings |
| packages/nixpkgs/haskellPackages.validity-persistent | Validity instances for persistent-related types |
| packages/nixpkgs/haskellPackages.universe-instances-trans | Universe instances for types from the transformers and mtl packages |
| packages/nixpkgs/haskellPackages.fractionizer | Numbers in the range [0.005, 1] as a sum of 2, 3, 4 or 5 unit fractions of special types. |
| packages/nixpkgs/haskellPackages.hashable-accelerate | A class for types which can be converted into a hash value |
| packages/nixpkgs/haskellPackages.familiar-reflection | Reifies arbitrary terms into types that can be reflected back into terms |
| packages/nixpkgs/haskellPackages.nonempty-containers | Non-empty variants of containers data types, with full API |
| packages/nixpkgs/haskellPackages.clash-prelude-quickcheck | QuickCheck instances for various types in the CλaSH Prelude |
| packages/nixpkgs/haskellPackages.linguistic-ordinals | Express Integral types as linguistic ordinals (1st, 2nd, 3rd, etc) |
| packages/nixpkgs/haskellPackages.data-default-instances-vector | Default instances for types defined in vector package |
| packages/nixpkgs/haskellPackages.persistent-database-url | Parse DATABASE_URL into configuration types for Persistent |
| packages/nixpkgs/haskellPackages.Shpadoinkle-widgets | A collection of common reusable types and components |
| packages/nixpkgs/haskellPackages.leancheck-enum-instances | listable instances for small enum types |
| packages/nixpkgs/haskellPackages.genvalidity-sydtest | Standard properties for functions on `Validity` types for the sydtest framework |
| packages/nixpkgs/haskellPackages.hashable_1_5_0_0 | A class for types that can be converted to a hash value |
| packages/nixpkgs/haskellPackages.data-default-instances-old-locale | Default instances for types in old-locale |
| packages/nixpkgs/haskellPackages.vect-floating-accelerate | Accelerate instances for vect-floating types |
| packages/nixpkgs/haskellPackages.hashable_1_4_7_0 | A class for types that can be converted to a hash value |
| packages/nixpkgs/haskellPackages.liquidhaskell | Liquid Types for Haskell |
| packages/nixpkgs/haskellPackages.unordered-containers | Efficient hashing-based container types |
| packages/nixpkgs/haskellPackages.groundhog-converters | Extended Converter Library for groundhog embedded types |
| packages/nixpkgs/haskellPackages.nonempty-alternative | NonEmpty for Alternative types |
| packages/nixpkgs/haskellPackages.structural-induction | Instantiate structural induction schemas for algebraic data types |
| packages/nixpkgs/haskellPackages.genvalidity-property | Standard properties for functions on `Validity` types |
| packages/nixpkgs/haskellPackages.ihaskell-juicypixels | IHaskell - IHaskellDisplay instances of the image types of the JuicyPixels package |
| packages/nixpkgs/haskellPackages.compositional-data | Compositional Data Types |
| packages/nixpkgs/haskellPackages.liquidhaskell-boot | Liquid Types for Haskell |
| packages/nixpkgs/haskellPackages.quickcheck-enum-instances | arbitrary instances for small enum types |
| packages/nixpkgs/haskellPackages.distribution-nixpkgs | Types and functions to manipulate the Nixpkgs distribution |
| packages/nixpkgs/haskellPackages.parameterized-data | Parameterized data library implementing lightweight dependent types |
| packages/nixpkgs/haskellPackages.containers-accelerate | Hashing-based container types |
| packages/nixpkgs/haskellPackages.universe-instances-extended | Universe instances for types from selected extra packages |
| packages/nixpkgs/haskellPackages.criterion-measurement | Criterion measurement functionality and associated types |
| packages/nixpkgs/haskellPackages.parameterized-utils | Classes and data structures for working with data-kind indexed types |
| packages/nixpkgs/haskellPackages.foreign-storable-asymmetric | Types and instances for implementing a Storable with different peek and poke |
| packages/nixpkgs/haskellPackages.aws-configuration-tools | Configuration types, parsers & renderers for AWS services |
| packages/nixpkgs/haskellPackages.strongweak_0_12_0 | Convert between strong and weak representations of types |
| packages/nixpkgs/haskellPackages.distribution-opensuse | Types, functions, and tools to manipulate the openSUSE distribution |
| packages/nixpkgs/haskellPackages.collections-base-instances | Useful standard collections types and related functions |
| packages/nixpkgs/haskellPackages.persistent-instances-iproute | Persistent instances for types in iproute |
| packages/nixpkgs/haskellPackages.hasql-implicits_0_1_1_3 | Implicit definitions for Hasql, such as default codecs for standard types |
| packages/nixpkgs/haskellPackages.hschema-prettyprinter | Describe schemas for your Haskell data types |
| packages/nixpkgs/haskellPackages.distribution-nixpkgs-unstable | Types and functions to manipulate the Nixpkgs distribution |
| packages/nixpkgs/haskellPackages.data-default-instances-containers | Default instances for types in containers |
| packages/nixpkgs/haskellPackages.quickcheck-arbitrary-template | Generate QuickCheck Gen for Sum Types |
| packages/nixpkgs/haskellPackages.filesystem-abstractions | A shared set of abstractions and types for representing filessytem data |
| packages/nixpkgs/haskellPackages.hgeometry-combinatorial | Data structures, and Data types |
| packages/nixpkgs/haskellPackages.constrained-platform-instances | Instances of standard platform types for 'constrained' package |
| packages/nixpkgs/haskellPackages.liquidhaskell-boot_0_9_12_2 | Liquid Types for Haskell |
| packages/nixpkgs/haskellPackages.composable-associations-aeson | Aeson ToJSON/FromJSON implementation for the types of composable-associations |
| packages/nixpkgs/haskellPackages.unordered-containers_0_2_21 | Efficient hashing-based container types |
| packages/nixpkgs/haskellPackages.bronyradiogermany-common | Common types and URIs for the BronyRadioGermany API bindings |
| packages/nixpkgs/haskellPackages.liquidhaskell_0_9_12_2 | Liquid Types for Haskell |
| packages/nixpkgs/haskellPackages.TypeNat | Some Nat-indexed types for GHC |
| packages/nixpkgs/haskellPackages.TypeClass | Typing speed game |