GHC.IsList

Methods

• fromList :: [Item l] -> l

  The fromList function constructs the structure l from the given list of Item l

• fromListN :: Int -> [Item l] -> l

  The fromListN function takes the input list's length and potentially uses it to construct the structure l more efficiently compared to fromList. If the given number does not equal to the input list's length the behaviour of fromListN is not specified.

  prop> fromListN (length xs) xs == fromList xs

• toList :: l -> [Item l]

  The toList function extracts a list of Item l from the structure l. It should satisfy fromList . toList = id.