@@ -557,6 +557,12 @@ tails xs = xs :: case xs of
558 _ :: xs' => tails xs'
558 _ :: xs' => tails xs'
560+splitOn : Eq a => a -> List a -> List (List a)
561+splitOn a = split (== a)
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
560--------------------------------------------------------------------------------
566--------------------------------------------------------------------------------
561-- Predicates
567-- Predicates
562--------------------------------------------------------------------------------
568--------------------------------------------------------------------------------