tail -package:relude

Warning: This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or uncons instead. Consider refactoring to use Data.List.NonEmpty.

Extract the possibly-empty tail of the stream.

O(1) Extract the elements after the head of a ByteString, which must be non-empty. An exception will be thrown in the case of an empty ByteString. This is a partial function, consider using uncons instead.

O(1) Extract the elements after the head of a ByteString, which must be non-empty. This is a partial function, consider using uncons instead.

O(n) Extract the elements after the head of a ShortByteString, which must be non-empty. An exception will be thrown in the case of an empty ShortByteString. This is a partial function, consider using uncons instead. Note: copies the entire byte array

O(1) Returns all characters after the head of a Text, which must be non-empty. This is a partial function, consider using uncons instead.

O(1) Returns all characters after the head of a Stream Char, which must be non-empty. This is a partial function, consider using uncons. Properties

unstream . tail . stream = tail

Extract the elements after the head of a list, which must be non-empty.

>>> tail [1, 2, 3]
[2,3]

>>> tail [1]
[]

>>> tail []
*** Exception: Prelude.tail: empty list

WARNING: This function is partial. You can use case-matching or uncons instead.

tail xs is a list of the elements in xs excluding the first element. If xs is empty, an error is raised. <math>(length (toList xs)). tail obeys the law:

tail xs = tail (toList xs)

tail xs is a DList of the elements in xs excluding the first element. <math>(1). tail obeys the law:

toList (tail xs) = tail (toNonEmpty xs)

Extract the elements after the head of a list, which must be non-empty.

Examples

>>> tail [1, 2, 3]
[2,3]

>>> tail [1]
[]

>>> tail []
*** Exception: Prelude.tail: empty list

O(1) Extract the elements after the head of a ByteString, which must be non-empty.

O(1) Extract the elements after the head of a ByteString, which must be non-empty. An exception will be thrown in the case of an empty ByteString.

Extract the elements after the head of a list, which must be non-empty.

O(1) Returns all characters after the head of a Text, which must be non-empty. Subject to fusion.

O(1) Yield all but the first element without copying. The vector may not be empty.

O(1) Yield all but the first element without copying. The vector may not be empty.

O(1) Yield all but the first element without copying. The vector may not be empty.

O(1) Yield all but the first element without copying. The vector may not be empty.

Safe version of tailEx, only working on non-nullable sequences.

Extract the elements after the head of a list, which must be non-empty.

>>> tail [1, 2, 3]
[2,3]

>>> tail [1]
[]

>>> tail []
*** Exception: Prelude.tail: empty list