Haskell Debugger

Functions

• partition _ [] = ([], [])
• partition { \ 'e' -> True } "e" = ("e", [])
• partition _ [] = ([], [])
• partition { \ 'l' -> False } "l" = ([], "l")
• partition { \ 'l' -> True } "ll" = ("ll", [])
• partition { \ 'k' -> False , \ 'l' -> False } "kll" = ([], "kll")
• partition { \ 'a' -> False , \ 'e' -> False , \ 'k' -> True , \ 'l' -> True , \ 's' -> True } "askell" = ("skll", "ae")
• quicksort _ "e" [] [] = "e"
• quicksort { \ 'a' 'e' -> True } "ae" "e" [] = "ea"
• quicksort _ "l" [] [] = "l"
• quicksort { \ 'l' 'l' -> False } "ll" [] "l" = "ll"
• quicksort { \ 'k' -> { \ 'l' -> True } , \ 'l' 'l' -> False } "kll" "ll" [] = "llk"
• quicksort { \ 'k' -> { \ 'l' -> True } , \ 'l' 'l' -> False , \ 's' -> { \ 'k' -> False , \ 'l' -> False } } "skll" [] "kll" = "sllk"
• quicksort { \ 'a' 'e' -> True , \ 'h' -> { \ 'a' -> False , \ 'e' -> False , \ 'k' -> True , \ 'l' -> True , \ 's' -> True } , \ 'k' -> { \ 'l' -> True } , \ 'l' 'l' -> False , \ 's' -> { \ 'k' -> False , \ 'l' -> False } } "haskell" "skll" "ae" = "sllkhea"
• quicksort _ [] = []
• quicksort _ [] = []
• quicksort _ [] = []
• quicksort _ [] = []
• quicksort _ [] = []
• quicksort _ [] = []
• quicksort _ [] = []
• quicksort _ [] = []
• select { \ 'l' -> True } = { \ 'l' ("l", []) -> ("ll", []) , \ 'l' ([], []) -> ("l", []) }
• select { \ 'k' -> False , \ 'l' -> False } = { \ 'k' ([], "ll") -> ([], "kll") , \ 'l' ([], "l") -> ([], "ll") , \ 'l' ([], []) -> ([], "l") }
• select { \ 'a' -> False , \ 'e' -> False , \ 'k' -> True , \ 'l' -> True , \ 's' -> True } = { \ 'a' ("skll", "e") -> ("skll", "ae") , \ 'e' ("ll", []) -> ("ll", "e") , \ 'k' ("ll", "e") -> ("kll", "e") , \ 'l' ("l", []) -> ("ll", []) , \ 'l' ([], []) -> ("l", []) , \ 's' ("kll", "e") -> ("skll", "e") }
• select { \ 'e' -> True } 'e' ([], []) = ("e", [])
• select { \ 'l' -> False } 'l' ([], []) = ([], "l")

Source

partition p xs = foldr (select p) ([], []) xs

Variables

• $arg1 = _
• $arg2 = []
• $result = ([], [])

Calls

• quicksort { \ 'a' 'e' -> True , \ 'h' -> { \ 'a' -> False , \ 'e' -> False , \ 'k' -> True , \ 'l' -> True , \ 's' -> True } , \ 'k' -> { \ 'l' -> True } , \ 'l' 'l' -> False , \ 's' -> { \ 'k' -> False , \ 'l' -> False } } "haskell" "skll" "ae" = "sllkhea"
  • quicksort { \ 'a' 'e' -> True } "ae" "e" [] = "ea"
    • quicksort _ "e" [] [] = "e"
      • partition _ [] = ([], [])