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 2016-06-20T08:01:46Z
Distributions NixOS:
Downloads 6217 total (3 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
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.