@hackage / n-tuple

Homogeneous tuples of arbitrary length.

Latest0.0.3

About

Metadata

  • Last updated , by athanclark
  • License BSD-3-Clause

  • Maintained by: athan.clark@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

n-tuple

This is a silly implementation of "homogeneous n-length tuples" -- basically an array. Internally, it builds a Vector, and projections just pull that index.

{-# 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