Agda.Utils.List

caseList

listCase

headMaybe

headWithDefault

lastMaybe

uncons

mcons

initLast

(!!!)

downFrom

updateHead

updateLast

updateAt

mapEither

deal

takeWhileJust

spanJust

partitionMaybe

filterAndRest

mapMaybeAndRest

dropCommon

isSublistOf

type Prefix a

type Suffix a

stripPrefixBy

data PreOrSuffix a

preOrSuffix

wordsBy

chop

chopWhen

holes

sorted

distinct

fastDistinct

allEqual

duplicates

groupBy'

groupOn

splitExactlyAt

genericElemIndex

zipWith'

nubOn

uniqOn

commonSuffix

commonPrefix

editDistanceSpec

editDistance