Data.NTuple

Contents

• Proxies

Synopsis

• data NTuple size a
• empty :: NTuple 0 a
• proj :: (n <= size, (n :> 0) ~ True, KnownNat n) => Proxy n -> NTuple size a -> a
• incl :: (n <= (size + 1), (n :> 0) ~ True, KnownNat n, size' ~ If (n :== (size + 1)) (size + 1) size) => Proxy n -> a -> NTuple size a -> NTuple size' a
• _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

Documentation

Proxies