HORIZON HASKELLDocslts/ghc-10.0.xaa25b892026-10-10Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · aa25b89 · 2026-10-10

Package setlts/ghc-10.0.xrev aa25b892026-10-10

horizon-
core

The base of the tower: the libraries everything above it builds on.

Search 291 packages, their modules, types and functionsCtrl K

The set

  • Packages291
  • Categories41
  • CompilerGHC 10.0.0.20260917
  • Linelts/ghc-10.0.x
  • Revisionaa25b89
  • Committed2026-10-10
  • Sourceforge ↗
Flake inputlts/ghc-10.0.x aa25b89
inputs.horizon-core.url = "git+https://nixlab.openfp.net/package-sets/haskell/horizon-core.git?ref=refs/heads/lts/ghc-10.0.x&rev=aa25b8988bbb70c1bafa4bf997afddb7ef48f649";

Data

74 packages
  • OneTuple0.4.3Singleton Tuplehackage
  • StateVar1.2.2State variableshackage
  • abstract-deque0.3Abstract, parameterized interface to mutable Deques.hackage
  • alfred-margaret2.1.1.1Fast Aho-Corasick string searchinghackage
  • assoc1.1.1swap and assoc: Symmetric and Semigroupy Bifunctorshackage
  • atomic-primops0.8.8A safe approach to CAS and other atomic ops in Haskell.hackage
  • base161.0Fast RFC 4648-compliant Base16 encodinghackage
  • base16-bytestring1.0.2.0RFC 4648-compliant Base16 encodings for ByteStringshackage
  • base641.0A modern Base64 libraryhackage
  • base64-bytestring1.2.1.0Fast base64 encoding and decoding for ByteStringshackage
  • bifunctors5.6.3Bifunctorshackage
  • binary0.8.9.3Binary serialisation for Haskell values using lazy ByteStringsboot
all 74 in Data →

System

26 packages
  • Glob0.10.2Globbing libraryhackage
  • byteorder1.0.4Exposes the native endianness or byte ordering of the system.hackage
  • clock0.8.4High-resolution clock functions: monotonic, realtime, cputime.hackage
  • directory1.3.11.0Platform-agnostic library for filesystem operationsboot
  • easy-file0.2.5Cross-platform File handlinghackage
  • echo0.1.4A cross-platform, cross-console way to handle echoing terminal inputhackage
  • fast-logger3.2.7A fast logging systemhackage
  • file-io0.2.0Basic file IO operations via 'OsPath'boot
  • filepath1.5.5.0Library for manipulating FilePaths in a cross platform way.boot
  • mmap0.5.9Memory mapped files for POSIX and Windowshackage
  • old-locale1.0.0.7locale libraryhackage
  • optparse-applicative0.19.0.0Utilities and combinators for parsing command line optionshackage
all 26 in System →

Control

25 packages
  • abstract-par0.3.3Type classes generalizing the functionality of the 'monad-par' library.hackage
  • auto-update0.2.8Efficiently run periodic, on-demand actionshackage
  • comonad5.0.10Comonadshackage
  • contravariant1.5.6Contravariant functorshackage
  • deepseq1.5.2.0Deep evaluation of data structuresboot
  • exceptions0.10.12Extensible optionally-pure exceptionsboot
  • free5.2Monads for freehackage
  • hpc0.7.0.2Code Coverage Library for Haskellboot
  • invariant0.6.5Haskell98 invariant functorshackage
  • lifted-base0.2.3.12lifted IO operations from the base libraryhackage
  • mmorph1.2.2Monad morphismshackage
  • monad-control1.0.3.1Lift control operations, like exception catching, through monad transformershackage
all 25 in Control →

Network

20 packages
  • HTTP4000.5.0A library for client-side HTTPhackage
  • crypton-connection0.4.6Simple and easy network connection APIhackage
  • crypton-socks0.6.2SOCKS Protocol Version 5hackage
  • ech-config0.0.1Config for TLS Encrypted Client Hellohackage
  • http-client0.7.19An HTTP client enginehackage
  • http-client-tls0.4.0http-client backend using the connection package and tls libraryhackage
  • http-date0.0.11HTTP Date parser/formatterhackage
  • http-semantics0.4.1HTTP semantics libraryhackage
  • http-types0.12.6Generic HTTP types for Haskell (for both client and server code).hackage
  • http25.4.8HTTP/2 libraryhackage
  • network3.2.9.0Low-level networking interfacehackage
  • network-byte-order0.1.8Network byte order utilitieshackage
all 20 in Network →

Uncategorised

18 packages
  • ghc-platform0.1.0.0Platform information used by GHC and friendsboot
  • ghc-toolchain0.1.0.0Utility for managing GHC target toolchainsboot
  • horizon-config0.8.0A horizon package set as a vortex config DSLhackage
  • horizon-config-shell0.12.0A horizon package set generated from a vortex config, not dhallhackage
  • sheaf0.2.0.0Theories as first-class data — the L4 skeleton of the vortex estatehackage
  • vortex-call0.1.1.0Calls without elaboration - a table of operations, dispatched by namehackage
  • vortex-client0.1.3A wisp's side of the wirehackage
  • vortex-console0.1.2A console session over a vortex socket, as a pure state machinehackage
  • vortex-effects0.1.3The standard theory - the libc of the stackhackage
  • vortex-elab0.2.2Elaboration - untrusted source to typed termhackage
  • vortex-host0.2.1init - assemble a vortex from its layershackage
  • vortex-keymap0.1.0Modal key bindings as a theory - a keymap is a script, a key is a programhackage
all 18 in Uncategorised →

Text

14 packages
  • aeson2.3.2.0Fast JSON parsing and encodinghackage
  • attoparsec0.14.4Fast combinator parsing for bytestrings and texthackage
  • blaze-html0.9.2.0A blazingly fast HTML combinator library for Haskellhackage
  • blaze-markup0.8.3.0A blazingly fast markup combinator library for Haskellhackage
  • libyaml0.1.4Low-level, streaming YAML interface.hackage
  • parsec-class1.0.1.0Class of types that can be constructed from their text representationhackage
  • pretty1.1.3.6Pretty-printing libraryboot
  • pretty-show1.10Tools for working with derived `Show` instances and generic inspection of values.hackage
  • printable0.1.0.0Text a reader can see all of: what draws nothing, refusedhackage
  • regex-base0.94.0.3Common "Text.Regex.*" API for Regex matchinghackage
  • regex-posix0.96.0.2POSIX Backend for "Text.Regex" (regex-base)hackage
  • text-metrics0.3.3Calculate various string metrics efficientlyhackage
all 14 in Text →

Development

12 packages
  • extra1.8.1Extra functions I use.hackage
  • ghc10.0.0.20260917The GHC APIboot
  • ghc-experimental10.0.0Experimental features of GHC's standard library and unstable GHC internals.boot
  • ghc-lib-parser9.14.1.20251220The GHC API, decoupled from GHC versionshackage
  • ghc-paths0.1.0.12Knowledge of GHC's installation directorieshackage
  • hackage-revdeps0.4.1List Hackage reverse dependencieshackage
  • hoogle5.0.19.0Haskell API Searchhackage
  • hpack0.39.6A modern format for Haskell packageshackage
  • infer-license0.2.0Infer software license from a given license filehackage
  • template-haskell-lift0.1.0.0The 'Lift' typeclass.boot
  • template-haskell-quasiquoter0.1.0.0The 'QuasiQuoter' interface.boot
  • th-abstraction0.7.2.0Nicer interface for reified information about data typeshackage

Distribution

11 packages
  • Cabal3.18.1.0A framework for packaging Haskell softwareboot
  • Cabal-syntax3.18.1.0A library for working with .cabal filesboot
  • cabal-doctest1.0.13A Setup.hs helper for running doctestshackage
  • cabal-install3.18.1.0The command-line interface for Cabal and Hackage.hackage
  • cabal-install-solver3.18.1.0The solver component of cabal-installhackage
  • cabal2nix2.21.3Convert Cabal files into Nix build instructions.hackage
  • distribution-nixpkgs1.7.1.1Types and functions to manipulate the Nixpkgs distributionhackage
  • hackage-db2.1.3Access cabal-install's Hackage database via Data.Maphackage
  • hackage-security0.6.4.0Hackage security libraryhackage
  • hooks-exe3.18cabal-install integration for Hooks build-typehackage
  • language-nix2.3.0Data types and functions to represent the Nix languagehackage

Web

10 packages
  • cookie0.5.1HTTP cookie parsing and renderinghackage
  • http-conduit2.3.9.1HTTP client package with conduit interface and HTTPS support.hackage
  • mime-types0.1.2.2Basic mime-type handling types and functionshackage
  • open-browser0.5.1.0Open a web browser from Haskellhackage
  • tls-session-manager0.1.0In-memory TLS session DB and session tickethackage
  • wai3.2.5Web Application Interface.hackage
  • wai-logger2.5.0A logging system for WAIhackage
  • warp3.4.16A fast, light-weight web server for WAI applications.hackage
  • warp-tls3.4.14HTTP over TLS support for Warp via the TLS packagehackage
  • xhtml3000.4.1.0An XHTML combinator libraryboot

Data Structures

7 packages
  • adjunctions4.4.4Adjunctions and representable functorshackage
  • array0.5.8.0Mutable and immutable arraysboot
  • barbies2.1.1.0Classes for working with types that can change clothes.hackage
  • containers0.8Assorted concrete container typesboot
  • distributive0.6.3Distributive functors -- Dual to Traversablehackage
  • kan-extensions5.2.8Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monadshackage
  • psqueues0.2.8.3Pure priority search queueshackage

User Interfaces

7 packages
  • ansi-terminal1.1.5Simple ANSI terminal supporthackage
  • ansi-terminal-types1.1.3Types and functions used to represent SGR aspectshackage
  • concurrent-output1.10.21Ungarble output from several threads or commandshackage
  • haskeline0.8.5.0A command-line interface for user input, written in Haskell.boot
  • prettyprinter1.7.2A modern, easy to use, well-documented, extensible pretty-printer.hackage
  • prettyprinter-ansi-terminal1.1.4ANSI terminal backend for the »prettyprinter« package.hackage
  • terminfo0.4.1.7Haskell bindings to the terminfo library.boot

Cryptography

6 packages
  • SHA1.6.4.4Implementations of the SHA suite of message digest functionshackage
  • crypto-token0.2.0crypto tokenshackage
  • crypton2.1.7Cryptography Primitiveshackage
  • ed255190.0.5.0Ed25519 cryptographic signatureshackage
  • hpke0.2.1Hybrid Public Key Encryptionhackage
  • mlkem0.2.3.0Module-Lattice-based Key-Encapsulation Mechanismhackage

Concurrency

5 packages
  • async2.2.6Run IO operations asynchronously and wait for their resultshackage
  • atomic-counter0.1.2.4Mutable counters that can be modified with atomic operatinoshackage
  • lifted-async0.11.0Run lifted IO operations asynchronously and wait for their resultshackage
  • stm2.5.3.1Software Transactional Memoryboot
  • unagi-chan0.4.1.4Fast concurrent queues with a Chan-like API, and morehackage

Codec

4 packages
  • cborg0.2.10.0Concise Binary Object Representation (CBOR)hackage
  • serialise0.2.6.1A binary serialisation library for Haskell values.hackage
  • utf8-string1.0.2Support for reading and writing UTF8 Stringshackage
  • zlib0.7.1.1Compression and decompression in the gzip and zlib formatshackage

GHC

4 packages
  • ghc-boot10.0.0.20260917Shared functionality between GHC and its boot librariesboot
  • ghc-boot-th10.0.0.20260917Shared functionality between GHC and the template-haskell libraryboot
  • ghc-heap10.0.0.20260917Functions for walking GHC's heapboot
  • ghci10.0.0.20260917The library supporting GHC's interactive interpreterboot

Language

4 packages
  • haskell-lexer1.2.1A fully compliant Haskell 98 lexerhackage
  • haskell-src-exts1.24.0Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printerhackage
  • hint0.9.0.9A Haskell interpreter built on top of the GHC APIhackage
  • polysemy1.9.2.0Higher-order, low-boilerplate free monads.hackage

Math

4 packages
  • erf2.0.0.0The error function, erf, and related functions.hackage
  • integer-logarithms1.0.5Integer logarithms.hackage
  • math-functions0.3.4.4Collection of tools for numeric computationshackage
  • mwc-random0.15.3.0Fast, high quality pseudo random number generationhackage

Parsing

4 packages
  • appar0.1.8A simple applicative parserhackage
  • attoparsec-aeson2.2.2.0Parsing of aeson's Value with attoparsechackage
  • parsec3.1.18.0Monadic parser combinatorsboot
  • text-iso86010.2.0.0Converting time to and from ISO 8601 text.hackage

Generics

3 packages
  • generic-deriving1.14.7Generic programming library for generalised deriving.hackage
  • syb0.7.4Scrap Your Boilerplatehackage
  • uniplate1.6.13Help writing simple, concise and fast generic operations.hackage

Testing

3 packages
  • QuickCheck2.19.0.0Automatic testing of Haskell programshackage
  • hedgehog1.7Release with confidence.hackage
  • tasty1.5.4Modern and extensible testing frameworkhackage

Time

3 packages

Algorithms

2 packages
  • edit-distance0.2.2.1Levenshtein and restricted Damerau-Levenshtein edit distanceshackage
  • iproute1.7.15IP Routing Tablehackage

Compatibility

2 packages
  • base-orphans0.9.4Backwards-compatible orphan instances for basehackage
  • transformers-compat0.7.2A small compatibility shim for the transformers libraryhackage

Documentation

2 packages
  • haddock-api2.34.0A documentation-generation tool for Haskell librariesboot
  • haddock-library1.11.0Library exposing some functionality of Haddock.boot

Javascript

2 packages
  • js-flot0.8.3Obtain minified flot codehackage
  • js-jquery3.7.1Obtain minified jQuery codehackage

List

2 packages
  • ListLike4.7.8.4Generalized support for list-like structureshackage
  • split0.2.5.1Combinator library for splitting lists.hackage

Numeric

2 packages
  • half0.3.3Half-precision floating-pointhackage
  • integer-gmp1.1Integer library based on GMPboot

Prelude

2 packages
  • base4.23.0.0Core data structures and operationsboot
  • ghc-internal10.0.0Basic librariesboot

Algebra

1 package

Console

1 package
  • cmdargs0.10.22Command line argument processinghackage

Constraints

1 package

File

1 package

Foreign

1 package
  • hopenssl2.2.5FFI Bindings to OpenSSL's EVP Digest Interfacehackage

Graphics

1 package
  • granite0.7.4.0Easy terminal plotting.hackage

Memory

1 package
  • ram0.22.1memory and related abstraction stuffhackage

Other

1 package

Polysemy

1 package

Template Haskell

1 package

Type

1 package
  • type-errors0.2.0.2Tools for writing better type errorshackage

Unclassified

1 package
  • safe0.3.21Library of safe (exception free) functionshackage

Vortex

1 package
  • vortex-journal0.1.0The journal theory: logs of a DSL's answered operations whose state is a marking of linear resourceshackage