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