splitOn and replaceOn for List
commitacbd01a343170b9f1c1b13ff2594b73be460309d
authorHeather <Cynede@Gentoo.org>
dateTue 10 Jun 2014, 08:06 (12 years ago)
parentb6aa58a
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--------------------------------------------------------------------------------