Data.Tuple.Homotuple

Homotuples, whoes items are the same type or which are lists with type-level length.

Documentation

type family Homotuple (n :: Nat) (a :: Type) = (t :: Type) | t -> n

Instances

type Homotuple 0 a

Defined in Data.Tuple.Homotuple

type Homotuple 0 a = Proxy a

type Homotuple 1 a

Defined in Data.Tuple.Homotuple.Identity

type Homotuple 1 a = Identity a

type Homotuple 1 a

Defined in Data.Tuple.Homotuple.OneTuple

type Homotuple 1 a = OneTuple a

type Homotuple 1 a

Defined in Data.Tuple.Homotuple.Only

type Homotuple 1 a = Only a

type Homotuple 2 a

Defined in Data.Tuple.Homotuple

type Homotuple 2 a = (a, a)

type Homotuple 3 a

Defined in Data.Tuple.Homotuple

type Homotuple 3 a = (a, a, a)

type Homotuple 4 a

Defined in Data.Tuple.Homotuple

type Homotuple 4 a = (a, a, a, a)

type Homotuple 5 a

Defined in Data.Tuple.Homotuple

type Homotuple 5 a = (a, a, a, a, a)

type Homotuple 6 a

Defined in Data.Tuple.Homotuple

type Homotuple 6 a = (a, a, a, a, a, a)

type Homotuple 7 a

Defined in Data.Tuple.Homotuple

type Homotuple 7 a = (a, a, a, a, a, a, a)

type Homotuple 8 a

Defined in Data.Tuple.Homotuple

type Homotuple 8 a = (a, a, a, a, a, a, a, a)

type Homotuple 9 a

Defined in Data.Tuple.Homotuple

type Homotuple 9 a = (a, a, a, a, a, a, a, a, a)

type Homotuple 10 a

Defined in Data.Tuple.Homotuple

type Homotuple 10 a = (a, a, a, a, a, a, a, a, a, a)

type Homotuple 11 a

Defined in Data.Tuple.Homotuple

type Homotuple 11 a = (a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 12 a

Defined in Data.Tuple.Homotuple

type Homotuple 12 a = (a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 13 a

Defined in Data.Tuple.Homotuple

type Homotuple 13 a = (a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 14 a

Defined in Data.Tuple.Homotuple

type Homotuple 14 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 15 a

Defined in Data.Tuple.Homotuple

type Homotuple 15 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 16 a

Defined in Data.Tuple.Homotuple

type Homotuple 16 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 17 a

Defined in Data.Tuple.Homotuple

type Homotuple 17 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 18 a

Defined in Data.Tuple.Homotuple

type Homotuple 18 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 19 a

Defined in Data.Tuple.Homotuple

type Homotuple 19 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 20 a

Defined in Data.Tuple.Homotuple

type Homotuple 20 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 21 a

Defined in Data.Tuple.Homotuple

type Homotuple 21 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 22 a

Defined in Data.Tuple.Homotuple

type Homotuple 22 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 23 a

Defined in Data.Tuple.Homotuple

type Homotuple 23 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 24 a

Defined in Data.Tuple.Homotuple

type Homotuple 24 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 25 a

Defined in Data.Tuple.Homotuple

type Homotuple 25 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 26 a

Defined in Data.Tuple.Homotuple

type Homotuple 26 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 27 a

Defined in Data.Tuple.Homotuple

type Homotuple 27 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 28 a

Defined in Data.Tuple.Homotuple

type Homotuple 28 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 29 a

Defined in Data.Tuple.Homotuple

type Homotuple 29 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 30 a

Defined in Data.Tuple.Homotuple

type Homotuple 30 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 31 a

Defined in Data.Tuple.Homotuple

type Homotuple 31 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 32 a

Defined in Data.Tuple.Homotuple

type Homotuple 32 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 33 a

Defined in Data.Tuple.Homotuple

type Homotuple 33 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 34 a

Defined in Data.Tuple.Homotuple

type Homotuple 34 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 35 a

Defined in Data.Tuple.Homotuple

type Homotuple 35 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 36 a

Defined in Data.Tuple.Homotuple

type Homotuple 36 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 37 a

Defined in Data.Tuple.Homotuple

type Homotuple 37 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 38 a

Defined in Data.Tuple.Homotuple

type Homotuple 38 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 39 a

Defined in Data.Tuple.Homotuple

type Homotuple 39 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 40 a

Defined in Data.Tuple.Homotuple

type Homotuple 40 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 41 a

Defined in Data.Tuple.Homotuple

type Homotuple 41 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 42 a

Defined in Data.Tuple.Homotuple

type Homotuple 42 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 43 a

Defined in Data.Tuple.Homotuple

type Homotuple 43 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 44 a

Defined in Data.Tuple.Homotuple

type Homotuple 44 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 45 a

Defined in Data.Tuple.Homotuple

type Homotuple 45 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 46 a

Defined in Data.Tuple.Homotuple

type Homotuple 46 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 47 a

Defined in Data.Tuple.Homotuple

type Homotuple 47 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 48 a

Defined in Data.Tuple.Homotuple

type Homotuple 48 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 49 a

Defined in Data.Tuple.Homotuple

type Homotuple 49 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 50 a

Defined in Data.Tuple.Homotuple

type Homotuple 50 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 51 a

Defined in Data.Tuple.Homotuple

type Homotuple 51 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 52 a

Defined in Data.Tuple.Homotuple

type Homotuple 52 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 53 a

Defined in Data.Tuple.Homotuple

type Homotuple 53 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 54 a

Defined in Data.Tuple.Homotuple

type Homotuple 54 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 55 a

Defined in Data.Tuple.Homotuple

type Homotuple 55 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 56 a

Defined in Data.Tuple.Homotuple

type Homotuple 56 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 57 a

Defined in Data.Tuple.Homotuple

type Homotuple 57 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 58 a

Defined in Data.Tuple.Homotuple

type Homotuple 58 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 59 a

Defined in Data.Tuple.Homotuple

type Homotuple 59 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 60 a

Defined in Data.Tuple.Homotuple

type Homotuple 60 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 61 a

Defined in Data.Tuple.Homotuple

type Homotuple 61 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

type Homotuple 62 a

Defined in Data.Tuple.Homotuple

type Homotuple 62 a = (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

List-like

replicate :: forall (n :: Nat) a. (IsHomolisttuple n a, IsHomotupleItem n a, KnownNat n) => a -> Homotuple n a

Functor-like

(<$>) :: (IsHomolisttuple n a, IsHomolisttuple n b, IsHomotupleItem n a, IsHomotupleItem n b) => (a -> b) -> Homotuple n a -> Homotuple n b

Applicative-like

(<*>) :: (IsHomolisttuple n0 (a -> b), IsHomolisttuple n1 a, IsHomolisttuple (n0 * n1) b, IsHomotupleItem n0 (a -> b), IsHomotupleItem n1 a, IsHomotupleItem (n0 * n1) b) => Homotuple n0 (a -> b) -> Homotuple n1 a -> Homotuple (n0 * n1) b

pure :: Single c => a -> c a

Monad-like

(>>=) :: (IsHomolisttuple n0 a, IsHomolisttuple n1 b, IsHomolisttuple (n0 * n1) b, IsHomotupleItem n0 a, IsHomotupleItem n1 b, IsHomotupleItem (n0 * n1) b) => Homotuple n0 a -> (a -> Homotuple n1 b) -> Homotuple (n0 * n1) b

Semigoupe-like

(<>) :: (IsHomolisttuple n0 a, IsHomolisttuple n1 a, IsHomolisttuple (n0 + n1) a, IsHomotupleItem n0 a, IsHomotupleItem n1 a, IsHomotupleItem (n0 + n1) a) => Homotuple n0 a -> Homotuple n1 a -> Homotuple (n0 + n1) a infixr 6

Monoid-like

pattern Empty :: Homotuple 0 a

Utility constraints

type IsHomolisttuple (n :: Nat) a = IsList (Homotuple n a)

type IsHomotupleItem (n :: Nat) a = a ~ Item (Homotuple n a)

For implementers

errorLengthMismatch :: HasCallStack => a

Orphan instances

IsList (a, a)

Associated Types

type Item (a, a) :: Type

Methods

fromList :: [Item (a, a)] -> (a, a)

fromListN :: Int -> [Item (a, a)] -> (a, a)

toList :: (a, a) -> [Item (a, a)]

IsList (Proxy a)

Associated Types

type Item (Proxy a) :: Type

Methods

fromList :: [Item (Proxy a)] -> Proxy a

fromListN :: Int -> [Item (Proxy a)] -> Proxy a

toList :: Proxy a -> [Item (Proxy a)]

IsList (a, a, a)

Associated Types

type Item (a, a, a) :: Type

Methods

fromList :: [Item (a, a, a)] -> (a, a, a)

fromListN :: Int -> [Item (a, a, a)] -> (a, a, a)

toList :: (a, a, a) -> [Item (a, a, a)]

IsList (a, a, a, a)

Associated Types

type Item (a, a, a, a) :: Type

Methods

fromList :: [Item (a, a, a, a)] -> (a, a, a, a)

fromListN :: Int -> [Item (a, a, a, a)] -> (a, a, a, a)

toList :: (a, a, a, a) -> [Item (a, a, a, a)]

IsList (a, a, a, a, a)

Associated Types

type Item (a, a, a, a, a) :: Type

Methods

fromList :: [Item (a, a, a, a, a)] -> (a, a, a, a, a)

fromListN :: Int -> [Item (a, a, a, a, a)] -> (a, a, a, a, a)

toList :: (a, a, a, a, a) -> [Item (a, a, a, a, a)]

IsList (a, a, a, a, a, a)

Associated Types

type Item (a, a, a, a, a, a) :: Type

Methods

fromList :: [Item (a, a, a, a, a, a)] -> (a, a, a, a, a, a)

fromListN :: Int -> [Item (a, a, a, a, a, a)] -> (a, a, a, a, a, a)

toList :: (a, a, a, a, a, a) -> [Item (a, a, a, a, a, a)]

IsList (a, a, a, a, a, a, a)

Associated Types

type Item (a, a, a, a, a, a, a) :: Type

Methods

fromList :: [Item (a, a, a, a, a, a, a)] -> (a, a, a, a, a, a, a)

fromListN :: Int -> [Item (a, a, a, a, a, a, a)] -> (a, a, a, a, a, a, a)

toList :: (a, a, a, a, a, a, a) -> [Item (a, a, a, a, a, a, a)]

IsList (a, a, a, a, a, a, a, a)

Associated Types

type Item (a, a, a, a, a, a, a, a) :: Type

Methods

fromList :: [Item (a, a, a, a, a, a, a, a)] -> (a, a, a, a, a, a, a, a)

fromListN :: Int -> [Item (a, a, a, a, a, a, a, a)] -> (a, a, a, a, a, a, a, a)

toList :: (a, a, a, a, a, a, a, a) -> [Item (a, a, a, a, a, a, a, a)]

IsList (a, a, a, a, a, a, a, a, a)

Associated Types

type Item (a, a, a, a, a, a, a, a, a) :: Type

Methods

fromList :: [Item (a, a, a, a, a, a, a, a, a)] -> (a, a, a, a, a, a, a, a, a)

fromListN :: Int -> [Item (a, a, a, a, a, a, a, a, a)] -> (a, a, a, a, a, a, a, a, a)

toList :: (a, a, a, a, a, a, a, a, a) -> [Item (a, a, a, a, a, a, a, a, a)]

IsList (a, a, a, a, a, a, a, a, a, a)

Associated Types

type Item (a, a, a, a, a, a, a, a, a, a) :: Type

Methods

fromList :: [Item (a, a, a, a, a, a, a, a, a, a)] -> (a, a, a, a, a, a, a, a, a, a)

fromListN :: Int -> [Item (a, a, a, a, a, a, a, a, a, a)] -> (a, a, a, a, a, a, a, a, a, a)

toList :: (a, a, a, a, a, a, a, a, a, a) -> [Item (a, a, a, a, a, a, a, a, a, a)]

IsList (a, a, a, a, a, a, a, a, a, a, a)

Associated Types

type Item (a, a, a, a, a, a, a, a, a, a, a) :: Type

Methods

fromList :: [Item (a, a, a, a, a, a, a, a, a, a, a)] -> (a, a, a, a, a, a, a, a, a, a, a)

fromListN :: Int -> [Item (a, a, a, a, a, a, a, a, a, a, a)] -> (a, a, a, a, a, a, a, a, a, a, a)

toList :: (a, a, a, a, a, a, a, a, a, a, a) -> [Item (a, a, a, a, a, a, a, a, a, a, a)]

IsList (a, a, a, a, a, a, a, a, a, a, a, a)

Associated Types

type Item (a, a, a, a, a, a, a, a, a, a, a, a) :: Type

Methods

fromList :: [Item (a, a, a, a, a, a, a, a, a, a, a, a)] -> (a, a, a, a, a, a, a, a, a, a, a, a)

fromListN :: Int -> [Item (a, a, a, a, a, a, a, a, a, a, a, a)] -> (a, a, a, a, a, a, a, a, a, a, a, a)

toList :: (a, a, a, a, a, a, a, a, a, a, a, a) -> [Item (a, a, a, a, a, a, a, a, a, a, a, a)]

IsList (a, a, a, a, a, a, a, a, a, a, a, a, a)

Associated Types

type Item (a, a, a, a, a, a, a, a, a, a, a, a, a) :: Type

Methods

fromList :: [Item (a, a, a, a, a, a, a, a, a, a, a, a, a)] -> (a, a, a, a, a, a, a, a, a, a, a, a, a)

fromListN :: Int -> [Item (a, a, a, a, a, a, a, a, a, a, a, a, a)] -> (a, a, a, a, a, a, a, a, a, a, a, a, a)

toList :: (a, a, a, a, a, a, a, a, a, a, a, a, a) -> [Item (a, a, a, a, a, a, a, a, a, a, a, a, a)]

IsList (a, a, a, a, a, a, a, a, a, a, a, a, a, a)

Associated Types

type Item (a, a, a, a, a, a, a, a, a, a, a, a, a, a) :: Type

Methods

fromList :: [Item (a, a, a, a, a, a, a, a, a, a, a, a, a, a)] -> (a, a, a, a, a, a, a, a, a, a, a, a, a, a)

fromListN :: Int -> [Item (a, a, a, a, a, a, a, a, a, a, a, a, a, a)] -> (a, a, a, a, a, a, a, a, a, a, a, a, a, a)

toList :: (a, a, a, a, a, a, a, a, a, a, a, a, a, a) -> [Item (a, a, a, a, a, a, a, a, a, a, a, a, a, a)]

IsList (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

Associated Types

type Item (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) :: Type

Methods

fromList :: [Item (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)] -> (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

fromListN :: Int -> [Item (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)] -> (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)

toList :: (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) -> [Item (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a)]