Data.Sized

Main Data-types

data Sized f n a

data SomeSized f nat a

instLL

instFunctor

type ListLikeF f

withListLikeF

withListLikeF'

Accessors

Length information

length

sLength

null

Indexing

(!!)

(%!!)

index

sIndex

head

last

uncons

uncons'

unsnoc

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

fmap

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

findF

findIndex

findIndexIF

sFindIndex

sFindIndexIF

findIndices

findIndicesIF

sFindIndices

sFindIndicesIF

elemIndex

sElemIndex

sUnsafeElemIndex

elemIndices

sElemIndices

Views and Patterns

Views

Patterns

Definitions

viewCons

data ConsView f n a

viewSnoc

data SnocView f n a