Data.IndexedListLiterals

Documentation

class IndexedListLiterals (input :: Type) (length :: Nat) (output :: Type) | output length -> input, input -> output length where

A type class which allows you to write tuples which can be transformed to and from a list the length of the list is also provided as a Nat

Minimal complete definition

toList, fromList'

Methods

toList :: input -> [output]

fromList' :: [output] -> input

a partial fromList with bad error messages

Instances

IndexedListLiterals (Only a) 1 a

Methods

toList :: Only a -> [a]

fromList' :: [a] -> Only a

IndexedListLiterals (a, a) 2 a

Methods

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

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

IndexedListLiterals (ZeroTuple Type a) 0 a

Methods

toList :: ZeroTuple Type a -> [a]

fromList' :: [a] -> ZeroTuple Type a

IndexedListLiterals (a, a, a) 3 a

Methods

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

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

IndexedListLiterals (a, a, a, a) 4 a

Methods

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

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

IndexedListLiterals (a, a, a, a, a) 5 a

Methods

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

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

IndexedListLiterals (a, a, a, a, a, a) 6 a

Methods

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

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

IndexedListLiterals (a, a, a, a, a, a, a) 7 a

Methods

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

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

IndexedListLiterals (a, a, a, a, a, a, a, a) 8 a

Methods

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

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

IndexedListLiterals (a, a, a, a, a, a, a, a, a) 9 a

Methods

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

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

IndexedListLiterals (a, a, a, a, a, a, a, a, a, a) 10 a

Methods

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

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

IndexedListLiterals (a, a, a, a, a, a, a, a, a, a, a) 11 a

Methods

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

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

IndexedListLiterals (a, a, a, a, a, a, a, a, a, a, a, a) 12 a

Methods

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

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

IndexedListLiterals (a, a, a, a, a, a, a, a, a, a, a, a, a) 13 a

Methods

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

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

IndexedListLiterals (a, a, a, a, a, a, a, a, a, a, a, a, a, a) 14 a

Methods

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

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

IndexedListLiterals (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) 15 a

Methods

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

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

IndexedListLiterals (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) 16 a

Methods

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

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

IndexedListLiterals (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) 17 a

Methods

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

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

IndexedListLiterals (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) 18 a

Methods

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

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

IndexedListLiterals (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) 19 a

Methods

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

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

IndexedListLiterals (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) 20 a

Methods

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

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

type ILL = IndexedListLiterals

An alias for IndexedListLiterals

module Data.Tuple.Only

data ZeroTuple a

Intuitively the zero tuple is () or Void but this breaks the Functional Dependency "input -> output length" stopping reliable inference, so this constructor is used to preserve type information

Constructors

ZeroTuple

Instances

IndexedListLiterals (ZeroTuple Type a) 0 a

Methods

toList :: ZeroTuple Type a -> [a]

fromList' :: [a] -> ZeroTuple Type a

len :: Proxy a

fromList :: forall input (length :: Nat) output. (KnownNat length, ILL input length output) => [output] -> Maybe input

(fromList [1,2,3] :: Maybe (Int, Int, Int)) shouldBe Just (1,2,3) (fromList ["word","up"] :: Maybe (String, String, String)) shouldBe Nothing (fromList [z] :: Maybe (Only Char)) shouldBe Just (Only z)

fromListP :: forall input (length :: Nat) output len. (KnownNat length, ILL input length output) => len length -> [output] -> Maybe input

the fromList variants take a list and convert it into a tuple it's sort of the inverse of toList fromListP (len 3) [1,2,3] == Just (1,2,3) fromListP (len 3) ["word","up"] == Nothing fromListP (len @1) [z] == Just (Only z)