Data.NTuple

Documentation

data NTuple size a

Instances

Functor (NTuple size)

Foldable (NTuple size)

Traversable (NTuple size)

Eq a => Eq (NTuple size a)

(Data a, Typeable Nat size) => Data (NTuple size a)

Show a => Show (NTuple size a)

Generic (NTuple size a)

type Rep (NTuple size a)

empty :: NTuple 0 a

proj

Arguments

:: (n <= size, (n :> 0) ~ True, KnownNat n)

=> Proxy n

The index

-> NTuple size a

-> a

Project an element out of the tuple

incl

Arguments

:: (n <= (size + 1), (n :> 0) ~ True, KnownNat n, size' ~ If (n :== (size + 1)) (size + 1) size)

=> Proxy n

The index

-> a

-> NTuple size a

-> NTuple size' a

Include an element to the tuple, overwriting on an existing index

toVector :: NTuple size a -> Vector a

Proxies

_1 :: Proxy 1

_2 :: Proxy 2

_3 :: Proxy 3

_4 :: Proxy 4

_5 :: Proxy 5

_6 :: Proxy 6

_7 :: Proxy 7

_8 :: Proxy 8

_9 :: Proxy 9

_10 :: Proxy 10