homepage: ''
changelog-type: ''
hash: daa67f59c54d4c61f73317a1edc7ee86e59327df0eade3a8db6e348a80b8d2d5
test-bench-deps:
  base: ! '>=4.7 && <5'
  hspec: -any
maintainer: clintonmead@gmail.com
synopsis: A series of type families and constraints for "indexable" types.
changelog: ''
basic-deps:
  base: ! '>=4.7 && <5'
all-versions:
- '0.1.0.0'
author: Clinton Mead
latest: '0.1.0.0'
description-type: haddock
description: ! 'This package deals with types that can roughly be "indexed" at compile
  time by an integer.

  For example, tuples and be indexed by their nth elements, and functions by their
  nth argument.

  A number of type functions allow one to extract these subtypes, i.e. the type of
  the 2nd element of a given tuple.

  Furthermore, constraints are defined which allow one to easily constrain types to
  these index types,

  e.g. a constraint that says "@t@ is a 3 tuple". @Control.IndexT@ has more detail.'
license-name: MIT

homepage: ''
changelog-type: ''
hash: 92e78f10a68bdaf26bf2c511b796a0591784fa91f6dcb0ecdb39e4f857c8192b
test-bench-deps:
  base: ==4.9.*
  hspec: ==2.4.*
maintainer: clintonmead@gmail.com
synopsis: A series of type families and constraints for "indexable" types.
changelog: ''
basic-deps:
  base: ==4.9.*
all-versions:
- '0.1.0.0'
- '0.2.0.0'
author: Clinton Mead
latest: '0.2.0.0'
description-type: haddock
description: ! 'This package deals with types that can roughly be "indexed" at compile
  time by an integer.

  For example, tuples and be indexed by their nth elements, and functions by their
  nth argument.

  A number of type functions allow one to extract these subtypes, i.e. the type of
  the 2nd element of a given tuple.

  Furthermore, constraints are defined which allow one to easily constrain types to
  these index types,

  e.g. a constraint that says "''t'' is a 3 tuple". ''Control.IndexT'' has more detail.'
license-name: MIT

Update from Hackage at 2017-03-09T04:30:29Z
Update from Hackage at 2017-03-09T04:30:29Z
