git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1299 from Heather/isInfixOf_for_List
13a6bf4Edwin Brady
libs/prelude/Prelude/List.idr+3
compare with master
unifiedsplit
@@ -579,6 +579,9 @@ isSuffixOfBy p left right = isPrefixOfBy p (reverse left) (reverse right)
579isSuffixOf : Eq a => List a -> List a -> Bool
579isSuffixOf : Eq a => List a -> List a -> Bool
580isSuffixOf = isSuffixOfBy (==)
580isSuffixOf = isSuffixOfBy (==)
581
581
582+isInfixOf : Eq a => List a -> List a -> Bool
583+isInfixOf n h = any (isPrefixOf n) (tails h)
584+
582--------------------------------------------------------------------------------
585--------------------------------------------------------------------------------
583-- Sorting
586-- Sorting
584--------------------------------------------------------------------------------
587--------------------------------------------------------------------------------