n-tuple

Homogeneous tuples of arbitrary length.

https://github.com/athanclark/n-tuple#readme

Version on this page:	0.0.2.0
LTS Haskell 22.18:	0.0.3
Stackage Nightly 2024-04-22:	0.0.3
Latest on Hackage:	0.0.3

See all snapshots n-tuple appears in

BSD-3-Clause licensed by Athan Clark

Maintained by [email protected]

This version can be pinned in stack with:n-tuple-0.0.2.0@sha256:2450891bbb59819ea14889fb863ee8fea52ee1056ce73d458b6a1ce2005ef0b9,1070

Module documentation for 0.0.2.0

Data
- Data.NTuple

Depends on 3 packages(full list with versions):

base, singletons, vector

n-tuple

{-# LANGUAGE DataKinds -#}

import Data.NTuple


foo :: NTuple 3 String
foo
  = incl _3 "three"
  . incl _2 "two"
  . incl _1 "one"
  $ empty


one :: String
one = proj _1 foo

two :: String
two = proj _2 foo