System.Terminal.Emulator.TermLines

Documentation

type TermLine = Vector Cell

type TermLines = StrictSeq TermLine

empty :: StrictSeq a

The empty sequence.

length :: StrictSeq a -> Int

The number of elements in the sequence.

singleton :: a -> StrictSeq a

replicate :: Int -> a -> StrictSeq a

replicate n x is a sequence consisting of n copies of x.

vIndex :: Int -> Lens' (StrictSeq a) a

A lens to the specified index of the sequence. Must be in range.

head :: StrictSeq a -> a

First element. Must be nonempty

last :: StrictSeq a -> a

Last element. Must be nonempty

take :: Int -> StrictSeq a -> StrictSeq a

The first i elements of a sequence. If i is negative, take i s yields the empty sequence. If the sequence contains fewer than i elements, the whole sequence is returned.

takeLast :: Int -> StrictSeq a -> StrictSeq a

The last i elements of a sequence. If i is negative, takeLast i s yields the empty sequence. If the sequence contains fewer than i elements, the whole sequence is returned.

drop :: Int -> StrictSeq a -> StrictSeq a

Elements of a sequence after the first i. If i is negative, drop i s yields the whole sequence. If the sequence contains fewer than i elements, the empty sequence is returned.

dropLast :: Int -> StrictSeq a -> StrictSeq a

Elements of a sequence after the first i last elements. If i is negative, dropLast i s yields the whole sequence. If the sequence contains fewer than i elements, the empty sequence is returned.

traverseWithIndex :: Applicative f => (Int -> a -> f b) -> StrictSeq a -> f (StrictSeq b)

traverseWithIndex is a version of traverse that also offers access to the index of each element.

toSeq :: StrictSeq a -> Seq a