type-list: Operations on type-level lists and tuples.

[ bsd3, data, deprecated, library ] [ Propose Tags ]

Operations on type-level lists and tuples, together with their curried versions.

[Skip to Readme]
Versions [faq],,,,,,,,,
Change log changelog.md
Dependencies base (>=4.7 && <6), singletons (>=1.0 && <2.3) [details]
License BSD-3-Clause
Copyright (c) Marcin Mrotek, 2015
Author Marcin Mrotek
Maintainer marcin.jan.mrotek@gmail.com
Category Data
Source repo head: git clone https://github.com/marcinmrotek/type-list
Uploaded by mjmrotek at Mon Jun 20 08:01:46 UTC 2016
Distributions NixOS:
Downloads 4169 total (170 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2016-06-20 [all 1 reports]





"Development mode (-Werror)"


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

For package maintainers and hackage trustees

Readme for type-list-

[back to package description]


Common list and tuple operations rewritten as type families that operate in the type level, on data-kinded types. Both uncurried (type family) and curried (GADTs to be used with the Apply type family from Singletons) are provided, to work around the inability to partially apply type families.