Name: HList Version: 0.5.3.0 Category: Data Synopsis: Heterogeneous lists Description: 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 . The original design is described in , though since that paper came out, the -XTypeFamiles extension has been used to replace `TypeCast` with `~`. License: MIT License-File: LICENSE Author: 2004 Oleg Kiselyov (FNMOC, Monterey), Ralf Laemmel (CWI/VU, Amsterdam), Keean Schupke (London) Maintainer: oleg@pobox.com Data-files: README, ChangeLog Cabal-version: >= 1.10 Tested-With: GHC==9.6.1 Build-Type: Simple Extra-Source-Files: examples/broken/*.hs, examples/broken/*.lhs, examples/broken/*.ref, Data/HList/broken/*.hs, Data/HList/obsolete/*.hs Source-Repository head type: git location: https://bitbucket.org/HList/hlist flag new_type_eq Default: False Manual: True Description: 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 library Build-Depends: base >= 4.6 && < 5, -- for Typeable '[] and '(:) with ghc-7.6 base-orphans, -- Data.Semigroup for ghc < 8 semigroups, template-haskell, ghc-prim, mtl, tagged, profunctors, array Exposed-modules: Data.HList, Data.HList.CommonMain, Data.HList.Data, Data.HList.Dredge, Data.HList.FakePrelude, Data.HList.HArray, Data.HList.HCurry, Data.HList.HList, Data.HList.HListPrelude, Data.HList.HOccurs, Data.HList.HTypeIndexed, Data.HList.HSort, Data.HList.HZip, Data.HList.Keyword, Data.HList.Label3, Data.HList.Label5, Data.HList.Label6, Data.HList.Labelable, Data.HList.MakeLabels, Data.HList.Record, Data.HList.RecordPuns, Data.HList.RecordU, Data.HList.TIC, Data.HList.TIP, Data.HList.TIPtuple, Data.HList.TypeEqO, Data.HList.Variant Other-modules: LensDefs Default-Language: Haskell2010 Ghc-Options: -Wall -fno-warn-missing-signatures -fno-warn-orphans Default-Extensions: ConstraintKinds DataKinds DeriveDataTypeable EmptyDataDecls FlexibleContexts FlexibleInstances FunctionalDependencies GeneralizedNewtypeDeriving GADTs KindSignatures MultiParamTypeClasses PolyKinds RankNTypes ScopedTypeVariables StandaloneDeriving TypeFamilies TypeOperators UndecidableInstances Other-Extensions: CPP TemplateHaskell OverlappingInstances if impl(ghc >= 8.6) Default-Extensions: StarIsType if impl(ghc >= 8.0) Default-Extensions: UndecidableSuperClasses if impl(ghc < 7.7) Cpp-options: -DOLD_TYPEABLE -DNO_CLOSED_TF if impl(ghc >= 7.7) Default-Extensions: AllowAmbiguousTypes RoleAnnotations if impl(ghc > 7.9) Ghc-Options: -fno-warn-unticked-promoted-constructors -Wno-star-is-type if flag(new_type_eq) Cpp-options: -DNEW_TYPE_EQ Build-Depends: base >= 4.7 Test-Suite examples Type: exitcode-stdio-1.0 Main-Is: HListExample.hs Default-Language: Haskell2010 Hs-Source-Dirs: examples Build-Depends: base, hspec >= 1.7, directory, filepath, hspec-expectations, process, syb, cmdargs, lens, HList, mtl, QuickCheck, array, semigroups, template-haskell Other-Modules: Properties.Common HListExample.CmdArgs HListExample.Datatypes2 HListExample.Labelable HListExample.MainGhcGeneric1 HListExample.MainPosting051106 HListExample.OverloadedLabels HListExample.Prism HListExample.Pun HListExample.TIPTransform HListExample.TIPTransformM if impl(ghc > 7.9) Ghc-Options: -fno-warn-tabs Test-Suite doctests Type: exitcode-stdio-1.0 Ghc-Options: -threaded if impl(ghc <= 7.9 ) && impl(ghc <= 7.11) -- doctests include things like :t pred . maxBound, which -- depending on the ghc version, comes out as one of -- (Bounded a, Enum a) => ... -- (Enum b, Bounded b) => ... Build-Depends: base, doctest >= 0.8, process Buildable: False Main-Is: rundoctests.hs Hs-Source-Dirs: examples Default-Language: Haskell2010 Test-Suite properties Type: exitcode-stdio-1.0 Build-Depends: base, hspec >= 1.7, hspec-expectations, HList, lens, mtl, QuickCheck, template-haskell, array, syb Other-Modules: Properties.Common Properties.KW Properties.LengthDependent Properties.LengthDependentSplice Properties.LengthIndependent Main-Is: Properties.hs Hs-Source-Dirs: examples Default-Language: Haskell2010 if impl(ghc <= 7.11) build-depends: semigroups