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

[ bsd3, data, deprecated, library ] [ Propose Tags ] [ Report a vulnerability ]
Deprecated

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


[Skip to Readme]

Modules

[Index]

Flags

Manual Flags

NameDescriptionDefault
devel

"Development mode (-Werror)"

Disabled

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

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.0.0.0, 0.0.0.1, 0.1.0.0, 0.2.0.0, 0.3.0.0, 0.3.0.1, 0.3.0.2, 0.3.0.3, 0.3.0.4, 0.5.0.0
Change log changelog.md
Dependencies base (>=4.7 && <6), singletons (>=1.0 && <2.3) [details]
Tested with ghc ==7.8.4, ghc ==7.10.1, ghc ==7.10.2, ghc ==8.0.1
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
Reverse Dependencies 4 direct, 14 indirect [details]
Downloads 7282 total (10 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2016-06-20 [all 1 reports]

Readme for type-list-0.5.0.0

[back to package description]

type-list

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.