Agda.Utils.List

mhead

uncons

mcons

initLast

(!!!)

downFrom

updateLast

mapEither

deal

takeWhileJust

spanJust

partitionMaybe

isSublistOf

type Prefix a

type Suffix a

maybePrefixMatch

data PreOrSuffix a

preOrSuffix

wordsBy

chop

holes

sorted

distinct

fastDistinct

prop_distinct_fastDistinct

allEqual

groupBy'

prop_groupBy'

groupOn

splitExactlyAt

extractNthElement'

extractNthElement

prop_extractNthElement

genericElemIndex

prop_genericElemIndex

zipWith'

prop_zipWith'

uniqBy

prop_uniqBy

tests