Deprecated

type-list

Operations on type-level lists and tuples.

Version on this page:0.3.0.2
LTS Haskell 9.21:0.5.0.0
Stackage Nightly 2017-07-25:0.5.0.0
Latest on Hackage:0.5.0.0

See all snapshots type-list appears in

BSD-3-Clause licensed by Marcin Mrotek
Maintained by [email protected]
This version can be pinned in stack with:type-list-0.3.0.2@sha256:19259c24fd235929f29a26cb5accd5e8e5a0485438defdbc3335d56a81a3c5af,1116

Module documentation for 0.3.0.2

Depends on 2 packages(full list with versions):
base, singletons

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.

Changes

0.3.0.0

  • Added ZipWith family.

0.2.0.0

  • Added lengthVal function, replacing the functionality of the removed TypeLength typeclass together with the Length family.

0.1.0.0

  • Changed TypeLength type class to a Length family.
  • Fixed Intersection.

0.0.0.0

  • Initial commit.