Data.Sized

Main Data-types

data Sized f n a

type ListLikeF f

data SomeSized f a

Accessors

Length information

length

sLength

null

Indexing

(!!)

(%!!)

index

sIndex

head

last

uncons

unsnoc

Slicing

tail

init

take

takeAtMost

drop

splitAt

splitAtMost

Construction

Initialisation

empty

singleton

toSomeSized

replicate

replicate'

Concatenation

cons

(<|)

snoc

(|>)

append

(++)

concat

Zips

zip

zipSame

zipWith

zipWithSame

unzip

Transformation

map

reverse

intersperse

nub

sort

sortBy

insert

insertBy

Conversion

List

toList

fromList

fromList'

unsafeFromList

unsafeFromList'

fromListWithDefault

fromListWithDefault'

Base container

unsized

toSized

toSized'

unsafeToSized

unsafeToSized'

toSizedWithDefault

toSizedWithDefault'

Querying

Partitioning

data Partitioned f n a

takeWhile

dropWhile

span

break

partition

Searching

elem

notElem

find

findIndex

sFindIndex

findIndices

sFindIndices

elemIndex

sElemIndex

elemIndices

sElemIndices

Views and Patterns

Views

Patterns

Definitions

viewCons

data ConsView f n a

viewSnoc

data SnocView f n a