Agda.Utils.List

mhead

type Prefix a

type Suffix a

maybePrefixMatch

wordsBy

chop

holes

distinct

fastDistinct

prop_distinct_fastDistinct

allEqual

groupBy'

prop_groupBy'

groupOn

extractNthElement'

extractNthElement

prop_extractNthElement

genericElemIndex

prop_genericElemIndex

tests