@hackage HList0.4.2.0

Heterogeneous lists

Categories
License
MIT
Maintainer
oleg@pobox.com
Links
Versions
- 0.5.4.0 Thu, 20 Feb 2025
- 0.5.3.0 Sat, 23 Sep 2023
- 0.5.2.0 Fri, 18 Feb 2022
- 0.5.1.0 Sat, 23 Oct 2021
- 0.5.0.0 Fri, 31 May 2019
- 0.4.2.0 Fri, 31 May 2019

Installation
In your cabal file:
Dependencies (8)
- array
- base >=4.7
- ghc-prim
- mtl
- template-haskell
- base-orphans >=0.3.3
Dependents (26)
@hackage/Spock, @hackage/synthesizer-llvm, @hackage/functional-arrow, @hackage/ixmonad, @hackage/Rlang-QQ, @hackage/acme-everything, Show all…

Package Flags

new_type_eq

(off by default)

use Data.Type.Equality.== to define the instance of HEq instead of overlapping instances (in Data.HList.TypeEqO) (needs ghc >= 7.8)

This version does not allow `HEq x [x] f` to lead to f ~ False, unlike the version with overlapping instances. See https://ghc.haskell.org/trac/ghc/ticket/9918

HList provides many operations to create and manipulate heterogenous lists (HLists) whose length and element types are known at compile-time. HLists are used to implement

records
variants
type-indexed products (TIP)
type-indexed co-products (TIC)
keyword arguments

User code should import Data.HList or Data.HList.CommonMain for a slightly more limited scope

@hackage HList0.4.2.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (8)

Dependents (26)

Package Flags