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

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

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


[Skip to Readme]
Versions 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]
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:0.5.0.0
Downloads 2759 total (129 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2016-06-20 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Flags

NameDescriptionDefaultType
devel

"Development mode (-Werror)"

DisabledManual

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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


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.