Agda.Utils.List
caseList
listCase
headMaybe
headWithDefault
lastMaybe
uncons
mcons
initLast
(!!!)
downFrom
updateHead
spec_updateHead
prop_updateHead
updateLast
spec_updateLast
prop_updateLast
updateAt
spec_updateAt
prop_updateAt
mapEither
deal
takeWhileJust
spanJust
partitionMaybe
isSublistOf
type Prefix a
type Suffix a
maybePrefixMatch
data PreOrSuffix a
preOrSuffix
wordsBy
chop
chopWhen
prop_chop_intercalate
holes
sorted
distinct
fastDistinct
prop_distinct_fastDistinct
allEqual
duplicates
groupBy'
prop_groupBy'
groupOn
splitExactlyAt
extractNthElement'
extractNthElement
prop_extractNthElement
genericElemIndex
prop_genericElemIndex
zipWith'
prop_zipWith'
nubOn
prop_nubOn
uniqOn
prop_uniqOn1
prop_uniqOn2
commonSuffix
commonPrefix
prop_commonPrefix
prop_commonSuffix
editDistanceSpec
editDistance
prop_editDistance
tests