The type-list package

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

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


[Skip to Readme]

Properties

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 BSD3
Copyright (c) Marcin Mrotek, 2015
Author Marcin Mrotek
Maintainer marcin.jan.mrotek@gmail.com
Category Data
Source repository head: git clone https://github.com/marcinmrotek/type-list
Uploaded Mon Jun 20 08:01:46 UTC 2016 by mjmrotek
Distributions LTSHaskell:0.5.0.0, NixOS:0.5.0.0, Tumbleweed:0.5.0.0
Downloads 1394 total (60 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.