CurryInfo: filepath-3.0.0 / System.FilePath.combine

combine :: FilePath -> FilePath -> FilePath
combine a b | hasDrive b || (not (null b) && isPathSeparator (head b)) = b
            | otherwise = combineAlways a b

argument 2

deterministic operation

-- | Combine two paths, if the second path 'isAbsolute', then it returns the second.
--
-- > Valid x => combine (takeDirectory x) (takeFileName x) `equalFilePath` x
-- > Posix:   combine "/" "test" == "/test"
-- > Posix:   combine "home" "bob" == "home/bob"
-- > Windows: combine "home" "bob" == "home\\bob"
-- > Windows: combine "home" "/bob" == "/bob"

(_, {:})

referentially transparent operation

no fixity defined

{(_,_) |-> _}

combine

no precedence defined

_

String -> String -> String

operation might suspend on free variables

possibly non-terminating

possibly non-reducible on same data term