Commit 2025-02-10 14:34 48d0e0e6

chore: split Data.List.Basic (#21530)

+ getLast_append_of_right_ne_nil   -- better name
+ map_filter   -- previously primed and can be renamed
+ modifyLast_append_of_right_ne_nil  -- better name
+ modifyLast_concat   -- better name
+ span_eq_takeWhile_dropWhile -- better name
- decidableSublist  -- instance exists upstream
- lookmap.go_append  -- made private
- modifyLast.go_append_one  -- made private
- span.loop_eq_take_drop  -- made private