Merge pull request #1304 from Heather/patch-1
splitOn and replaceOn for List
commit239b94d9fb5b7540f514d9ad8a2665fb21beb9e2
authorEdwin Brady <edwin.brady@gmail.com>
dateTue 10 Jun 2014, 20:41 (12 years ago)
parent7fb6944acbd01a
libs/prelude/Prelude/List.idr+6
@@ -557,6 +557,12 @@ tails xs = xs :: case xs of
557557 [] => []
558558 _ :: xs' => tails xs'
559559
560+splitOn : Eq a => a -> List a -> List (List a)
561+splitOn a = split (== a)
562+
563+replaceOn : Eq a => a -> a -> List a -> List a
564+replaceOn a b l = map (\c => if c == a then b else c) l
565+
560566--------------------------------------------------------------------------------
561567-- Predicates
562568--------------------------------------------------------------------------------